[PATCH] D31238: [ScalarEvolution] Re-enable Predicate implication from operations

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:8663
+      if (isKnownNegative(RHS) &&
+          IsProvedViaContext(ICmpInst::ICMP_SLE, NegDenominator, FoundRHSExt))
+        return true;
----------------
Should use SGT predicate for IsProvedViaContext only, because isImpliedViaOperations never hits for SLE.


https://reviews.llvm.org/D31238