diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-05-07 15:11:40 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-05-07 15:11:40 +0000 |
| commit | 599e65b1ff51d4f92ebf68696adb0955788db051 (patch) | |
| tree | a7fb8f32590fa1f86a592c4e2b946525b671b17e /llvm/lib/Transforms/ObjCARC | |
| parent | 5305d3933a55f7153971821b9c7194a080b6b699 (diff) | |
| download | bcm5719-llvm-599e65b1ff51d4f92ebf68696adb0955788db051.tar.gz bcm5719-llvm-599e65b1ff51d4f92ebf68696adb0955788db051.zip | |
[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
llvm-svn: 302370
Diffstat (limited to 'llvm/lib/Transforms/ObjCARC')
0 files changed, 0 insertions, 0 deletions
