diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2014-11-13 00:00:58 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2014-11-13 00:00:58 +0000 |
| commit | c5676df3ecb7cfe4f4916af73a9d5f5f76788c05 (patch) | |
| tree | 188010b064113322d5badf277c389b1691320465 /llvm/lib/Object/COFFObjectFile.cpp | |
| parent | 5357c0813bb98609e324ba26a96f713513c54e56 (diff) | |
| download | llvm-c5676df3ecb7cfe4f4916af73a9d5f5f76788c05.zip llvm-c5676df3ecb7cfe4f4916af73a9d5f5f76788c05.tar.gz llvm-c5676df3ecb7cfe4f4916af73a9d5f5f76788c05.tar.bz2 | |
Teach ScalarEvolution to sharpen range information.
If x is known to have the range [a, b), in a loop predicated by (icmp
ne x, a) its range can be sharpened to [a + 1, b). Get
ScalarEvolution and hence IndVars to exploit this fact.
This change triggers an optimization to widen-loop-comp.ll, so it had
to be edited to get it to pass.
This change was originally landed in r219834 but had a bug and broke
ASan. It was reverted in r219878, and is now being re-landed after
fixing the original bug.
phabricator: http://reviews.llvm.org/D5639
reviewed by: atrick
llvm-svn: 221839
Diffstat (limited to 'llvm/lib/Object/COFFObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions