| commit | 2a7ef8d5f2ebcd05ccf85fd27950f8c382e89a65 | [log] [tgz] |
|---|---|---|
| author | Sanjay Patel <spatel@rotateright.com> | Sun May 07 15:11:40 2017 +0000 |
| committer | Sanjay Patel <spatel@rotateright.com> | Sun May 07 15:11:40 2017 +0000 |
| tree | 5fbc1652daaf7f1b95fbec35c5d3c0745e5bc4cb | |
| parent | 2c224bcd52a7f0e561e2729d1085fd390e20e189 [diff] |
[InstSimplify] use ConstantRange to simplify or-of-icmps We can simplify (or (icmp X, C1), (icmp X, C2)) to 'true' or one of the icmps in many cases. I had to check some of these with Alive to prove to myself it's right, but everything seems to check out. Eg, the deleted code in instcombine was completely ignoring predicates with mismatched signedness. This is a follow-up to: https://reviews.llvm.org/rL301260 https://reviews.llvm.org/D32143 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@302370 91177308-0d34-0410-b5e6-96231b3b80d8