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=arm-unknown-linux < %s | FileCheck %s
3@x = 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, i32* %1, align 4
12  store i32 0, i32* %2, align 4
13  %6 = load i32, i32* %2, align 4
14  %7 = icmp ne i32 %6, 0
15  br i1 %7, label %9, label %8
16
17  store i32 1, i32* %2, align 4
18  store i32 2, i32* %3, align 4
19  store i32 3, i32* %4, align 4
20  store i32 4, i32* %5, align 4
21  br label %10
22
23  store i32 1, i32* %4, align 4
24  br label %10
25
26  %11 = load i32, i32* %2, align 4
27  %12 = icmp ne i32 %11, 0
28  br i1 %12, label %14, label %13
29
30  store i32 1, i32* %2, align 4
31  store i32 2, i32* %3, align 4
32  store i32 3, i32* %4, align 4
33  store i32 4, i32* %5, align 4
34  br label %15
35
36  store i32 1, i32* %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, i32* %1, align 4
50  store i32 0, i32* @x, align 4
51  store i32 1, i32* %2, align 4
52  store i32 2, i32* %3, align 4
53  store i32 3, i32* %4, align 4
54  store i32 4, i32* %5, align 4
55  store i32 1, i32* @x, align 4
56  call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"()
57  store i32 1, i32* %2, align 4
58  store i32 2, i32* %3, align 4
59  store i32 3, i32* %4, align 4
60  store i32 4, i32* %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:    sub sp, sp, #20
68; CHECK-NEXT:    mov r0, #0
69; CHECK-NEXT:    cmp r0, #0
70; CHECK-NEXT:    str r0, [sp, #12]
71; CHECK-NEXT:    str r0, [sp, #16]
72; CHECK-NEXT:    beq .LBB0_2
73; CHECK-NEXT:  @ %bb.1:
74; CHECK-NEXT:    mov r0, #1
75; CHECK-NEXT:    str r0, [sp, #4]
76; CHECK-NEXT:    b .LBB0_3
77; CHECK-NEXT:  .LBB0_2:
78; CHECK-NEXT:    mov r1, lr
79; CHECK-NEXT:    bl OUTLINED_FUNCTION_0
80; CHECK-NEXT:    mov lr, r1
81; CHECK-NEXT:  .LBB0_3:
82; CHECK-NEXT:    ldr r0, [sp, #12]
83; CHECK-NEXT:    cmp r0, #0
84; CHECK-NEXT:    beq .LBB0_5
85; CHECK-NEXT:  @ %bb.4:
86; CHECK-NEXT:    mov r0, #1
87; CHECK-NEXT:    str r0, [sp, #4]
88; CHECK-NEXT:    b .LBB0_6
89; CHECK-NEXT:  .LBB0_5:
90; CHECK-NEXT:    mov r1, lr
91; CHECK-NEXT:    bl OUTLINED_FUNCTION_0
92; CHECK-NEXT:    mov lr, r1
93; CHECK-NEXT:  .LBB0_6:
94; CHECK-NEXT:    mov r0, #0
95; CHECK-NEXT:    add sp, sp, #20
96; CHECK-NEXT:    mov pc, lr
97;
98; CHECK-LABEL: main:
99; CHECK:       @ %bb.0:
100; CHECK-NEXT:    sub sp, sp, #20
101; CHECK-NEXT:    ldr r0, .LCPI1_0
102; CHECK-NEXT:    mov r1, #1
103; CHECK-NEXT:    mov r2, #3
104; CHECK-NEXT:    mov r3, #4
105; CHECK-NEXT:    str r1, [sp, #12]
106; CHECK-NEXT:    str r1, [r0]
107; CHECK-NEXT:    mov r0, #0
108; CHECK-NEXT:    str r0, [sp, #16]
109; CHECK-NEXT:    mov r0, #2
110; CHECK-NEXT:    str r0, [sp, #8]
111; CHECK-NEXT:    str r2, [sp, #4]
112; CHECK-NEXT:    str r3, [sp]
113; CHECK-NEXT:    @APP
114; CHECK-NEXT:    @NO_APP
115; CHECK-NEXT:    str r0, [sp, #8]
116; CHECK-NEXT:    mov r0, #0
117; CHECK-NEXT:    str r1, [sp, #12]
118; CHECK-NEXT:    str r2, [sp, #4]
119; CHECK-NEXT:    str r3, [sp]
120; CHECK-NEXT:    add sp, sp, #20
121; CHECK-NEXT:    mov pc, lr
122; CHECK-NEXT:    .p2align 2
123; CHECK-NEXT:  @ %bb.1:
124; CHECK-NEXT:  .LCPI1_0:
125; CHECK-NEXT:    .long x
126;
127; CHECK-LABEL: OUTLINED_FUNCTION_0:
128; CHECK:       @ %bb.0:
129; CHECK-NEXT:    mov r0, #2
130; CHECK-NEXT:    str r0, [sp, #8]
131; CHECK-NEXT:    mov r0, #1
132; CHECK-NEXT:    str r0, [sp, #12]
133; CHECK-NEXT:    mov r0, #3
134; CHECK-NEXT:    str r0, [sp, #4]
135; CHECK-NEXT:    mov r0, #4
136; CHECK-NEXT:    str r0, [sp]
137; CHECK-NEXT:    mov pc, lr
138