diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-20 15:20:01 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-20 15:20:01 +0000 |
| commit | 38f7f66fcc6ed5e43be4d9c96c782d4eabdb7342 (patch) | |
| tree | e117a80e124b10e4448809d8a0aa1d7d7dee6c2c /lib/Analysis/InstructionSimplify.cpp | |
| parent | 91e37ef278779c3c8700bbddbb5c9d37739b1716 (diff) | |
| download | external_llvm-38f7f66fcc6ed5e43be4d9c96c782d4eabdb7342.zip external_llvm-38f7f66fcc6ed5e43be4d9c96c782d4eabdb7342.tar.gz external_llvm-38f7f66fcc6ed5e43be4d9c96c782d4eabdb7342.tar.bz2 | |
Move "A | ~(A & ?) -> -1" from InstCombine to InstructionSimplify.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126082 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/InstructionSimplify.cpp')
| -rw-r--r-- | lib/Analysis/InstructionSimplify.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp index a2f9862..982dacb 100644 --- a/lib/Analysis/InstructionSimplify.cpp +++ b/lib/Analysis/InstructionSimplify.cpp @@ -1161,6 +1161,16 @@ static Value *SimplifyOrInst(Value *Op0, Value *Op1, const TargetData *TD, (A == Op0 || B == Op0)) return Op0; + // ~(A & ?) | A = -1 + if (match(Op0, m_Not(m_And(m_Value(A), m_Value(B)))) && + (A == Op1 || B == Op1)) + return Constant::getAllOnesValue(Op1->getType()); + + // A | ~(A & ?) = -1 + if (match(Op1, m_Not(m_And(m_Value(A), m_Value(B)))) && + (A == Op0 || B == Op0)) + return Constant::getAllOnesValue(Op0->getType()); + // Try some generic simplifications for associative operations. if (Value *V = SimplifyAssociativeBinOp(Instruction::Or, Op0, Op1, TD, DT, MaxRecurse)) |