diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-03-04 22:24:17 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-03-04 22:24:17 +0000 |
| commit | 9e2c5010f6f3051e4c0a6cca492c17d213ac63f8 (patch) | |
| tree | bf6ddda4abcccab53c637dc0235ab81854523ce7 /llvm/lib/Support/LockFileManager.cpp | |
| parent | 3f21e27ad343ae1e9c4616be54b00c911c99162f (diff) | |
| download | llvm-9e2c5010f6f3051e4c0a6cca492c17d213ac63f8.zip llvm-9e2c5010f6f3051e4c0a6cca492c17d213ac63f8.tar.gz llvm-9e2c5010f6f3051e4c0a6cca492c17d213ac63f8.tar.bz2 | |
[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
llvm-svn: 231305
Diffstat (limited to 'llvm/lib/Support/LockFileManager.cpp')
0 files changed, 0 insertions, 0 deletions