1 ; RUN: llc -mtriple=thumbv7-apple-darwin-eabi < %s | FileCheck %s
2 ; RUN: llc -mtriple=thumbv6m-apple-darwin-eabi -disable-fp-elim < %s | FileCheck %s --check-prefix=CHECK-T1
3 ; RUN: llc -mtriple=thumbv7-apple-darwin-ios -disable-fp-elim < %s | FileCheck %s --check-prefix=CHECK-IOS
8 %bigVec = type [2 x double]
10 @var = global %bigVec zeroinitializer
12 define void @check_simple() minsize {
13 ; CHECK-LABEL: check_simple:
14 ; CHECK: push.w {r7, r8, r9, r10, r11, lr}
15 ; CHECK-NOT: sub sp, sp,
17 ; CHECK-NOT: add sp, sp,
18 ; CHECK: pop.w {r0, r1, r2, r3, r11, pc}
20 ; CHECK-T1-LABEL: check_simple:
21 ; CHECK-T1: push {r3, r4, r5, r6, r7, lr}
22 ; CHECK-T1: add r7, sp, #16
23 ; CHECK-T1-NOT: sub sp, sp,
25 ; CHECK-T1-NOT: add sp, sp,
26 ; CHECK-T1: pop {r0, r1, r2, r3, r7, pc}
28 ; iOS always has a frame pointer and messing with the push affects
29 ; how it's set in the prologue. Make sure we get that right.
30 ; CHECK-IOS-LABEL: check_simple:
31 ; CHECK-IOS: push {r3, r4, r5, r6, r7, lr}
33 ; CHECK-IOS: add r7, sp, #16
37 ; CHEC: pop {r3, r4, r5, r6, r7, pc}
39 %var = alloca i8, i32 16
40 call void @bar(i8* %var)
44 define void @check_simple_too_big() minsize {
45 ; CHECK-LABEL: check_simple_too_big:
46 ; CHECK: push.w {r11, lr}
50 ; CHECK: pop.w {r11, pc}
51 %var = alloca i8, i32 64
52 call void @bar(i8* %var)
56 define void @check_vfp_fold() minsize {
57 ; CHECK-LABEL: check_vfp_fold:
58 ; CHECK: push {r[[GLOBREG:[0-9]+]], lr}
59 ; CHECK: vpush {d6, d7, d8, d9}
62 ; CHECK: vldmia r[[GLOBREG]], {d8, d9}
65 ; CHECK: vpop {d6, d7, d8, d9}
66 ; CHECKL pop {r[[GLOBREG]], pc}
68 ; iOS uses aligned NEON stores here, which is convenient since we
69 ; want to make sure that works too.
70 ; CHECK-IOS-LABEL: check_vfp_fold:
71 ; CHECK-IOS: push {r0, r1, r2, r3, r4, r7, lr}
72 ; CHECK-IOS: sub.w r4, sp, #16
73 ; CHECK-IOS: bic r4, r4, #15
74 ; CHECK-IOS: mov sp, r4
75 ; CHECK-IOS: vst1.64 {d8, d9}, [r4:128]
77 ; CHECK-IOS: add r4, sp, #16
78 ; CHECK-IOS: vld1.64 {d8, d9}, [r4:128]
79 ; CHECK-IOS: mov sp, r4
80 ; CHECK-IOS: pop {r4, r7, pc}
82 %var = alloca i8, i32 16
84 %tmp = load %bigVec* @var
85 call void @bar(i8* %var)
86 store %bigVec %tmp, %bigVec* @var
91 ; This function should use just enough space that the "add sp, sp, ..." could be
92 ; folded in except that doing so would clobber the value being returned.
93 define i64 @check_no_return_clobber() minsize {
94 ; CHECK-LABEL: check_no_return_clobber:
95 ; CHECK: push.w {r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, lr}
99 ; CHECK: pop.w {r11, pc}
101 ; Just to keep iOS FileCheck within previous function:
102 ; CHECK-IOS-LABEL: check_no_return_clobber:
104 %var = alloca i8, i32 40
105 call void @bar(i8* %var)
109 define arm_aapcs_vfpcc double @check_vfp_no_return_clobber() minsize {
110 ; CHECK-LABEL: check_vfp_no_return_clobber:
111 ; CHECK: push {r[[GLOBREG:[0-9]+]], lr}
112 ; CHECK: vpush {d0, d1, d2, d3, d4, d5, d6, d7, d8, d9}
116 ; CHECK: vpop {d8, d9}
117 ; CHECK: pop {r[[GLOBREG]], pc}
119 %var = alloca i8, i32 64
121 %tmp = load %bigVec* @var
122 call void @bar(i8* %var)
123 store %bigVec %tmp, %bigVec* @var
128 @dbl = global double 0.0
130 ; PR18136: there was a bug determining where the first eligible pop in a
131 ; basic-block was when the entire block was epilogue code.
132 define void @test_fold_point(i1 %tst) minsize {
133 ; CHECK-LABEL: test_fold_point:
135 ; Important to check for beginning of basic block, because if it gets
136 ; if-converted the test is probably no longer checking what it should.
137 ; CHECK: {{LBB[0-9]+_2}}:
138 ; CHECK-NEXT: vpop {d7, d8}
139 ; CHECK-NEXT: pop {r4, pc}
141 ; With a guaranteed frame-pointer, we want to make sure that its offset in the
142 ; push block is correct, even if a few registers have been tacked onto a later
144 ; CHECK-IOS-LABEL: test_fold_point:
145 ; CHECK-IOS: push {r4, r7, lr}
146 ; CHECK-IOS-NEXT: add r7, sp, #4
147 ; CHECK-IOS-NEXT: vpush {d7, d8}
149 ; We want some memory so there's a stack adjustment to fold...
150 %var = alloca i8, i32 8
152 ; We want a long-lived floating register so that a callee-saved dN is used and
153 ; there's both a vpop and a pop.
154 %live_val = load double* @dbl
155 br i1 %tst, label %true, label %end
157 call void @bar(i8* %var)
158 store double %live_val, double* @dbl
161 ; We want the epilogue to be the only thing in a basic block so that we hit
162 ; the correct edge-case (first inst in block is correct one to adjust).