diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-05-29 00:36:25 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-05-29 00:36:25 +0000 |
| commit | ae09b3cd4c8d647d99dd8467426df8f2846e02f7 (patch) | |
| tree | b077296f696af407d33cd4b49bad95f16c9384a9 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | f49ca52b9d1ddf3c842a2ee89caa86ec2b059cfc (diff) | |
[IndVars] Eliminate op.with.overflow when possible (re-apply)
Summary:
If we can prove that an op.with.overflow intrinsic does not overflow, we
can get rid of the intrinsic, and replace it with non-wrapping
arithmetic.
This was first checked in at r265913 but reverted in r265950 because it
exposed some issues around how SCEV handled post-inc add recurrences.
Those issues have now been fixed.
Reviewers: atrick, regehr
Subscribers: sanjoy, mcrosier, llvm-commits
Differential Revision: http://reviews.llvm.org/D18685
llvm-svn: 271153
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions