Adding i1 is always Xor.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51816 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-05-31 17:10:28 +00:00
parent 310d2eb202
commit fd12a0b20b
2 changed files with 10 additions and 0 deletions

View File

@ -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))

View File

@ -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
}