1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -enable-machine-outliner -mtriple=lanai-unknown-linux < %s | FileCheck %s
3
4; NOTE: Machine outliner doesn't run.
5@x = global i32 0, align 4
6
7define dso_local i32 @check_boundaries() #0 {
8; CHECK-LABEL: check_boundaries:
9; CHECK:       .Lcheck_boundaries$local:
10; CHECK-NEXT:    .cfi_startproc
11; CHECK-NEXT:  ! %bb.0:
12; CHECK-NEXT:    st %fp, [--%sp]
13; CHECK-NEXT:    add %sp, 0x8, %fp
14; CHECK-NEXT:    sub %sp, 0x20, %sp
15; CHECK-NEXT:    st %r0, -12[%fp]
16; CHECK-NEXT:    sub.f %r0, 0x0, %r0
17; CHECK-NEXT:    st %r0, -16[%fp]
18; CHECK-NEXT:    beq .LBB0_1
19; CHECK-NEXT:    mov 0x1, %r3
20; CHECK-NEXT:  .LBB0_2:
21; CHECK-NEXT:    bt .LBB0_3
22; CHECK-NEXT:    st %r3, -24[%fp]
23; CHECK-NEXT:  .LBB0_1:
24; CHECK-NEXT:    st %r3, -16[%fp]
25; CHECK-NEXT:    mov 0x2, %r3
26; CHECK-NEXT:    st %r3, -20[%fp]
27; CHECK-NEXT:    mov 0x3, %r3
28; CHECK-NEXT:    st %r3, -24[%fp]
29; CHECK-NEXT:    mov 0x4, %r3
30; CHECK-NEXT:    st %r3, -28[%fp]
31; CHECK-NEXT:  .LBB0_3:
32; CHECK-NEXT:    ld -16[%fp], %r3
33; CHECK-NEXT:    sub.f %r3, 0x0, %r0
34; CHECK-NEXT:    beq .LBB0_4
35; CHECK-NEXT:    nop
36; CHECK-NEXT:  .LBB0_5:
37; CHECK-NEXT:    mov 0x1, %r3
38; CHECK-NEXT:    bt .LBB0_6
39; CHECK-NEXT:    st %r3, -24[%fp]
40; CHECK-NEXT:  .LBB0_4:
41; CHECK-NEXT:    mov 0x1, %r3
42; CHECK-NEXT:    st %r3, -16[%fp]
43; CHECK-NEXT:    mov 0x2, %r3
44; CHECK-NEXT:    st %r3, -20[%fp]
45; CHECK-NEXT:    mov 0x3, %r3
46; CHECK-NEXT:    st %r3, -24[%fp]
47; CHECK-NEXT:    mov 0x4, %r3
48; CHECK-NEXT:    st %r3, -28[%fp]
49; CHECK-NEXT:  .LBB0_6:
50; CHECK-NEXT:    or %r0, 0x0, %rv
51; CHECK-NEXT:    ld -4[%fp], %pc ! return
52; CHECK-NEXT:    add %fp, 0x0, %sp
53; CHECK-NEXT:    ld -8[%fp], %fp
54  %1 = alloca i32, align 4
55  %2 = alloca i32, align 4
56  %3 = alloca i32, align 4
57  %4 = alloca i32, align 4
58  %5 = alloca i32, align 4
59  store i32 0, i32* %1, align 4
60  store i32 0, i32* %2, align 4
61  %6 = load i32, i32* %2, align 4
62  %7 = icmp ne i32 %6, 0
63  br i1 %7, label %9, label %8
64
65  store i32 1, i32* %2, align 4
66  store i32 2, i32* %3, align 4
67  store i32 3, i32* %4, align 4
68  store i32 4, i32* %5, align 4
69  br label %10
70
71  store i32 1, i32* %4, align 4
72  br label %10
73
74  %11 = load i32, i32* %2, align 4
75  %12 = icmp ne i32 %11, 0
76  br i1 %12, label %14, label %13
77
78  store i32 1, i32* %2, align 4
79  store i32 2, i32* %3, align 4
80  store i32 3, i32* %4, align 4
81  store i32 4, i32* %5, align 4
82  br label %15
83
84  store i32 1, i32* %4, align 4
85  br label %15
86
87  ret i32 0
88}
89
90define dso_local i32 @main() #0 {
91; CHECK-LABEL: main:
92; CHECK:       .Lmain$local:
93; CHECK-NEXT:    .cfi_startproc
94; CHECK-NEXT:  ! %bb.0:
95; CHECK-NEXT:    st %fp, [--%sp]
96; CHECK-NEXT:    add %sp, 0x8, %fp
97; CHECK-NEXT:    sub %sp, 0x20, %sp
98; CHECK-NEXT:    st %r0, -12[%fp]
99; CHECK-NEXT:    mov hi(x), %r3
100; CHECK-NEXT:    or %r3, lo(x), %r3
101; CHECK-NEXT:    mov 0x1, %r9
102; CHECK-NEXT:    st %r9, -16[%fp]
103; CHECK-NEXT:    mov 0x2, %r12
104; CHECK-NEXT:    st %r12, -20[%fp]
105; CHECK-NEXT:    mov 0x3, %r13
106; CHECK-NEXT:    st %r13, -24[%fp]
107; CHECK-NEXT:    mov 0x4, %r14
108; CHECK-NEXT:    st %r14, -28[%fp]
109; CHECK-NEXT:    st %r9, 0[%r3]
110; CHECK-NEXT:    !APP
111; CHECK-NEXT:    !NO_APP
112; CHECK-NEXT:    st %r9, -16[%fp]
113; CHECK-NEXT:    st %r12, -20[%fp]
114; CHECK-NEXT:    st %r13, -24[%fp]
115; CHECK-NEXT:    st %r14, -28[%fp]
116; CHECK-NEXT:    or %r0, 0x0, %rv
117; CHECK-NEXT:    ld -4[%fp], %pc ! return
118; CHECK-NEXT:    add %fp, 0x0, %sp
119; CHECK-NEXT:    ld -8[%fp], %fp
120  %1 = alloca i32, align 4
121  %2 = alloca i32, align 4
122  %3 = alloca i32, align 4
123  %4 = alloca i32, align 4
124  %5 = alloca i32, align 4
125
126  store i32 0, i32* %1, align 4
127  store i32 0, i32* @x, align 4
128  store i32 1, i32* %2, align 4
129  store i32 2, i32* %3, align 4
130  store i32 3, i32* %4, align 4
131  store i32 4, i32* %5, align 4
132  store i32 1, i32* @x, align 4
133  call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"()
134  store i32 1, i32* %2, align 4
135  store i32 2, i32* %3, align 4
136  store i32 3, i32* %4, align 4
137  store i32 4, i32* %5, align 4
138  ret i32 0
139}
140
141attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" }
142