1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
2 ; RUN: llc < %s -start-before=codegenprepare -verify-machineinstrs -ppc-asm-full-reg-names \
3 ; RUN: -mtriple=powerpc64-ibm-aix-xcoff | FileCheck %s
5 %struct.anon = type { i32 }
7 @b = local_unnamed_addr global %struct.anon { i32 -1 }, align 4
8 @g = local_unnamed_addr global [1 x i1] zeroinitializer, align 1
10 define noundef signext i32 @main() {
12 ; CHECK: # %bb.0: # %entry
13 ; CHECK-NEXT: ld r3, L..C0(r2) # @b
14 ; CHECK-NEXT: lwz r3, 0(r3)
15 ; CHECK-NEXT: andi. r4, r3, 65535
16 ; CHECK-NEXT: bne cr0, L..BB0_4
17 ; CHECK-NEXT: # %bb.1: # %lor.rhs.i.i
18 ; CHECK-NEXT: extsw r4, r3
19 ; CHECK-NEXT: neg r5, r4
20 ; CHECK-NEXT: rldicl r5, r5, 1, 63
21 ; CHECK-NEXT: xori r5, r5, 1
22 ; CHECK-NEXT: cmpw r4, r5
23 ; CHECK-NEXT: crnot 4*cr5+lt, eq
24 ; CHECK-NEXT: li r4, 1
25 ; CHECK-NEXT: bc 12, 4*cr5+lt, L..BB0_3
26 ; CHECK-NEXT: # %bb.2: # %lor.rhs.i.i
27 ; CHECK-NEXT: li r4, 0
28 ; CHECK-NEXT: L..BB0_3: # %lor.rhs.i.i
29 ; CHECK-NEXT: ld r5, L..C1(r2) # @g
30 ; CHECK-NEXT: stb r4, 0(r5)
31 ; CHECK-NEXT: L..BB0_4: # %g.exit
32 ; CHECK-NEXT: ld r4, L..C1(r2) # @g
33 ; CHECK-NEXT: neg r3, r3
34 ; CHECK-NEXT: rldicl r5, r3, 1, 63
35 ; CHECK-NEXT: li r3, 0
36 ; CHECK-NEXT: stb r5, 0(r4)
39 %0 = load i32, ptr @b, align 4
40 %conv4.i = sext i32 %0 to i64
41 %cmp.i = icmp slt i32 %0, 1
42 %conv.i = zext i1 %cmp.i to i32
43 %cmp1.i = icmp ne i32 %0, %conv.i
44 %conv3.i = trunc i32 %0 to i16
45 %tobool.not.i.i = icmp eq i16 %conv3.i, 0
46 br i1 %tobool.not.i.i, label %lor.rhs.i.i, label %g.exit
48 lor.rhs.i.i: ; preds = %entry
49 store i1 %cmp1.i, ptr @g, align 1
52 g.exit: ; preds = %lor.end.i.i
53 %4 = trunc i64 %conv4.i to i32
54 %cmp.i9.i = icmp sgt i32 %4, 0
55 store i1 %cmp.i9.i, ptr @g, align 1