[PATCH] ScalarEvolution incorrectly assumes that the start of certain add recurrences don't overflow

Fri Feb 6 17:41:20 PST 2015

================
Comment at: lib/Analysis/ScalarEvolution.cpp:1370
@@ -1369,1 +1369,3 @@
+  // cannot assume the increment of PreStart to not overflow even if PreAR does
+  // not overflow.
 
----------------
Seems like we could still pick up some trivial cases (loops with only one exit block, only one backedge, etc.). Maybe we could do more with a dominance query?

http://reviews.llvm.org/D7331

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




