| commit | f7b62433e71ac35e4dac979dec707c8286efd903 | [log] [tgz] |
|---|---|---|
| author | Artur Pilipenko <apilipenko@azulsystems.com> | Wed Aug 10 13:08:34 2016 +0000 |
| committer | Artur Pilipenko <apilipenko@azulsystems.com> | Wed Aug 10 13:08:34 2016 +0000 |
| tree | d60b00cfcf587fb648558949a685693dfda0b311 | |
| parent | 607fac7557783a0982324807dc011a5e3d91a5aa [diff] |
Teach CorrelatedValuePropagation to mark adds as no wrap This is a resubmission of previously reverted r277592. It was hitting overly strong assertion in getConstantRange which was relaxed in r278217. Use LVI to prove that adds do not wrap. The change is motivated by https://llvm.org/bugs/show_bug.cgi?id=28620 bug and it's the first step to fix that problem. Reviewed By: sanjoy Differential Revision: http://reviews.llvm.org/D23059 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@278220 91177308-0d34-0410-b5e6-96231b3b80d8