[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-05-31-AddBool.ll
blob31b17196d8f5a41557ab91b1543ff9371bc82827
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 ; PR2389
4 ; CHECK: xor
6 define i1 @test(i1 %a, i1 %b) {
7   %A = add i1 %a, %b
8   ret i1 %A