[PATCH] [SCEV] make SCEV smarter about proving no-wrap.

[Andrew Trick]

Otherwise looks great!


================
Comment at: lib/Analysis/ScalarEvolution.cpp:1357
@@ +1356,3 @@
+//
+// If (S-T)+T does not overflow  ... (3)
+//
----------------
I still don't see the bug. How can (3) be false with (1) and (2)? A counter example would help.

http://reviews.llvm.org/D7980

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/