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

[hfinkel@anl.gov via llvm-commits]

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