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

Sanjoy Das sanjoy at playingwithpointers.com
Sat Feb 28 22:24:25 PST 2015


Hi atrick, hfinkel,

Teach SCEV to prove no overflow for an add recurrence by proving
something about the range of another add recurrence a loop-invariant
distance away from it.

http://reviews.llvm.org/D7980

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/nowrap-preinc-limits.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7980.20950.patch
Type: text/x-patch
Size: 4558 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150301/21541765/attachment.bin>


More information about the llvm-commits mailing list