1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -disable-fp-elim | FileCheck %s
3 ; Stackmap Header: no constants - 6 callsites
4 ; CHECK-LABEL: .section __LLVM_STACKMAPS,__llvm_stackmaps
5 ; CHECK-NEXT: __LLVM_StackMaps:
15 ; CHECK-LABEL: .long L{{.*}}-_test
16 ; CHECK-NEXT: .short 0
18 ; CHECK-NEXT: .short 3
22 ; CHECK-NEXT: .short {{[0-9]+}}
27 ; CHECK-NEXT: .short {{[0-9]+}}
32 ; CHECK-NEXT: .short 0
34 define i64 @test() nounwind ssp uwtable {
36 call anyregcc void (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.void(i32 0, i32 15, i8* null, i32 2, i32 1, i32 2, i64 3)
40 ; property access 1 - %obj is an anyreg call argument and should therefore be in a register
42 ; CHECK-LABEL: .long L{{.*}}-_property_access1
43 ; CHECK-NEXT: .short 0
45 ; CHECK-NEXT: .short 2
46 ; Loc 0: Register <-- this is the return register
49 ; CHECK-NEXT: .short {{[0-9]+}}
54 ; CHECK-NEXT: .short {{[0-9]+}}
56 define i64 @property_access1(i8* %obj) nounwind ssp uwtable {
58 %f = inttoptr i64 12297829382473034410 to i8*
59 %ret = call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 1, i32 15, i8* %f, i32 1, i8* %obj)
63 ; property access 2 - %obj is an anyreg call argument and should therefore be in a register
65 ; CHECK-LABEL: .long L{{.*}}-_property_access2
66 ; CHECK-NEXT: .short 0
68 ; CHECK-NEXT: .short 2
69 ; Loc 0: Register <-- this is the return register
72 ; CHECK-NEXT: .short {{[0-9]+}}
77 ; CHECK-NEXT: .short {{[0-9]+}}
79 define i64 @property_access2() nounwind ssp uwtable {
81 %obj = alloca i64, align 8
82 %f = inttoptr i64 12297829382473034410 to i8*
83 %ret = call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 2, i32 15, i8* %f, i32 1, i64* %obj)
87 ; property access 3 - %obj is a frame index
89 ; CHECK-LABEL: .long L{{.*}}-_property_access3
90 ; CHECK-NEXT: .short 0
92 ; CHECK-NEXT: .short 2
93 ; Loc 0: Register <-- this is the return register
96 ; CHECK-NEXT: .short {{[0-9]+}}
98 ; Loc 1: Direct RBP - ofs
100 ; CHECK-NEXT: .byte 8
101 ; CHECK-NEXT: .short 6
103 define i64 @property_access3() nounwind ssp uwtable {
105 %obj = alloca i64, align 8
106 %f = inttoptr i64 12297829382473034410 to i8*
107 %ret = call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 3, i32 15, i8* %f, i32 0, i64* %obj)
112 ; CHECK-NEXT: .long 4
113 ; CHECK-LABEL: .long L{{.*}}-_anyreg_test1
114 ; CHECK-NEXT: .short 0
116 ; CHECK-NEXT: .short 14
117 ; Loc 0: Register <-- this is the return register
118 ; CHECK-NEXT: .byte 1
119 ; CHECK-NEXT: .byte 8
120 ; CHECK-NEXT: .short {{[0-9]+}}
121 ; CHECK-NEXT: .long 0
123 ; CHECK-NEXT: .byte 1
124 ; CHECK-NEXT: .byte 8
125 ; CHECK-NEXT: .short {{[0-9]+}}
126 ; CHECK-NEXT: .long 0
128 ; CHECK-NEXT: .byte 1
129 ; CHECK-NEXT: .byte 8
130 ; CHECK-NEXT: .short {{[0-9]+}}
131 ; CHECK-NEXT: .long 0
133 ; CHECK-NEXT: .byte 1
134 ; CHECK-NEXT: .byte 8
135 ; CHECK-NEXT: .short {{[0-9]+}}
136 ; CHECK-NEXT: .long 0
138 ; CHECK-NEXT: .byte 1
139 ; CHECK-NEXT: .byte 8
140 ; CHECK-NEXT: .short {{[0-9]+}}
141 ; CHECK-NEXT: .long 0
143 ; CHECK-NEXT: .byte 1
144 ; CHECK-NEXT: .byte 8
145 ; CHECK-NEXT: .short {{[0-9]+}}
146 ; CHECK-NEXT: .long 0
148 ; CHECK-NEXT: .byte 1
149 ; CHECK-NEXT: .byte 8
150 ; CHECK-NEXT: .short {{[0-9]+}}
151 ; CHECK-NEXT: .long 0
153 ; CHECK-NEXT: .byte 1
154 ; CHECK-NEXT: .byte 8
155 ; CHECK-NEXT: .short {{[0-9]+}}
156 ; CHECK-NEXT: .long 0
158 ; CHECK-NEXT: .byte 1
159 ; CHECK-NEXT: .byte 8
160 ; CHECK-NEXT: .short {{[0-9]+}}
161 ; CHECK-NEXT: .long 0
163 ; CHECK-NEXT: .byte 1
164 ; CHECK-NEXT: .byte 8
165 ; CHECK-NEXT: .short {{[0-9]+}}
166 ; CHECK-NEXT: .long 0
168 ; CHECK-NEXT: .byte 1
169 ; CHECK-NEXT: .byte 8
170 ; CHECK-NEXT: .short {{[0-9]+}}
171 ; CHECK-NEXT: .long 0
173 ; CHECK-NEXT: .byte 1
174 ; CHECK-NEXT: .byte 8
175 ; CHECK-NEXT: .short {{[0-9]+}}
176 ; CHECK-NEXT: .long 0
178 ; CHECK-NEXT: .byte 1
179 ; CHECK-NEXT: .byte 8
180 ; CHECK-NEXT: .short {{[0-9]+}}
181 ; CHECK-NEXT: .long 0
183 ; CHECK-NEXT: .byte 1
184 ; CHECK-NEXT: .byte 8
185 ; CHECK-NEXT: .short {{[0-9]+}}
186 ; CHECK-NEXT: .long 0
187 define i64 @anyreg_test1(i8* %a1, i8* %a2, i8* %a3, i8* %a4, i8* %a5, i8* %a6, i8* %a7, i8* %a8, i8* %a9, i8* %a10, i8* %a11, i8* %a12, i8* %a13) nounwind ssp uwtable {
189 %f = inttoptr i64 12297829382473034410 to i8*
190 %ret = call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 4, i32 15, i8* %f, i32 13, i8* %a1, i8* %a2, i8* %a3, i8* %a4, i8* %a5, i8* %a6, i8* %a7, i8* %a8, i8* %a9, i8* %a10, i8* %a11, i8* %a12, i8* %a13)
195 ; CHECK-NEXT: .long 5
196 ; CHECK-LABEL: .long L{{.*}}-_anyreg_test2
197 ; CHECK-NEXT: .short 0
199 ; CHECK-NEXT: .short 14
200 ; Loc 0: Register <-- this is the return register
201 ; CHECK-NEXT: .byte 1
202 ; CHECK-NEXT: .byte 8
203 ; CHECK-NEXT: .short {{[0-9]+}}
204 ; CHECK-NEXT: .long 0
206 ; CHECK-NEXT: .byte 1
207 ; CHECK-NEXT: .byte 8
208 ; CHECK-NEXT: .short {{[0-9]+}}
209 ; CHECK-NEXT: .long 0
211 ; CHECK-NEXT: .byte 1
212 ; CHECK-NEXT: .byte 8
213 ; CHECK-NEXT: .short {{[0-9]+}}
214 ; CHECK-NEXT: .long 0
216 ; CHECK-NEXT: .byte 1
217 ; CHECK-NEXT: .byte 8
218 ; CHECK-NEXT: .short {{[0-9]+}}
219 ; CHECK-NEXT: .long 0
221 ; CHECK-NEXT: .byte 1
222 ; CHECK-NEXT: .byte 8
223 ; CHECK-NEXT: .short {{[0-9]+}}
224 ; CHECK-NEXT: .long 0
226 ; CHECK-NEXT: .byte 1
227 ; CHECK-NEXT: .byte 8
228 ; CHECK-NEXT: .short {{[0-9]+}}
229 ; CHECK-NEXT: .long 0
231 ; CHECK-NEXT: .byte 1
232 ; CHECK-NEXT: .byte 8
233 ; CHECK-NEXT: .short {{[0-9]+}}
234 ; CHECK-NEXT: .long 0
236 ; CHECK-NEXT: .byte 1
237 ; CHECK-NEXT: .byte 8
238 ; CHECK-NEXT: .short {{[0-9]+}}
239 ; CHECK-NEXT: .long 0
241 ; CHECK-NEXT: .byte 1
242 ; CHECK-NEXT: .byte 8
243 ; CHECK-NEXT: .short {{[0-9]+}}
244 ; CHECK-NEXT: .long 0
246 ; CHECK-NEXT: .byte 1
247 ; CHECK-NEXT: .byte 8
248 ; CHECK-NEXT: .short {{[0-9]+}}
249 ; CHECK-NEXT: .long 0
251 ; CHECK-NEXT: .byte 1
252 ; CHECK-NEXT: .byte 8
253 ; CHECK-NEXT: .short {{[0-9]+}}
254 ; CHECK-NEXT: .long 0
256 ; CHECK-NEXT: .byte 1
257 ; CHECK-NEXT: .byte 8
258 ; CHECK-NEXT: .short {{[0-9]+}}
259 ; CHECK-NEXT: .long 0
261 ; CHECK-NEXT: .byte 1
262 ; CHECK-NEXT: .byte 8
263 ; CHECK-NEXT: .short {{[0-9]+}}
264 ; CHECK-NEXT: .long 0
266 ; CHECK-NEXT: .byte 1
267 ; CHECK-NEXT: .byte 8
268 ; CHECK-NEXT: .short {{[0-9]+}}
269 ; CHECK-NEXT: .long 0
270 define i64 @anyreg_test2(i8* %a1, i8* %a2, i8* %a3, i8* %a4, i8* %a5, i8* %a6, i8* %a7, i8* %a8, i8* %a9, i8* %a10, i8* %a11, i8* %a12, i8* %a13) nounwind ssp uwtable {
272 %f = inttoptr i64 12297829382473034410 to i8*
273 %ret = call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 5, i32 15, i8* %f, i32 8, i8* %a1, i8* %a2, i8* %a3, i8* %a4, i8* %a5, i8* %a6, i8* %a7, i8* %a8, i8* %a9, i8* %a10, i8* %a11, i8* %a12, i8* %a13)
277 ; Test spilling the return value of an anyregcc call.
279 ; <rdar://problem/15432754> [JS] Assertion: "Folded a def to a non-store!"
281 ; CHECK-LABEL: .long 12
282 ; CHECK-LABEL: .long L{{.*}}-_patchpoint_spilldef
283 ; CHECK-NEXT: .short 0
284 ; CHECK-NEXT: .short 3
285 ; Loc 0: Register (some register that will be spilled to the stack)
286 ; CHECK-NEXT: .byte 1
287 ; CHECK-NEXT: .byte 8
288 ; CHECK-NEXT: .short {{[0-9]+}}
289 ; CHECK-NEXT: .long 0
290 ; Loc 1: Register RDI
291 ; CHECK-NEXT: .byte 1
292 ; CHECK-NEXT: .byte 8
293 ; CHECK-NEXT: .short 5
294 ; CHECK-NEXT: .long 0
295 ; Loc 1: Register RSI
296 ; CHECK-NEXT: .byte 1
297 ; CHECK-NEXT: .byte 8
298 ; CHECK-NEXT: .short 4
299 ; CHECK-NEXT: .long 0
300 define i64 @patchpoint_spilldef(i64 %p1, i64 %p2, i64 %p3, i64 %p4) {
302 %result = tail call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 12, i32 15, i8* inttoptr (i64 0 to i8*), i32 2, i64 %p1, i64 %p2)
303 tail call void asm sideeffect "nop", "~{ax},~{bx},~{cx},~{dx},~{bp},~{si},~{di},~{r8},~{r9},~{r10},~{r11},~{r12},~{r13},~{r14},~{r15}"() nounwind
307 ; Test spilling the arguments of an anyregcc call.
309 ; <rdar://problem/15487687> [JS] AnyRegCC argument ends up being spilled
311 ; CHECK-LABEL: .long 13
312 ; CHECK-LABEL: .long L{{.*}}-_patchpoint_spillargs
313 ; CHECK-NEXT: .short 0
314 ; CHECK-NEXT: .short 5
315 ; Loc 0: Return a register
316 ; CHECK-NEXT: .byte 1
317 ; CHECK-NEXT: .byte 8
318 ; CHECK-NEXT: .short {{[0-9]+}}
319 ; CHECK-NEXT: .long 0
320 ; Loc 1: Arg0 in a Register
321 ; CHECK-NEXT: .byte 1
322 ; CHECK-NEXT: .byte 8
323 ; CHECK-NEXT: .short {{[0-9]+}}
324 ; CHECK-NEXT: .long 0
325 ; Loc 2: Arg1 in a Register
326 ; CHECK-NEXT: .byte 1
327 ; CHECK-NEXT: .byte 8
328 ; CHECK-NEXT: .short {{[0-9]+}}
329 ; CHECK-NEXT: .long 0
330 ; Loc 3: Arg2 spilled to RBP +
331 ; CHECK-NEXT: .byte 3
332 ; CHECK-NEXT: .byte 8
333 ; CHECK-NEXT: .short 6
335 ; Loc 4: Arg3 spilled to RBP +
336 ; CHECK-NEXT: .byte 3
337 ; CHECK-NEXT: .byte 8
338 ; CHECK-NEXT: .short 6
340 define i64 @patchpoint_spillargs(i64 %p1, i64 %p2, i64 %p3, i64 %p4) {
342 tail call void asm sideeffect "nop", "~{ax},~{bx},~{cx},~{dx},~{bp},~{si},~{di},~{r8},~{r9},~{r10},~{r11},~{r12},~{r13},~{r14},~{r15}"() nounwind
343 %result = tail call anyregcc i64 (i32, i32, i8*, i32, ...)* @llvm.experimental.patchpoint.i64(i32 13, i32 15, i8* inttoptr (i64 0 to i8*), i32 2, i64 %p1, i64 %p2, i64 %p3, i64 %p4)
347 declare void @llvm.experimental.patchpoint.void(i32, i32, i8*, i32, ...)
348 declare i64 @llvm.experimental.patchpoint.i64(i32, i32, i8*, i32, ...)