[PATCH] D13042: [SCEV] Try to prove predicates by splitting them.

hfinkel@anl.gov via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 27 14:47:02 PDT 2015


hfinkel added inline comments.

================
Comment at: lib/Analysis/ScalarEvolution.cpp:6981
@@ +6980,3 @@
+  if (Pred == ICmpInst::ICMP_ULT && isKnownNonNegative(RHS) &&
+      isKnownPredicate(CmpInst::ICMP_SGE, LHS,
+                       getConstant(LHS->getType(), 0)) &&
----------------
Why do you use isKnownNonNegative(RHS) but not isKnownNonNegative(LHS)?



http://reviews.llvm.org/D13042





More information about the llvm-commits mailing list