[PATCH] D31238: [ScalarEvolution] Re-enable Predicate implication from operations
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Mar 23 02:13:12 PDT 2017
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
More information about the llvm-commits
mailing list