diff options
| author | Chris Lattner <sabre@nondot.org> | 2005-05-09 04:58:36 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2005-05-09 04:58:36 +0000 |
| commit | 6e4c6495eb1143efb03daea8b97cd0f08cd53435 (patch) | |
| tree | 4d8d2683307f5626dbbdc716650a2ace2c474218 /lib/Transforms | |
| parent | 2f2c3e43928f6a23f7ecf7d158d4b605e64db6b4 (diff) | |
implement and.ll:test33
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21809 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms')
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 40d107a810..27b87425ad 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -1832,8 +1832,8 @@ Instruction *InstCombiner::visitOr(BinaryOperator &I) { ConstantInt *C1; Value *X; // (X & C1) | C2 --> (X | C2) & (C1|C2) if (match(Op0, m_And(m_Value(X), m_ConstantInt(C1))) && isOnlyUse(Op0)) { - std::string Op0Name = Op0->getName(); Op0->setName(""); - Instruction *Or = BinaryOperator::createOr(X, RHS, Op0Name); + Instruction *Or = BinaryOperator::createOr(X, RHS, Op0->getName()); + Op0->setName(""); InsertNewInstBefore(Or, I); return BinaryOperator::createAnd(Or, ConstantExpr::getOr(RHS, C1)); } @@ -1865,6 +1865,22 @@ Instruction *InstCombiner::visitOr(BinaryOperator &I) { if (A == Op0 || B == Op0) // A | (A & ?) --> A return ReplaceInstUsesWith(I, Op0); + // (X^C)|Y -> (X|Y)^C iff Y&C == 0 + if (Op0->hasOneUse() && match(Op0, m_Xor(m_Value(A), m_ConstantInt(C1))) && + MaskedValueIsZero(Op1, C1)) { + Instruction *NOr = BinaryOperator::createOr(A, Op1, Op0->getName()); + Op0->setName(""); + return BinaryOperator::createXor(InsertNewInstBefore(NOr, I), C1); + } + + // Y|(X^C) -> (X|Y)^C iff Y&C == 0 + if (Op1->hasOneUse() && match(Op1, m_Xor(m_Value(A), m_ConstantInt(C1))) && + MaskedValueIsZero(Op0, C1)) { + Instruction *NOr = BinaryOperator::createOr(A, Op0, Op1->getName()); + Op0->setName(""); + return BinaryOperator::createXor(InsertNewInstBefore(NOr, I), C1); + } + // (A & C1)|(A & C2) == A & (C1|C2) if (match(Op0, m_And(m_Value(A), m_ConstantInt(C1))) && match(Op1, m_And(m_Value(B), m_ConstantInt(C2))) && A == B) |