| commit | 861388b1f53828bb4452152160a512a57cce5756 | [log] [tgz] |
|---|---|---|
| author | Artur Pilipenko <apilipenko@azulsystems.com> | Tue Aug 09 14:50:08 2016 +0000 |
| committer | Artur Pilipenko <apilipenko@azulsystems.com> | Tue Aug 09 14:50:08 2016 +0000 |
| tree | 73891c7f658ebc991f4d0e9d531571bd40a6dfbf | |
| parent | 04876e5fe54e81ce951196b52e3c6aebea54ede6 [diff] |
[LVI] Make LVI smarter about comparisons with non-constants Make LVI smarter about comparisons with a non-constant. For example, a s< b constraints a to be in [INT_MIN, INT_MAX) range. This is a part of https://llvm.org/bugs/show_bug.cgi?id=28620 fix. Reviewed By: sanjoy Differential Revision: https://reviews.llvm.org/D23205 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@278122 91177308-0d34-0410-b5e6-96231b3b80d8