diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2010-09-10 22:39:55 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2010-09-10 22:39:55 +0000 |
commit | 6844c8ea5a67e551be7106d6b7b9e1a64eecbe51 (patch) | |
tree | b11daf32edb5ff3fbb9e4d75e0d12a14661da301 /lib | |
parent | e2d50046fd29cb3eb2483e080cb7c39b460fbb19 (diff) | |
download | llvm-6844c8ea5a67e551be7106d6b7b9e1a64eecbe51.tar.gz llvm-6844c8ea5a67e551be7106d6b7b9e1a64eecbe51.tar.bz2 llvm-6844c8ea5a67e551be7106d6b7b9e1a64eecbe51.tar.xz |
Teach InstructionSimplify to fold (A & B) & A -> A & B and (A | B) | A -> A | B.
Reassociate does this but it doesn't catch all cases (e.g. if the operands are i1).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113651 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Analysis/InstructionSimplify.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp index 24cd3433a2..b49b4d0c6a 100644 --- a/lib/Analysis/InstructionSimplify.cpp +++ b/lib/Analysis/InstructionSimplify.cpp @@ -106,6 +106,16 @@ Value *llvm::SimplifyAndInst(Value *Op0, Value *Op1, const TargetData *TD) { (A == Op0 || B == Op0)) return Op0; + // (A & B) & A -> A & B + if (match(Op0, m_And(m_Value(A), m_Value(B))) && + (A == Op1 || B == Op1)) + return Op0; + + // A & (A & B) -> A & B + if (match(Op1, m_And(m_Value(A), m_Value(B))) && + (A == Op0 || B == Op0)) + return Op1; + return 0; } @@ -165,6 +175,16 @@ Value *llvm::SimplifyOrInst(Value *Op0, Value *Op1, const TargetData *TD) { (A == Op0 || B == Op0)) return Op0; + // (A | B) | A -> A | B + if (match(Op0, m_Or(m_Value(A), m_Value(B))) && + (A == Op1 || B == Op1)) + return Op0; + + // A | (A | B) -> A | B + if (match(Op1, m_Or(m_Value(A), m_Value(B))) && + (A == Op0 || B == Op0)) + return Op1; + return 0; } |