diff options
| author | Chris Lattner <sabre@nondot.org> | 2007-04-01 05:36:37 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2007-04-01 05:36:37 +0000 |
| commit | 6abbdf90dd5f8477d0c92ccdbe3dc3c77b9063ad (patch) | |
| tree | 23cb0871f18f61863ec065e37e84e6f666c428f8 | |
| parent | 6a606aff3ceda809aad22d60a45dce95aaec56c9 (diff) | |
| download | external_llvm-6abbdf90dd5f8477d0c92ccdbe3dc3c77b9063ad.zip external_llvm-6abbdf90dd5f8477d0c92ccdbe3dc3c77b9063ad.tar.gz external_llvm-6abbdf90dd5f8477d0c92ccdbe3dc3c77b9063ad.tar.bz2 | |
Fix InstCombine/2007-03-31-InfiniteLoop.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35536 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index e0fdc5f..2735dff 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -4083,8 +4083,10 @@ Instruction *InstCombiner::visitXor(BinaryOperator &I) { else if (Op0 == B) // A^(B^A) == B return ReplaceInstUsesWith(I, A); } else if (match(Op1I, m_And(m_Value(A), m_Value(B))) && Op1I->hasOneUse()){ - if (A == Op0) // A^(A&B) -> A^(B&A) + if (A == Op0) { // A^(A&B) -> A^(B&A) Op1I->swapOperands(); + std::swap(A, B); + } if (B == Op0) { // A^(B&A) -> (B&A)^A I.swapOperands(); // Simplified below. std::swap(Op0, Op1); |