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=aarch64-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, 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, #48
68; CHECK-NEXT:    .cfi_def_cfa_offset 48
69; CHECK-NEXT:    stp x29, x30, [sp, #32] // 16-byte Folded Spill
70; CHECK-NEXT:    add x29, sp, #32
71; CHECK-NEXT:    .cfi_def_cfa w29, 16
72; CHECK-NEXT:    .cfi_offset w30, -8
73; CHECK-NEXT:    .cfi_offset w29, -16
74; CHECK-NEXT:    mov w8, #1 // =0x1
75; CHECK-NEXT:    stur xzr, [x29, #-8]
76; CHECK-NEXT:    cbz wzr, .LBB0_3
77; CHECK-NEXT:  // %bb.1:
78; CHECK-NEXT:    str w8, [sp, #16]
79; CHECK-NEXT:    ldur w8, [x29, #-8]
80; CHECK-NEXT:    cbz w8, .LBB0_4
81; CHECK-NEXT:  .LBB0_2:
82; CHECK-NEXT:    mov w8, #1 // =0x1
83; CHECK-NEXT:    str w8, [sp, #16]
84; CHECK-NEXT:    b .LBB0_5
85; CHECK-NEXT:  .LBB0_3:
86; CHECK-NEXT:    bl OUTLINED_FUNCTION_0
87; CHECK-NEXT:    ldur w8, [x29, #-8]
88; CHECK-NEXT:    cbnz w8, .LBB0_2
89; CHECK-NEXT:  .LBB0_4:
90; CHECK-NEXT:    mov w8, #1 // =0x1
91; CHECK-NEXT:    bl OUTLINED_FUNCTION_0
92; CHECK-NEXT:  .LBB0_5:
93; CHECK-NEXT:    mov w0, wzr
94; CHECK-NEXT:    .cfi_def_cfa wsp, 48
95; CHECK-NEXT:    ldp x29, x30, [sp, #32] // 16-byte Folded Reload
96; CHECK-NEXT:    add sp, sp, #48
97; CHECK-NEXT:    .cfi_def_cfa_offset 0
98; CHECK-NEXT:    .cfi_restore w30
99; CHECK-NEXT:    .cfi_restore w29
100; CHECK-NEXT:    ret
101;
102; CHECK-LABEL: main:
103; CHECK:       // %bb.0:
104; CHECK-NEXT:    sub sp, sp, #48
105; CHECK-NEXT:    .cfi_def_cfa_offset 48
106; CHECK-NEXT:    stp x29, x30, [sp, #32] // 16-byte Folded Spill
107; CHECK-NEXT:    add x29, sp, #32
108; CHECK-NEXT:    .cfi_def_cfa w29, 16
109; CHECK-NEXT:    .cfi_offset w30, -8
110; CHECK-NEXT:    .cfi_offset w29, -16
111; CHECK-NEXT:    mov w8, #1 // =0x1
112; CHECK-NEXT:    adrp x11, x
113; CHECK-NEXT:    mov w9, #2 // =0x2
114; CHECK-NEXT:    mov w10, #3 // =0x3
115; CHECK-NEXT:    str w8, [x11, :lo12:x]
116; CHECK-NEXT:    mov w11, #4 // =0x4
117; CHECK-NEXT:    stp w8, wzr, [x29, #-8]
118; CHECK-NEXT:    mov w0, wzr
119; CHECK-NEXT:    stur w9, [x29, #-12]
120; CHECK-NEXT:    stp w11, w10, [sp, #12]
121; CHECK-NEXT:    //APP
122; CHECK-NEXT:    //NO_APP
123; CHECK-NEXT:    stp w9, w8, [x29, #-12]
124; CHECK-NEXT:    stp w11, w10, [sp, #12]
125; CHECK-NEXT:    .cfi_def_cfa wsp, 48
126; CHECK-NEXT:    ldp x29, x30, [sp, #32] // 16-byte Folded Reload
127; CHECK-NEXT:    add sp, sp, #48
128; CHECK-NEXT:    .cfi_def_cfa_offset 0
129; CHECK-NEXT:    .cfi_restore w30
130; CHECK-NEXT:    .cfi_restore w29
131; CHECK-NEXT:    ret
132;
133; CHECK-LABEL: OUTLINED_FUNCTION_0:
134; CHECK:       // %bb.0:
135; CHECK-NEXT:    mov w9, #2 // =0x2
136; CHECK-NEXT:    stp w9, w8, [x29, #-12]
137; CHECK-NEXT:    mov w9, #3 // =0x3
138; CHECK-NEXT:    mov w8, #4 // =0x4
139; CHECK-NEXT:    stp w8, w9, [sp, #12]
140; CHECK-NEXT:    ret
141