diff options
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 3 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/2008-05-31-AddBool.ll | 7 |
2 files changed, 10 insertions, 0 deletions
diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 74e6b6f6b0..5199578b1f 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -2551,6 +2551,9 @@ Instruction *InstCombiner::visitAdd(BinaryOperator &I) { bool Changed = SimplifyCommutative(I); Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); + if (I.getType() == Type::Int1Ty) + return BinaryOperator::CreateXor(LHS, RHS); + if (Constant *RHSC = dyn_cast<Constant>(RHS)) { // X + undef -> undef if (isa<UndefValue>(RHS)) diff --git a/test/Transforms/InstCombine/2008-05-31-AddBool.ll b/test/Transforms/InstCombine/2008-05-31-AddBool.ll new file mode 100644 index 0000000000..7008587c40 --- /dev/null +++ b/test/Transforms/InstCombine/2008-05-31-AddBool.ll @@ -0,0 +1,7 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {xor} +; PR2389 + +define i1 @test(i1 %a, i1 %b) { + %A = add i1 %a, %b + ret i1 %A +} |