1 ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -verify-machineinstrs | FileCheck %s -check-prefix=X32-Linux
2 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux
3 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -verify-machineinstrs | FileCheck %s -check-prefix=X32ABI
4 ; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -verify-machineinstrs | FileCheck %s -check-prefix=X32-Darwin
5 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -verify-machineinstrs | FileCheck %s -check-prefix=X64-Darwin
6 ; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -verify-machineinstrs | FileCheck %s -check-prefix=X32-MinGW
7 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -verify-machineinstrs | FileCheck %s -check-prefix=X64-FreeBSD
8 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -verify-machineinstrs | FileCheck %s -check-prefix=X64-MinGW
10 ; We used to crash with filetype=obj
11 ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -filetype=obj
12 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -filetype=obj
13 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -filetype=obj
14 ; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -filetype=obj
15 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -filetype=obj
16 ; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -filetype=obj
17 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -filetype=obj
18 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -filetype=obj
20 ; RUN: not llc < %s -mcpu=generic -mtriple=x86_64-solaris 2> %t.log
21 ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-Solaris
22 ; RUN: not llc < %s -mcpu=generic -mtriple=i686-freebsd 2> %t.log
23 ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X32-FreeBSD
25 ; X64-Solaris: Segmented stacks not supported on this platform
26 ; X32-FreeBSD: Segmented stacks not supported on FreeBSD i386
28 ; Just to prevent the alloca from being optimized away
29 declare void @dummy_use(i32*, i32)
31 define void @test_basic() #0 {
32 %mem = alloca i32, i32 10
33 call void @dummy_use (i32* %mem, i32 10)
36 ; X32-Linux-LABEL: test_basic:
38 ; X32-Linux: cmpl %gs:48, %esp
39 ; X32-Linux-NEXT: ja .LBB0_2
42 ; X32-Linux-NEXT: pushl $60
43 ; X32-Linux-NEXT: calll __morestack
46 ; X64-Linux-LABEL: test_basic:
48 ; X64-Linux: cmpq %fs:112, %rsp
49 ; X64-Linux-NEXT: ja .LBB0_2
51 ; X64-Linux: movabsq $40, %r10
52 ; X64-Linux-NEXT: movabsq $0, %r11
53 ; X64-Linux-NEXT: callq __morestack
56 ; X32ABI-LABEL: test_basic:
58 ; X32ABI: cmpl %fs:64, %esp
59 ; X32ABI-NEXT: ja .LBB0_2
61 ; X32ABI: movl $40, %r10d
62 ; X32ABI-NEXT: movl $0, %r11d
63 ; X32ABI-NEXT: callq __morestack
66 ; X32-Darwin-LABEL: test_basic:
68 ; X32-Darwin: movl $432, %ecx
69 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %esp
70 ; X32-Darwin-NEXT: ja LBB0_2
72 ; X32-Darwin: pushl $0
73 ; X32-Darwin-NEXT: pushl $60
74 ; X32-Darwin-NEXT: calll ___morestack
75 ; X32-Darwin-NEXT: ret
77 ; X64-Darwin-LABEL: test_basic:
79 ; X64-Darwin: cmpq %gs:816, %rsp
80 ; X64-Darwin-NEXT: ja LBB0_2
82 ; X64-Darwin: movabsq $40, %r10
83 ; X64-Darwin-NEXT: movabsq $0, %r11
84 ; X64-Darwin-NEXT: callq ___morestack
85 ; X64-Darwin-NEXT: ret
87 ; X32-MinGW-LABEL: test_basic:
89 ; X32-MinGW: cmpl %fs:20, %esp
90 ; X32-MinGW-NEXT: ja LBB0_2
93 ; X32-MinGW-NEXT: pushl $48
94 ; X32-MinGW-NEXT: calll ___morestack
97 ; X64-MinGW-LABEL: test_basic:
99 ; X64-MinGW: cmpq %gs:40, %rsp
100 ; X64-MinGW-NEXT: ja .LBB0_2
102 ; X64-MinGW: movabsq $72, %r10
103 ; X64-MinGW-NEXT: movabsq $32, %r11
104 ; X64-MinGW-NEXT: callq __morestack
105 ; X64-MinGW-NEXT: retq
107 ; X64-FreeBSD-LABEL: test_basic:
109 ; X64-FreeBSD: cmpq %fs:24, %rsp
110 ; X64-FreeBSD-NEXT: ja .LBB0_2
112 ; X64-FreeBSD: movabsq $40, %r10
113 ; X64-FreeBSD-NEXT: movabsq $0, %r11
114 ; X64-FreeBSD-NEXT: callq __morestack
115 ; X64-FreeBSD-NEXT: ret
119 define i32 @test_nested(i32 * nest %closure, i32 %other) #0 {
120 %addend = load i32 * %closure
121 %result = add i32 %other, %addend
122 %mem = alloca i32, i32 10
123 call void @dummy_use (i32* %mem, i32 10)
126 ; X32-Linux: cmpl %gs:48, %esp
127 ; X32-Linux-NEXT: ja .LBB1_2
129 ; X32-Linux: pushl $4
130 ; X32-Linux-NEXT: pushl $60
131 ; X32-Linux-NEXT: calll __morestack
132 ; X32-Linux-NEXT: ret
134 ; X64-Linux: cmpq %fs:112, %rsp
135 ; X64-Linux-NEXT: ja .LBB1_2
137 ; X64-Linux: movq %r10, %rax
138 ; X64-Linux-NEXT: movabsq $56, %r10
139 ; X64-Linux-NEXT: movabsq $0, %r11
140 ; X64-Linux-NEXT: callq __morestack
141 ; X64-Linux-NEXT: ret
142 ; X64-Linux-NEXT: movq %rax, %r10
144 ; X32ABI: cmpl %fs:64, %esp
145 ; X32ABI-NEXT: ja .LBB1_2
147 ; X32ABI: movl %r10d, %eax
148 ; X32ABI-NEXT: movl $56, %r10d
149 ; X32ABI-NEXT: movl $0, %r11d
150 ; X32ABI-NEXT: callq __morestack
152 ; X32ABI-NEXT: movq %rax, %r10
154 ; X32-Darwin: movl $432, %edx
155 ; X32-Darwin-NEXT: cmpl %gs:(%edx), %esp
156 ; X32-Darwin-NEXT: ja LBB1_2
158 ; X32-Darwin: pushl $4
159 ; X32-Darwin-NEXT: pushl $60
160 ; X32-Darwin-NEXT: calll ___morestack
161 ; X32-Darwin-NEXT: ret
163 ; X64-Darwin: cmpq %gs:816, %rsp
164 ; X64-Darwin-NEXT: ja LBB1_2
166 ; X64-Darwin: movq %r10, %rax
167 ; X64-Darwin-NEXT: movabsq $56, %r10
168 ; X64-Darwin-NEXT: movabsq $0, %r11
169 ; X64-Darwin-NEXT: callq ___morestack
170 ; X64-Darwin-NEXT: ret
171 ; X64-Darwin-NEXT: movq %rax, %r10
173 ; X32-MinGW: cmpl %fs:20, %esp
174 ; X32-MinGW-NEXT: ja LBB1_2
176 ; X32-MinGW: pushl $4
177 ; X32-MinGW-NEXT: pushl $52
178 ; X32-MinGW-NEXT: calll ___morestack
179 ; X32-MinGW-NEXT: ret
181 ; X64-MinGW-LABEL: test_nested:
182 ; X64-MinGW: cmpq %gs:40, %rsp
183 ; X64-MinGW-NEXT: ja .LBB1_2
185 ; X64-MinGW: movq %r10, %rax
186 ; X64-MinGW-NEXT: movabsq $88, %r10
187 ; X64-MinGW-NEXT: movabsq $32, %r11
188 ; X64-MinGW-NEXT: callq __morestack
189 ; X64-MinGW-NEXT: retq
190 ; X64-MinGW-NEXT: movq %rax, %r10
192 ; X64-FreeBSD: cmpq %fs:24, %rsp
193 ; X64-FreeBSD-NEXT: ja .LBB1_2
195 ; X64-FreeBSD: movq %r10, %rax
196 ; X64-FreeBSD-NEXT: movabsq $56, %r10
197 ; X64-FreeBSD-NEXT: movabsq $0, %r11
198 ; X64-FreeBSD-NEXT: callq __morestack
199 ; X64-FreeBSD-NEXT: ret
200 ; X64-FreeBSD-NEXT: movq %rax, %r10
204 define void @test_large() #0 {
205 %mem = alloca i32, i32 10000
206 call void @dummy_use (i32* %mem, i32 0)
209 ; X32-Linux: leal -40012(%esp), %ecx
210 ; X32-Linux-NEXT: cmpl %gs:48, %ecx
211 ; X32-Linux-NEXT: ja .LBB2_2
213 ; X32-Linux: pushl $0
214 ; X32-Linux-NEXT: pushl $40012
215 ; X32-Linux-NEXT: calll __morestack
216 ; X32-Linux-NEXT: ret
218 ; X64-Linux: leaq -40008(%rsp), %r11
219 ; X64-Linux-NEXT: cmpq %fs:112, %r11
220 ; X64-Linux-NEXT: ja .LBB2_2
222 ; X64-Linux: movabsq $40008, %r10
223 ; X64-Linux-NEXT: movabsq $0, %r11
224 ; X64-Linux-NEXT: callq __morestack
225 ; X64-Linux-NEXT: ret
227 ; X32ABI: leal -40008(%rsp), %r11d
228 ; X32ABI-NEXT: cmpl %fs:64, %r11d
229 ; X32ABI-NEXT: ja .LBB2_2
231 ; X32ABI: movl $40008, %r10d
232 ; X32ABI-NEXT: movl $0, %r11d
233 ; X32ABI-NEXT: callq __morestack
236 ; X32-Darwin: leal -40012(%esp), %ecx
237 ; X32-Darwin-NEXT: movl $432, %eax
238 ; X32-Darwin-NEXT: cmpl %gs:(%eax), %ecx
239 ; X32-Darwin-NEXT: ja LBB2_2
241 ; X32-Darwin: pushl $0
242 ; X32-Darwin-NEXT: pushl $40012
243 ; X32-Darwin-NEXT: calll ___morestack
244 ; X32-Darwin-NEXT: ret
246 ; X64-Darwin: leaq -40008(%rsp), %r11
247 ; X64-Darwin-NEXT: cmpq %gs:816, %r11
248 ; X64-Darwin-NEXT: ja LBB2_2
250 ; X64-Darwin: movabsq $40008, %r10
251 ; X64-Darwin-NEXT: movabsq $0, %r11
252 ; X64-Darwin-NEXT: callq ___morestack
253 ; X64-Darwin-NEXT: ret
255 ; X32-MinGW: leal -40008(%esp), %ecx
256 ; X32-MinGW-NEXT: cmpl %fs:20, %ecx
257 ; X32-MinGW-NEXT: ja LBB2_2
259 ; X32-MinGW: pushl $0
260 ; X32-MinGW-NEXT: pushl $40008
261 ; X32-MinGW-NEXT: calll ___morestack
262 ; X32-MinGW-NEXT: ret
264 ; X64-MinGW-LABEL: test_large:
265 ; X64-MinGW: leaq -40040(%rsp), %r11
266 ; X64-MinGW-NEXT: cmpq %gs:40, %r11
267 ; X64-MinGW-NEXT: ja .LBB2_2
269 ; X64-MinGW: movabsq $40040, %r10
270 ; X64-MinGW-NEXT: movabsq $32, %r11
271 ; X64-MinGW-NEXT: callq __morestack
272 ; X64-MinGW-NEXT: retq
274 ; X64-FreeBSD: leaq -40008(%rsp), %r11
275 ; X64-FreeBSD-NEXT: cmpq %fs:24, %r11
276 ; X64-FreeBSD-NEXT: ja .LBB2_2
278 ; X64-FreeBSD: movabsq $40008, %r10
279 ; X64-FreeBSD-NEXT: movabsq $0, %r11
280 ; X64-FreeBSD-NEXT: callq __morestack
281 ; X64-FreeBSD-NEXT: ret
285 define fastcc void @test_fastcc() #0 {
286 %mem = alloca i32, i32 10
287 call void @dummy_use (i32* %mem, i32 10)
290 ; X32-Linux-LABEL: test_fastcc:
292 ; X32-Linux: cmpl %gs:48, %esp
293 ; X32-Linux-NEXT: ja .LBB3_2
295 ; X32-Linux: pushl $0
296 ; X32-Linux-NEXT: pushl $60
297 ; X32-Linux-NEXT: calll __morestack
298 ; X32-Linux-NEXT: ret
300 ; X64-Linux-LABEL: test_fastcc:
302 ; X64-Linux: cmpq %fs:112, %rsp
303 ; X64-Linux-NEXT: ja .LBB3_2
305 ; X64-Linux: movabsq $40, %r10
306 ; X64-Linux-NEXT: movabsq $0, %r11
307 ; X64-Linux-NEXT: callq __morestack
308 ; X64-Linux-NEXT: ret
310 ; X32ABI-LABEL: test_fastcc:
312 ; X32ABI: cmpl %fs:64, %esp
313 ; X32ABI-NEXT: ja .LBB3_2
315 ; X32ABI: movl $40, %r10d
316 ; X32ABI-NEXT: movl $0, %r11d
317 ; X32ABI-NEXT: callq __morestack
320 ; X32-Darwin-LABEL: test_fastcc:
322 ; X32-Darwin: movl $432, %eax
323 ; X32-Darwin-NEXT: cmpl %gs:(%eax), %esp
324 ; X32-Darwin-NEXT: ja LBB3_2
326 ; X32-Darwin: pushl $0
327 ; X32-Darwin-NEXT: pushl $60
328 ; X32-Darwin-NEXT: calll ___morestack
329 ; X32-Darwin-NEXT: ret
331 ; X64-Darwin-LABEL: test_fastcc:
333 ; X64-Darwin: cmpq %gs:816, %rsp
334 ; X64-Darwin-NEXT: ja LBB3_2
336 ; X64-Darwin: movabsq $40, %r10
337 ; X64-Darwin-NEXT: movabsq $0, %r11
338 ; X64-Darwin-NEXT: callq ___morestack
339 ; X64-Darwin-NEXT: ret
341 ; X32-MinGW-LABEL: test_fastcc:
343 ; X32-MinGW: cmpl %fs:20, %esp
344 ; X32-MinGW-NEXT: ja LBB3_2
346 ; X32-MinGW: pushl $0
347 ; X32-MinGW-NEXT: pushl $48
348 ; X32-MinGW-NEXT: calll ___morestack
349 ; X32-MinGW-NEXT: ret
351 ; X64-MinGW-LABEL: test_fastcc:
353 ; X64-MinGW: cmpq %gs:40, %rsp
354 ; X64-MinGW-NEXT: ja .LBB3_2
356 ; X64-MinGW: movabsq $72, %r10
357 ; X64-MinGW-NEXT: movabsq $32, %r11
358 ; X64-MinGW-NEXT: callq __morestack
359 ; X64-MinGW-NEXT: retq
361 ; X64-FreeBSD-LABEL: test_fastcc:
363 ; X64-FreeBSD: cmpq %fs:24, %rsp
364 ; X64-FreeBSD-NEXT: ja .LBB3_2
366 ; X64-FreeBSD: movabsq $40, %r10
367 ; X64-FreeBSD-NEXT: movabsq $0, %r11
368 ; X64-FreeBSD-NEXT: callq __morestack
369 ; X64-FreeBSD-NEXT: ret
373 define fastcc void @test_fastcc_large() #0 {
374 %mem = alloca i32, i32 10000
375 call void @dummy_use (i32* %mem, i32 0)
378 ; X32-Linux-LABEL: test_fastcc_large:
380 ; X32-Linux: leal -40012(%esp), %eax
381 ; X32-Linux-NEXT: cmpl %gs:48, %eax
382 ; X32-Linux-NEXT: ja .LBB4_2
384 ; X32-Linux: pushl $0
385 ; X32-Linux-NEXT: pushl $40012
386 ; X32-Linux-NEXT: calll __morestack
387 ; X32-Linux-NEXT: ret
389 ; X64-Linux-LABEL: test_fastcc_large:
391 ; X64-Linux: leaq -40008(%rsp), %r11
392 ; X64-Linux-NEXT: cmpq %fs:112, %r11
393 ; X64-Linux-NEXT: ja .LBB4_2
395 ; X64-Linux: movabsq $40008, %r10
396 ; X64-Linux-NEXT: movabsq $0, %r11
397 ; X64-Linux-NEXT: callq __morestack
398 ; X64-Linux-NEXT: ret
400 ; X32ABI-LABEL: test_fastcc_large:
402 ; X32ABI: leal -40008(%rsp), %r11d
403 ; X32ABI-NEXT: cmpl %fs:64, %r11d
404 ; X32ABI-NEXT: ja .LBB4_2
406 ; X32ABI: movl $40008, %r10d
407 ; X32ABI-NEXT: movl $0, %r11d
408 ; X32ABI-NEXT: callq __morestack
411 ; X32-Darwin-LABEL: test_fastcc_large:
413 ; X32-Darwin: leal -40012(%esp), %eax
414 ; X32-Darwin-NEXT: movl $432, %ecx
415 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax
416 ; X32-Darwin-NEXT: ja LBB4_2
418 ; X32-Darwin: pushl $0
419 ; X32-Darwin-NEXT: pushl $40012
420 ; X32-Darwin-NEXT: calll ___morestack
421 ; X32-Darwin-NEXT: ret
423 ; X64-Darwin-LABEL: test_fastcc_large:
425 ; X64-Darwin: leaq -40008(%rsp), %r11
426 ; X64-Darwin-NEXT: cmpq %gs:816, %r11
427 ; X64-Darwin-NEXT: ja LBB4_2
429 ; X64-Darwin: movabsq $40008, %r10
430 ; X64-Darwin-NEXT: movabsq $0, %r11
431 ; X64-Darwin-NEXT: callq ___morestack
432 ; X64-Darwin-NEXT: ret
434 ; X32-MinGW-LABEL: test_fastcc_large:
436 ; X32-MinGW: leal -40008(%esp), %eax
437 ; X32-MinGW-NEXT: cmpl %fs:20, %eax
438 ; X32-MinGW-NEXT: ja LBB4_2
440 ; X32-MinGW: pushl $0
441 ; X32-MinGW-NEXT: pushl $40008
442 ; X32-MinGW-NEXT: calll ___morestack
443 ; X32-MinGW-NEXT: ret
445 ; X64-MinGW-LABEL: test_fastcc_large:
447 ; X64-MinGW: leaq -40040(%rsp), %r11
448 ; X64-MinGW-NEXT: cmpq %gs:40, %r11
449 ; X64-MinGW-NEXT: ja .LBB4_2
451 ; X64-MinGW: movabsq $40040, %r10
452 ; X64-MinGW-NEXT: movabsq $32, %r11
453 ; X64-MinGW-NEXT: callq __morestack
454 ; X64-MinGW-NEXT: retq
456 ; X64-FreeBSD-LABEL: test_fastcc_large:
458 ; X64-FreeBSD: leaq -40008(%rsp), %r11
459 ; X64-FreeBSD-NEXT: cmpq %fs:24, %r11
460 ; X64-FreeBSD-NEXT: ja .LBB4_2
462 ; X64-FreeBSD: movabsq $40008, %r10
463 ; X64-FreeBSD-NEXT: movabsq $0, %r11
464 ; X64-FreeBSD-NEXT: callq __morestack
465 ; X64-FreeBSD-NEXT: ret
469 define fastcc void @test_fastcc_large_with_ecx_arg(i32 %a) #0 {
470 %mem = alloca i32, i32 10000
471 call void @dummy_use (i32* %mem, i32 %a)
474 ; This is testing that the Mac implementation preserves ecx
476 ; X32-Darwin-LABEL: test_fastcc_large_with_ecx_arg:
478 ; X32-Darwin: leal -40012(%esp), %eax
479 ; X32-Darwin-NEXT: pushl %ecx
480 ; X32-Darwin-NEXT: movl $432, %ecx
481 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax
482 ; X32-Darwin-NEXT: popl %ecx
483 ; X32-Darwin-NEXT: ja LBB5_2
485 ; X32-Darwin: pushl $0
486 ; X32-Darwin-NEXT: pushl $40012
487 ; X32-Darwin-NEXT: calll ___morestack
488 ; X32-Darwin-NEXT: ret
492 define void @test_nostack() #0 {
495 ; X32-Linux-LABEL: test_nostack:
496 ; X32-Linux-NOT: calll __morestack
498 ; X64-Linux-LABEL: test_nostack:
499 ; X32-Linux-NOT: callq __morestack
501 ; X32ABI-LABEL: test_nostack:
502 ; X32ABI-NOT: callq __morestack
504 ; X32-Darwin-LABEL: test_nostack:
505 ; X32-Darwin-NOT: calll __morestack
507 ; X64-Darwin-LABEL: test_nostack:
508 ; X64-Darwin-NOT: callq __morestack
510 ; X32-MinGW-LABEL: test_nostack:
511 ; X32-MinGW-NOT: calll __morestack
513 ; X64-MinGW-LABEL: test_nostack:
514 ; X64-MinGW-NOT: callq __morestack
516 ; X64-FreeBSD-LABEL: test_nostack:
517 ; X64-FreeBSD-NOT: callq __morestack
520 attributes #0 = { "split-stack" }