InstCombine: add more transforms
authorDavid Majnemer <david.majnemer@gmail.com>
Tue, 9 Jul 2013 07:50:59 +0000 (07:50 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Tue, 9 Jul 2013 07:50:59 +0000 (07:50 +0000)
commit377a5c1a87b879b7a05a635ed7bbf125b0b61e28
tree275e59425c6d7b5624da0778de459b323d0afe5a
parentfa55969acb64da32acf6305064c9f6e3c237b74e
InstCombine: add more transforms

C1-X <u C2 -> (X|(C2-1)) == C1
C1-X >u C2 -> (X|C2) == C1
X-C1 <u C2 -> (X & -C2) == C1
X-C1 >u C2 -> (X & ~C2) == C1

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185909 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineCompares.cpp
test/Transforms/InstCombine/2007-01-27-AndICmp.ll
test/Transforms/InstCombine/and.ll
test/Transforms/InstCombine/icmp.ll