[PATCH] Fix bug 22641

Sanjoy Das sanjoy at playingwithpointers.com
Sat Feb 21 00:00:30 PST 2015


Hi atrick, hfinkel, spatel,

Fix bug 22641 by partially reinstating the original change for D7331.

Point to note: 22641 is _not_ caused by SCEV "forgetting" control flow.  `PreAR` is marked as `nuw` by SCEV itself when it sees that `Start + BECount * Step` won't overflow for `PreAR` (since `BECount` is `0`).

http://reviews.llvm.org/D7808

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/infer-prestart-no-wrap.ll
  test/Analysis/ScalarEvolution/pr22641.ll
  test/Analysis/ScalarEvolution/scev-prestart-nowrap.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7808.20458.patch
Type: text/x-patch
Size: 5431 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150221/61272963/attachment.bin>


More information about the llvm-commits mailing list