diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-11 21:46:48 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-11 21:46:48 +0000 |
| commit | b6c8cb442298c79b1319078b3038156466be0c40 (patch) | |
| tree | 4ce5fab6d5e69ff7f76d27f1ff82ae038d62b7d6 /lib | |
| parent | 1021236c74dcc4beb294ebe675032ff578fae17f (diff) | |
| download | external_llvm-b6c8cb442298c79b1319078b3038156466be0c40.zip external_llvm-b6c8cb442298c79b1319078b3038156466be0c40.tar.gz external_llvm-b6c8cb442298c79b1319078b3038156466be0c40.tar.bz2 | |
Also fold (A+B) == A -> B == 0 when the add is commuted.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125411 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Transforms/InstCombine/InstCombineCompares.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp index a24d4ca..c34e698 100644 --- a/lib/Transforms/InstCombine/InstCombineCompares.cpp +++ b/lib/Transforms/InstCombine/InstCombineCompares.cpp @@ -2351,12 +2351,14 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) { Constant::getNullValue(B->getType())); // (A+B) == A -> B == 0 - if (match(Op0, m_Add(m_Specific(Op1), m_Value(B)))) + if (match(Op0, m_Add(m_Specific(Op1), m_Value(B))) || + match(Op0, m_Add(m_Value(B), m_Specific(Op1)))) return new ICmpInst(I.getPredicate(), B, Constant::getNullValue(B->getType())); // A == (A+B) -> B == 0 - if (match(Op1, m_Add(m_Specific(Op0), m_Value(B)))) + if (match(Op1, m_Add(m_Specific(Op0), m_Value(B))) || + match(Op1, m_Add(m_Value(B), m_Specific(Op0)))) return new ICmpInst(I.getPredicate(), B, Constant::getNullValue(B->getType())); |