[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2012-3-15-or-xor-constant.ll
blob466629cb5fd66a51ac81dadb319dba0b6e83ca4c
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 ; PR12234
4 @g = extern_weak global i32
5 define i32 @function(i32 %x) nounwind {
6 entry:
7   %xor = xor i32 %x, 1
8   store volatile i32 %xor, i32* inttoptr (i64 1 to i32*), align 4
9   %or4 = or i32 or (i32 zext (i1 icmp eq (i32* @g, i32* null) to i32), i32 1), %xor
10   ret i32 %or4
12 ; CHECK-LABEL: define i32 @function(