[ValueTracking] Use isKnownNonEqual() in isNonZeroSub()
(x - y) != 0 is true iff x != y, so use the isKnownNonEqual() helper, which knows some additional tricks.
Loading
Please sign in to comment
(x - y) != 0 is true iff x != y, so use the isKnownNonEqual() helper, which knows some additional tricks.