From aa4b06bdae22b6161c25a18d7433ad48eb3b28fa Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 1 Apr 2007 05:36:37 +0000 Subject: [PATCH] Fix InstCombine/2007-03-31-InfiniteLoop.ll llvm-svn: 35536 --- lib/Transforms/Scalar/InstructionCombining.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index e0fdc5fbaea..2735dff48f4 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);