[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / setcclike-or-comb.ll
blob8394d30af0c94f4641bfce457fb847c6cba65da0
1 ; RUN: llc -O0 -fast-isel=0 < %s | FileCheck %s
2 target datalayout = "e-m:e-i64:64-n32:64"
3 target triple = "powerpc64le-unknown-linux-gnu"
5 @a = external global i32, align 4
6 @b = external global i32, align 4
8 ; Function Attrs: nounwind
9 define void @fn1() #0 {
10 entry:
11   %0 = load i32, i32* @a, align 4
12   %cmp = icmp ne i32 %0, 1
13   %conv = zext i1 %cmp to i32
14   %1 = load i32, i32* @b, align 4
15   %cmp1 = icmp ne i32 0, %1
16   %conv2 = zext i1 %cmp1 to i32
17   %or = or i32 %conv, %conv2
18   %xor = xor i32 1, %or
19   %call = call signext i32 @fn2(i32 signext %xor)
20   %conv4 = zext i1 undef to i32
21   store i32 %conv4, i32* @b, align 4
22   ret void
24 ; CHECK-LABEL: @fn1
25 ; CHECK: blr
28 declare signext i32 @fn2(i32 signext)
30 attributes #0 = { nounwind "target-cpu"="ppc64le" }