1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs
2; RUN: llc --enable-machine-outliner --mtriple=loongarch32-unknown-linux < %s | FileCheck %s
3@x = dso_local global i32 0, align 4
4
5define dso_local i32 @check_boundaries() #0 {
6  %1 = alloca i32, align 4
7  %2 = alloca i32, align 4
8  %3 = alloca i32, align 4
9  %4 = alloca i32, align 4
10  %5 = alloca i32, align 4
11  store i32 0, ptr %1, align 4
12  store i32 0, ptr %2, align 4
13  %6 = load i32, ptr %2, align 4
14  %7 = icmp ne i32 %6, 0
15  br i1 %7, label %9, label %8
16
17  store i32 1, ptr %2, align 4
18  store i32 2, ptr %3, align 4
19  store i32 3, ptr %4, align 4
20  store i32 4, ptr %5, align 4
21  br label %10
22
23  store i32 1, ptr %4, align 4
24  br label %10
25
26  %11 = load i32, ptr %2, align 4
27  %12 = icmp ne i32 %11, 0
28  br i1 %12, label %14, label %13
29
30  store i32 1, ptr %2, align 4
31  store i32 2, ptr %3, align 4
32  store i32 3, ptr %4, align 4
33  store i32 4, ptr %5, align 4
34  br label %15
35
36  store i32 1, ptr %4, align 4
37  br label %15
38
39  ret i32 0
40}
41
42define dso_local i32 @main() #0 {
43  %1 = alloca i32, align 4
44  %2 = alloca i32, align 4
45  %3 = alloca i32, align 4
46  %4 = alloca i32, align 4
47  %5 = alloca i32, align 4
48
49  store i32 0, ptr %1, align 4
50  store i32 0, ptr @x, align 4
51  store i32 1, ptr %2, align 4
52  store i32 2, ptr %3, align 4
53  store i32 3, ptr %4, align 4
54  store i32 4, ptr %5, align 4
55  store i32 1, ptr @x, align 4
56  call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"()
57  store i32 1, ptr %2, align 4
58  store i32 2, ptr %3, align 4
59  store i32 3, ptr %4, align 4
60  store i32 4, ptr %5, align 4
61  ret i32 0
62}
63
64attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" }
65; CHECK-LABEL: check_boundaries:
66; CHECK:       # %bb.0:
67; CHECK-NEXT:    addi.w $sp, $sp, -32
68; CHECK-NEXT:    .cfi_def_cfa_offset 32
69; CHECK-NEXT:    st.w $ra, $sp, 28 # 4-byte Folded Spill
70; CHECK-NEXT:    st.w $fp, $sp, 24 # 4-byte Folded Spill
71; CHECK-NEXT:    .cfi_offset 1, -4
72; CHECK-NEXT:    .cfi_offset 22, -8
73; CHECK-NEXT:    addi.w $fp, $sp, 32
74; CHECK-NEXT:    .cfi_def_cfa 22, 0
75; CHECK-NEXT:    st.w $zero, $fp, -16
76; CHECK-NEXT:    st.w $zero, $fp, -12
77; CHECK-NEXT:    bnez $zero, .LBB0_2
78; CHECK-NEXT:    b .LBB0_1
79; CHECK-NEXT:  .LBB0_2:
80; CHECK-NEXT:    ori $a0, $zero, 1
81; CHECK-NEXT:    st.w $a0, $fp, -24
82; CHECK-NEXT:  .LBB0_3:
83; CHECK-NEXT:    ld.w $a0, $fp, -16
84; CHECK-NEXT:    bne $a0, $zero, .LBB0_5
85; CHECK-NEXT:    b .LBB0_4
86; CHECK-NEXT:  .LBB0_5:
87; CHECK-NEXT:    ori $a0, $zero, 1
88; CHECK-NEXT:    st.w $a0, $fp, -24
89; CHECK-NEXT:  .LBB0_6:
90; CHECK-NEXT:    move $a0, $zero
91; CHECK-NEXT:    ld.w $fp, $sp, 24 # 4-byte Folded Reload
92; CHECK-NEXT:    ld.w $ra, $sp, 28 # 4-byte Folded Reload
93; CHECK-NEXT:    addi.w $sp, $sp, 32
94; CHECK-NEXT:    jirl $zero, $ra, 0
95; CHECK-NEXT:  .LBB0_1:
96; CHECK-NEXT:    ori $a0, $zero, 2
97; CHECK-NEXT:    st.w $a0, $fp, -20
98; CHECK-NEXT:    ori $a0, $zero, 1
99; CHECK-NEXT:    st.w $a0, $fp, -16
100; CHECK-NEXT:    ori $a0, $zero, 3
101; CHECK-NEXT:    st.w $a0, $fp, -24
102; CHECK-NEXT:    ori $a0, $zero, 4
103; CHECK-NEXT:    st.w $a0, $fp, -28
104; CHECK-NEXT:    b .LBB0_3
105; CHECK-NEXT:  .LBB0_4:
106; CHECK-NEXT:    ori $a0, $zero, 2
107; CHECK-NEXT:    st.w $a0, $fp, -20
108; CHECK-NEXT:    ori $a0, $zero, 1
109; CHECK-NEXT:    st.w $a0, $fp, -16
110; CHECK-NEXT:    ori $a0, $zero, 3
111; CHECK-NEXT:    st.w $a0, $fp, -24
112; CHECK-NEXT:    ori $a0, $zero, 4
113; CHECK-NEXT:    st.w $a0, $fp, -28
114; CHECK-NEXT:    b .LBB0_6
115;
116; CHECK-LABEL: main:
117; CHECK:       # %bb.0:
118; CHECK-NEXT:    addi.w $sp, $sp, -32
119; CHECK-NEXT:    .cfi_def_cfa_offset 32
120; CHECK-NEXT:    st.w $ra, $sp, 28 # 4-byte Folded Spill
121; CHECK-NEXT:    st.w $fp, $sp, 24 # 4-byte Folded Spill
122; CHECK-NEXT:    .cfi_offset 1, -4
123; CHECK-NEXT:    .cfi_offset 22, -8
124; CHECK-NEXT:    addi.w $fp, $sp, 32
125; CHECK-NEXT:    .cfi_def_cfa 22, 0
126; CHECK-NEXT:    pcalau12i $a0, x
127; CHECK-NEXT:    addi.w $a0, $a0, x
128; CHECK-NEXT:    ori $a1, $zero, 1
129; CHECK-NEXT:    st.w $a1, $a0, 0
130; CHECK-NEXT:    st.w $zero, $fp, -12
131; CHECK-NEXT:    st.w $a1, $fp, -16
132; CHECK-NEXT:    ori $a0, $zero, 2
133; CHECK-NEXT:    st.w $a0, $fp, -20
134; CHECK-NEXT:    ori $a2, $zero, 3
135; CHECK-NEXT:    st.w $a2, $fp, -24
136; CHECK-NEXT:    ori $a3, $zero, 4
137; CHECK-NEXT:    st.w $a3, $fp, -28
138; CHECK-NEXT:    #APP
139; CHECK-NEXT:    #NO_APP
140; CHECK-NEXT:    st.w $a0, $fp, -20
141; CHECK-NEXT:    st.w $a1, $fp, -16
142; CHECK-NEXT:    st.w $a2, $fp, -24
143; CHECK-NEXT:    st.w $a3, $fp, -28
144; CHECK-NEXT:    move $a0, $zero
145; CHECK-NEXT:    ld.w $fp, $sp, 24 # 4-byte Folded Reload
146; CHECK-NEXT:    ld.w $ra, $sp, 28 # 4-byte Folded Reload
147; CHECK-NEXT:    addi.w $sp, $sp, 32
148; CHECK-NEXT:    jirl $zero, $ra, 0
149