| ; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32-Linux |
| ; RUN: llc < %s -mtriple=x86_64-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux |
| ; RUN: llc < %s -mtriple=i686-darwin -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32-Darwin |
| ; RUN: llc < %s -mtriple=x86_64-darwin -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64-Darwin |
| |
| ; We used to crash with filetype=obj |
| ; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -filetype=obj |
| ; RUN: llc < %s -mtriple=x86_64-linux -segmented-stacks -filetype=obj |
| ; RUN: llc < %s -mtriple=i686-darwin -segmented-stacks -filetype=obj |
| ; RUN: llc < %s -mtriple=x86_64-darwin -segmented-stacks -filetype=obj |
| |
| ; Just to prevent the alloca from being optimized away |
| declare void @dummy_use(i32*, i32) |
| |
| define void @test_basic() { |
| %mem = alloca i32, i32 10 |
| call void @dummy_use (i32* %mem, i32 10) |
| ret void |
| |
| ; X32-Linux: test_basic: |
| |
| ; X32-Linux: cmpl %gs:48, %esp |
| ; X32-Linux-NEXT: ja .LBB0_2 |
| |
| ; X32-Linux: pushl $0 |
| ; X32-Linux-NEXT: pushl $60 |
| ; X32-Linux-NEXT: calll __morestack |
| ; X32-Linux-NEXT: ret |
| |
| ; X64-Linux: test_basic: |
| |
| ; X64-Linux: cmpq %fs:112, %rsp |
| ; X64-Linux-NEXT: ja .LBB0_2 |
| |
| ; X64-Linux: movabsq $40, %r10 |
| ; X64-Linux-NEXT: movabsq $0, %r11 |
| ; X64-Linux-NEXT: callq __morestack |
| ; X64-Linux-NEXT: ret |
| |
| ; X32-Darwin: test_basic: |
| |
| ; X32-Darwin: movl $432, %ecx |
| ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %esp |
| ; X32-Darwin-NEXT: ja LBB0_2 |
| |
| ; X32-Darwin: pushl $0 |
| ; X32-Darwin-NEXT: pushl $60 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| ; X64-Darwin: test_basic: |
| |
| ; X64-Darwin: cmpq %gs:816, %rsp |
| ; X64-Darwin-NEXT: ja LBB0_2 |
| |
| ; X64-Darwin: movabsq $40, %r10 |
| ; X64-Darwin-NEXT: movabsq $0, %r11 |
| ; X64-Darwin-NEXT: callq ___morestack |
| ; X64-Darwin-NEXT: ret |
| |
| } |
| |
| define i32 @test_nested(i32 * nest %closure, i32 %other) { |
| %addend = load i32 * %closure |
| %result = add i32 %other, %addend |
| ret i32 %result |
| |
| ; X32-Linux: cmpl %gs:48, %esp |
| ; X32-Linux-NEXT: ja .LBB1_2 |
| |
| ; X32-Linux: pushl $4 |
| ; X32-Linux-NEXT: pushl $0 |
| ; X32-Linux-NEXT: calll __morestack |
| ; X32-Linux-NEXT: ret |
| |
| ; X64-Linux: cmpq %fs:112, %rsp |
| ; X64-Linux-NEXT: ja .LBB1_2 |
| |
| ; X64-Linux: movq %r10, %rax |
| ; X64-Linux-NEXT: movabsq $0, %r10 |
| ; X64-Linux-NEXT: movabsq $0, %r11 |
| ; X64-Linux-NEXT: callq __morestack |
| ; X64-Linux-NEXT: ret |
| ; X64-Linux-NEXT: movq %rax, %r10 |
| |
| ; X32-Darwin: movl $432, %edx |
| ; X32-Darwin-NEXT: cmpl %gs:(%edx), %esp |
| ; X32-Darwin-NEXT: ja LBB1_2 |
| |
| ; X32-Darwin: pushl $4 |
| ; X32-Darwin-NEXT: pushl $0 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| ; X64-Darwin: cmpq %gs:816, %rsp |
| ; X64-Darwin-NEXT: ja LBB1_2 |
| |
| ; X64-Darwin: movq %r10, %rax |
| ; X64-Darwin-NEXT: movabsq $0, %r10 |
| ; X64-Darwin-NEXT: movabsq $0, %r11 |
| ; X64-Darwin-NEXT: callq ___morestack |
| ; X64-Darwin-NEXT: ret |
| ; X64-Darwin-NEXT: movq %rax, %r10 |
| |
| } |
| |
| define void @test_large() { |
| %mem = alloca i32, i32 10000 |
| call void @dummy_use (i32* %mem, i32 0) |
| ret void |
| |
| ; X32-Linux: leal -40012(%esp), %ecx |
| ; X32-Linux-NEXT: cmpl %gs:48, %ecx |
| ; X32-Linux-NEXT: ja .LBB2_2 |
| |
| ; X32-Linux: pushl $0 |
| ; X32-Linux-NEXT: pushl $40012 |
| ; X32-Linux-NEXT: calll __morestack |
| ; X32-Linux-NEXT: ret |
| |
| ; X64-Linux: leaq -40008(%rsp), %r11 |
| ; X64-Linux-NEXT: cmpq %fs:112, %r11 |
| ; X64-Linux-NEXT: ja .LBB2_2 |
| |
| ; X64-Linux: movabsq $40008, %r10 |
| ; X64-Linux-NEXT: movabsq $0, %r11 |
| ; X64-Linux-NEXT: callq __morestack |
| ; X64-Linux-NEXT: ret |
| |
| ; X32-Darwin: leal -40012(%esp), %ecx |
| ; X32-Darwin-NEXT: movl $432, %eax |
| ; X32-Darwin-NEXT: cmpl %gs:(%eax), %ecx |
| ; X32-Darwin-NEXT: ja LBB2_2 |
| |
| ; X32-Darwin: pushl $0 |
| ; X32-Darwin-NEXT: pushl $40012 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| ; X64-Darwin: leaq -40008(%rsp), %r11 |
| ; X64-Darwin-NEXT: cmpq %gs:816, %r11 |
| ; X64-Darwin-NEXT: ja LBB2_2 |
| |
| ; X64-Darwin: movabsq $40008, %r10 |
| ; X64-Darwin-NEXT: movabsq $0, %r11 |
| ; X64-Darwin-NEXT: callq ___morestack |
| ; X64-Darwin-NEXT: ret |
| |
| } |
| |
| define fastcc void @test_fastcc() { |
| %mem = alloca i32, i32 10 |
| call void @dummy_use (i32* %mem, i32 10) |
| ret void |
| |
| ; X32-Linux: test_fastcc: |
| |
| ; X32-Linux: cmpl %gs:48, %esp |
| ; X32-Linux-NEXT: ja .LBB3_2 |
| |
| ; X32-Linux: pushl $0 |
| ; X32-Linux-NEXT: pushl $60 |
| ; X32-Linux-NEXT: calll __morestack |
| ; X32-Linux-NEXT: ret |
| |
| ; X64-Linux: test_fastcc: |
| |
| ; X64-Linux: cmpq %fs:112, %rsp |
| ; X64-Linux-NEXT: ja .LBB3_2 |
| |
| ; X64-Linux: movabsq $40, %r10 |
| ; X64-Linux-NEXT: movabsq $0, %r11 |
| ; X64-Linux-NEXT: callq __morestack |
| ; X64-Linux-NEXT: ret |
| |
| ; X32-Darwin: test_fastcc: |
| |
| ; X32-Darwin: movl $432, %eax |
| ; X32-Darwin-NEXT: cmpl %gs:(%eax), %esp |
| ; X32-Darwin-NEXT: ja LBB3_2 |
| |
| ; X32-Darwin: pushl $0 |
| ; X32-Darwin-NEXT: pushl $60 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| ; X64-Darwin: test_fastcc: |
| |
| ; X64-Darwin: cmpq %gs:816, %rsp |
| ; X64-Darwin-NEXT: ja LBB3_2 |
| |
| ; X64-Darwin: movabsq $40, %r10 |
| ; X64-Darwin-NEXT: movabsq $0, %r11 |
| ; X64-Darwin-NEXT: callq ___morestack |
| ; X64-Darwin-NEXT: ret |
| |
| } |
| |
| define fastcc void @test_fastcc_large() { |
| %mem = alloca i32, i32 10000 |
| call void @dummy_use (i32* %mem, i32 0) |
| ret void |
| |
| ; X32-Linux: test_fastcc_large: |
| |
| ; X32-Linux: leal -40012(%esp), %eax |
| ; X32-Linux-NEXT: cmpl %gs:48, %eax |
| ; X32-Linux-NEXT: ja .LBB4_2 |
| |
| ; X32-Linux: pushl $0 |
| ; X32-Linux-NEXT: pushl $40012 |
| ; X32-Linux-NEXT: calll __morestack |
| ; X32-Linux-NEXT: ret |
| |
| ; X64-Linux: test_fastcc_large: |
| |
| ; X64-Linux: leaq -40008(%rsp), %r11 |
| ; X64-Linux-NEXT: cmpq %fs:112, %r11 |
| ; X64-Linux-NEXT: ja .LBB4_2 |
| |
| ; X64-Linux: movabsq $40008, %r10 |
| ; X64-Linux-NEXT: movabsq $0, %r11 |
| ; X64-Linux-NEXT: callq __morestack |
| ; X64-Linux-NEXT: ret |
| |
| ; X32-Darwin: test_fastcc_large: |
| |
| ; X32-Darwin: leal -40012(%esp), %eax |
| ; X32-Darwin-NEXT: movl $432, %ecx |
| ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax |
| ; X32-Darwin-NEXT: ja LBB4_2 |
| |
| ; X32-Darwin: pushl $0 |
| ; X32-Darwin-NEXT: pushl $40012 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| ; X64-Darwin: test_fastcc_large: |
| |
| ; X64-Darwin: leaq -40008(%rsp), %r11 |
| ; X64-Darwin-NEXT: cmpq %gs:816, %r11 |
| ; X64-Darwin-NEXT: ja LBB4_2 |
| |
| ; X64-Darwin: movabsq $40008, %r10 |
| ; X64-Darwin-NEXT: movabsq $0, %r11 |
| ; X64-Darwin-NEXT: callq ___morestack |
| ; X64-Darwin-NEXT: ret |
| |
| } |
| |
| define fastcc void @test_fastcc_large_with_ecx_arg(i32 %a) { |
| %mem = alloca i32, i32 10000 |
| call void @dummy_use (i32* %mem, i32 %a) |
| ret void |
| |
| ; This is testing that the Mac implementation preserves ecx |
| |
| ; X32-Darwin: test_fastcc_large_with_ecx_arg: |
| |
| ; X32-Darwin: leal -40012(%esp), %eax |
| ; X32-Darwin-NEXT: pushl %ecx |
| ; X32-Darwin-NEXT: movl $432, %ecx |
| ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax |
| ; X32-Darwin-NEXT: popl %ecx |
| ; X32-Darwin-NEXT: ja LBB5_2 |
| |
| ; X32-Darwin: pushl $0 |
| ; X32-Darwin-NEXT: pushl $40012 |
| ; X32-Darwin-NEXT: calll ___morestack |
| ; X32-Darwin-NEXT: ret |
| |
| } |