[PATCH] D13686: [SCEV] Teach SCEV some axioms about non-wrapping arithmetic

[Philip Reames via llvm-commits]

reames requested changes to this revision.
This revision now requires changes to proceed.

================
Comment at: lib/Analysis/ScalarEvolution.cpp:7203
@@ +7202,3 @@
+    // X s<= (X + C)<nsw> if C >= 0
+    if (MatchBinaryAdd(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative())
+      return true;
----------------
Er, this doesn't seem to match either the name or signature of the lambda above?


http://reviews.llvm.org/D13686