projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 274eae8) | patch
[SCEV] make SCEV smarter about proving no-wrap.
authorSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 4 Mar 2015 22:24:17 +0000 (22:24 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 4 Mar 2015 22:24:17 +0000 (22:24 +0000)
commit12aa70b7e981fd7f648065b94a2a9e7aaa1d66e8
treed8fe293bd52d718e5e575a67c42824605cd89862tree | snapshot
parent274eae84d81bd441a2911b3b38d57663c7caf578commit | diff
[SCEV] make SCEV smarter about proving no-wrap.

Summary:
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.

Reviewers: atrick, hfinkel

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D7980

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@231305 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ScalarEvolution.h diff | blob | history
lib/Analysis/ScalarEvolution.cpp diff | blob | history
test/Analysis/ScalarEvolution/nowrap-preinc-limits.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors