| commit | 52fb846578714d14bbde9b28884a6a8729217677 | [log] [tgz] |
|---|---|---|
| author | Duncan Sands <baldrick@free.fr> | Sun Feb 13 17:15:40 2011 +0000 |
| committer | Duncan Sands <baldrick@free.fr> | Sun Feb 13 17:15:40 2011 +0000 |
| tree | f4d88f87e540573a6f5144fdeb4f12ee021551b9 | |
| parent | d239e5af64a7d4b0e6dcf7bc1cabefdaece72268 [diff] |
Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows, plus some variations of this. According to my auto-simplifier this occurs a lot but usually in combination with max/min idioms. Because max/min aren't handled yet this unfortunately doesn't have much effect in the testsuite. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125462 91177308-0d34-0410-b5e6-96231b3b80d8