1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=powerpc64le-- -verify-machineinstrs | FileCheck %s
3; RUN: llc < %s -mtriple=powerpc64-- -verify-machineinstrs | FileCheck %s \
4; RUN:   --check-prefix=BE
5%struct.__jmp_buf_tag = type { [64 x i64], i32, %struct.__sigset_t, [8 x i8] }
6%struct.__sigset_t = type { [16 x i64] }
7
8@.str = private unnamed_addr constant [33 x i8] c"Successfully returned from main\0A\00", align 1
9
10; Function Attrs: nounwind
11define dso_local signext i32 @main(i32 signext %argc, i8** nocapture readnone %argv) local_unnamed_addr #0 {
12; CHECK-LABEL: main:
13; CHECK:       # %bb.0: # %entry
14; CHECK-NEXT:    mfocrf 12, 32
15; CHECK-NEXT:    mflr 0
16; CHECK-NEXT:    std 31, -8(1)
17; CHECK-NEXT:    std 0, 16(1)
18; CHECK-NEXT:    stw 12, 8(1)
19; CHECK-NEXT:    stdu 1, -784(1)
20; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
21; CHECK-NEXT:    cmpwi 2, 3, 2
22; CHECK-NEXT:    mr 31, 1
23; CHECK-NEXT:    li 3, 0
24; CHECK-NEXT:    blt 2, .LBB0_3
25; CHECK-NEXT:  # %bb.1: # %if.end
26; CHECK-NEXT:    addi 3, 31, 112
27; CHECK-NEXT:    bl _setjmp
28; CHECK-NEXT:    nop
29; CHECK-NEXT:    crmove 20, 10
30; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
31; CHECK-NEXT:    cmpwi 3, 0
32; CHECK-NEXT:    crorc 20, 10, 2
33; CHECK-NEXT:    crmove 21, 2
34; CHECK-NEXT:    bc 4, 20, .LBB0_4
35; CHECK-NEXT:  # %bb.2: # %if.end5
36; CHECK-NEXT:    addis 3, 2, .L.str@toc@ha
37; CHECK-NEXT:    addi 3, 3, .L.str@toc@l
38; CHECK-NEXT:    bl printf
39; CHECK-NEXT:    nop
40; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
41; CHECK-NEXT:  .LBB0_3: # %return
42; CHECK-NEXT:    extsw 3, 3
43; CHECK-NEXT:    addi 1, 31, 784
44; CHECK-NEXT:    ld 0, 16(1)
45; CHECK-NEXT:    lwz 12, 8(1)
46; CHECK-NEXT:    ld 31, -8(1)
47; CHECK-NEXT:    mtocrf 32, 12
48; CHECK-NEXT:    mtlr 0
49; CHECK-NEXT:    blr
50; CHECK-NEXT:  .LBB0_4: # %if.then3
51; CHECK-NEXT:    ld 4, 0(1)
52; CHECK-NEXT:    stdu 4, -16(1)
53; CHECK-NEXT:    addi 3, 1, 96
54; CHECK-NEXT:    li 4, -1
55; CHECK-NEXT:    stb 4, 0(3)
56; CHECK-NEXT:    addi 4, 31, 112
57; CHECK-NEXT:    bl test
58; CHECK-NEXT:    nop
59;
60; BE-LABEL: main:
61; BE:       # %bb.0: # %entry
62; BE-NEXT:    mflr 0
63; BE-NEXT:    std 31, -8(1)
64; BE-NEXT:    std 0, 16(1)
65; BE-NEXT:    mfcr 12
66; BE-NEXT:    stw 12, 8(1)
67; BE-NEXT:    stdu 1, -800(1)
68; BE-NEXT:    li 4, 0
69; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
70; BE-NEXT:    cmpwi 2, 3, 2
71; BE-NEXT:    mr 3, 4
72; BE-NEXT:    mr 31, 1
73; BE-NEXT:    blt 2, .LBB0_3
74; BE-NEXT:  # %bb.1: # %if.end
75; BE-NEXT:    addi 3, 31, 128
76; BE-NEXT:    bl _setjmp
77; BE-NEXT:    nop
78; BE-NEXT:    crmove 20, 10
79; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
80; BE-NEXT:    cmpwi 3, 0
81; BE-NEXT:    crorc 20, 10, 2
82; BE-NEXT:    crmove 21, 2
83; BE-NEXT:    bc 4, 20, .LBB0_4
84; BE-NEXT:  # %bb.2: # %if.end5
85; BE-NEXT:    addis 3, 2, .L.str@toc@ha
86; BE-NEXT:    addi 3, 3, .L.str@toc@l
87; BE-NEXT:    bl printf
88; BE-NEXT:    nop
89; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
90; BE-NEXT:  .LBB0_3: # %return
91; BE-NEXT:    extsw 3, 3
92; BE-NEXT:    addi 1, 31, 800
93; BE-NEXT:    ld 0, 16(1)
94; BE-NEXT:    lwz 12, 8(1)
95; BE-NEXT:    ld 31, -8(1)
96; BE-NEXT:    mtlr 0
97; BE-NEXT:    mtcrf 32, 12 # cr2
98; BE-NEXT:    blr
99; BE-NEXT:  .LBB0_4: # %if.then3
100; BE-NEXT:    ld 4, 0(1)
101; BE-NEXT:    stdu 4, -16(1)
102; BE-NEXT:    addi 3, 1, 112
103; BE-NEXT:    li 4, -1
104; BE-NEXT:    stb 4, 0(3)
105; BE-NEXT:    addi 4, 31, 128
106; BE-NEXT:    bl test
107; BE-NEXT:    nop
108entry:
109  %env_buffer = alloca [1 x %struct.__jmp_buf_tag], align 16
110  %cmp = icmp slt i32 %argc, 2
111  br i1 %cmp, label %return, label %if.end
112
113if.end:                                           ; preds = %entry
114  %0 = bitcast [1 x %struct.__jmp_buf_tag]* %env_buffer to i8*
115  call void @llvm.lifetime.start.p0i8(i64 656, i8* nonnull %0) #5
116  %arraydecay = getelementptr inbounds [1 x %struct.__jmp_buf_tag], [1 x %struct.__jmp_buf_tag]* %env_buffer, i64 0, i64 0
117  %call = call signext i32 @_setjmp(%struct.__jmp_buf_tag* nonnull %arraydecay) #6
118  %cmp1 = icmp ne i32 %argc, 2
119  %cmp2 = icmp eq i32 %call, 0
120  %or.cond = and i1 %cmp1, %cmp2
121  br i1 %or.cond, label %if.then3, label %if.end5
122
123if.then3:                                         ; preds = %if.end
124  %1 = alloca [8 x i8], align 16
125  %.sub = getelementptr inbounds [8 x i8], [8 x i8]* %1, i64 0, i64 0
126  store i8 -1, i8* %.sub, align 16
127  call void @test(i8* nonnull %.sub, %struct.__jmp_buf_tag* nonnull %arraydecay) #7
128  unreachable
129
130if.end5:                                          ; preds = %if.end
131  %call6 = call signext i32 (i8*, ...) @printf(i8* nonnull dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0))
132  call void @llvm.lifetime.end.p0i8(i64 656, i8* nonnull %0) #5
133  br label %return
134
135return:                                           ; preds = %entry, %if.end5
136  %retval.0 = phi i32 [ %call6, %if.end5 ], [ 0, %entry ]
137  ret i32 %retval.0
138}
139
140; Function Attrs: argmemonly nofree nosync nounwind willreturn
141declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
142
143; Function Attrs: nounwind returns_twice
144declare signext i32 @_setjmp(%struct.__jmp_buf_tag*) local_unnamed_addr
145
146; Function Attrs: noreturn
147declare void @test(i8*, %struct.__jmp_buf_tag*) local_unnamed_addr
148
149; Function Attrs: nofree nounwind
150declare noundef signext i32 @printf(i8* nocapture noundef readonly, ...) local_unnamed_addr
151
152; Function Attrs: argmemonly nofree nosync nounwind willreturn
153declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
154
155attributes #0 = { nounwind }
156attributes #6 = { nounwind returns_twice }
157