1 ; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s
2 ; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -mattr=-fp-armv8 < %s | FileCheck --check-prefix=CHECK-NOFP %s
4 %va_list = type {i8*, i8*, i8*, i32, i32}
6 @var = global %va_list zeroinitializer
8 declare void @llvm.va_start(i8*)
10 define void @test_simple(i32 %n, ...) {
11 ; CHECK-LABEL: test_simple:
12 ; CHECK: sub sp, sp, #[[STACKSIZE:[0-9]+]]
13 ; CHECK: mov x[[FPRBASE:[0-9]+]], sp
14 ; CHECK: str q7, [x[[FPRBASE]], #112]
15 ; CHECK: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
16 ; CHECK: str x7, [x[[GPRBASE]], #48]
18 ; CHECK-NOFP: sub sp, sp, #[[STACKSIZE:[0-9]+]]
19 ; CHECK-NOFP: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
20 ; CHECK-NOFP: str x7, [x[[GPRBASE]], #48]
21 ; CHECK-NOFP-NOT: str q7,
22 ; CHECK-NOFP: str x1, [sp, #[[GPRFROMSP]]]
24 ; Omit the middle ones
27 ; CHECK: str x1, [sp, #[[GPRFROMSP]]]
28 ; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
30 ; CHECK-NOFP-NOT: str q0, [sp]
31 ; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
33 %addr = bitcast %va_list* @var to i8*
34 call void @llvm.va_start(i8* %addr)
35 ; CHECK: movn [[VR_OFFS:w[0-9]+]], #127
36 ; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
37 ; CHECK: movn [[GR_OFFS:w[0-9]+]], #55
38 ; CHECK: str [[GR_OFFS]], [x[[VA_LIST]], #24]
39 ; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #128
40 ; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
41 ; CHECK: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #56
42 ; CHECK: str [[GR_TOP]], [x[[VA_LIST]], #8]
43 ; CHECK: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
44 ; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
46 ; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
47 ; CHECK-NOFP: movn [[GR_OFFS:w[0-9]+]], #55
48 ; CHECK-NOFP: str [[GR_OFFS]], [x[[VA_LIST]], #24]
49 ; CHECK-NOFP: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #56
50 ; CHECK-NOFP: str [[GR_TOP]], [x[[VA_LIST]], #8]
51 ; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
52 ; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
57 define void @test_fewargs(i32 %n, i32 %n1, i32 %n2, float %m, ...) {
58 ; CHECK-LABEL: test_fewargs:
59 ; CHECK: sub sp, sp, #[[STACKSIZE:[0-9]+]]
60 ; CHECK: mov x[[FPRBASE:[0-9]+]], sp
61 ; CHECK: str q7, [x[[FPRBASE]], #96]
62 ; CHECK: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
63 ; CHECK: str x7, [x[[GPRBASE]], #32]
65 ; CHECK-NOFP: sub sp, sp, #[[STACKSIZE:[0-9]+]]
66 ; CHECK-NOFP-NOT: str q7,
67 ; CHECK-NOFP: mov x[[GPRBASE:[0-9]+]], sp
68 ; CHECK-NOFP: str x7, [x[[GPRBASE]], #24]
70 ; Omit the middle ones
73 ; CHECK: str x3, [sp, #[[GPRFROMSP]]]
75 ; CHECK-NOFP-NOT: str q1, [sp]
76 ; CHECK-NOFP: str x4, [sp]
78 %addr = bitcast %va_list* @var to i8*
79 call void @llvm.va_start(i8* %addr)
80 ; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
81 ; CHECK: movn [[VR_OFFS:w[0-9]+]], #111
82 ; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
83 ; CHECK: movn [[GR_OFFS:w[0-9]+]], #39
84 ; CHECK: str [[GR_OFFS]], [x[[VA_LIST]], #24]
85 ; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #112
86 ; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
87 ; CHECK: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #40
88 ; CHECK: str [[GR_TOP]], [x[[VA_LIST]], #8]
89 ; CHECK: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
90 ; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
92 ; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
93 ; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
94 ; CHECK-NOFP: movn [[GR_OFFS:w[0-9]+]], #31
95 ; CHECK-NOFP: str [[GR_OFFS]], [x[[VA_LIST]], #24]
96 ; CHECK-NOFP: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #32
97 ; CHECK-NOFP: str [[GR_TOP]], [x[[VA_LIST]], #8]
98 ; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
99 ; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
104 define void @test_nospare([8 x i64], [8 x float], ...) {
105 ; CHECK-LABEL: test_nospare:
107 %addr = bitcast %va_list* @var to i8*
108 call void @llvm.va_start(i8* %addr)
109 ; CHECK-NOT: sub sp, sp
110 ; CHECK: mov [[STACK:x[0-9]+]], sp
111 ; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
113 ; CHECK-NOFP-NOT: sub sp, sp
114 ; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #64
115 ; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
119 ; If there are non-variadic arguments on the stack (here two i64s) then the
120 ; __stack field should point just past them.
121 define void @test_offsetstack([10 x i64], [3 x float], ...) {
122 ; CHECK-LABEL: test_offsetstack:
123 ; CHECK: sub sp, sp, #80
124 ; CHECK: mov x[[FPRBASE:[0-9]+]], sp
125 ; CHECK: str q7, [x[[FPRBASE]], #64]
127 ; CHECK-NOT: str x{{[0-9]+}},
129 ; CHECK-NOFP-NOT: str q7,
132 ; Omit the middle ones
134 ; CHECK: str q3, [sp]
136 %addr = bitcast %va_list* @var to i8*
137 call void @llvm.va_start(i8* %addr)
138 ; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
139 ; CHECK: movn [[VR_OFFS:w[0-9]+]], #79
140 ; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
141 ; CHECK: str wzr, [x[[VA_LIST]], #24]
142 ; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #80
143 ; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
144 ; CHECK: add [[STACK:x[0-9]+]], sp, #96
145 ; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
147 ; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
148 ; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #40
149 ; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
150 ; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
151 ; CHECK-NOFP: str wzr, [x[[VA_LIST]], #24]
155 declare void @llvm.va_end(i8*)
157 define void @test_va_end() nounwind {
158 ; CHECK-LABEL: test_va_end:
162 %addr = bitcast %va_list* @var to i8*
163 call void @llvm.va_end(i8* %addr)
167 ; CHECK-NOFP-NEXT: ret
170 declare void @llvm.va_copy(i8* %dest, i8* %src)
172 @second_list = global %va_list zeroinitializer
174 define void @test_va_copy() {
175 ; CHECK-LABEL: test_va_copy:
176 %srcaddr = bitcast %va_list* @var to i8*
177 %dstaddr = bitcast %va_list* @second_list to i8*
178 call void @llvm.va_copy(i8* %dstaddr, i8* %srcaddr)
180 ; Check beginning and end again:
182 ; CHECK: ldr [[BLOCK:x[0-9]+]], [{{x[0-9]+}}, #:lo12:var]
183 ; CHECK: add x[[SRC_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
184 ; CHECK-NOFP: ldr [[BLOCK:x[0-9]+]], [{{x[0-9]+}}, #:lo12:var]
185 ; CHECK-NOFP: add x[[SRC_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
187 ; CHECK: str [[BLOCK]], [{{x[0-9]+}}, #:lo12:second_list]
189 ; CHECK: ldr [[BLOCK:x[0-9]+]], [x[[SRC_LIST]], #24]
190 ; CHECK: add x[[DEST_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:second_list
192 ; CHECK: str [[BLOCK]], [x[[DEST_LIST]], #24]
194 ; CHECK-NOFP: str [[BLOCK]], [{{x[0-9]+}}, #:lo12:second_list]
196 ; CHECK-NOFP: ldr [[BLOCK:x[0-9]+]], [x[[SRC_LIST]], #24]
197 ; CHECK-NOFP: add x[[DEST_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:second_list
199 ; CHECK-NOFP: str [[BLOCK]], [x[[DEST_LIST]], #24]