[ValueTracking] Add more tests for isKnownNonEqual() of mul (NFC)
This is for the case of (x * C) == x, rather than the (x * C1) == (x * C2) variant that we already cover.
Loading
Please sign in to comment
This is for the case of (x * C) == x, rather than the (x * C1) == (x * C2) variant that we already cover.