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

[Sanjoy Das]

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>