mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-16 11:30:51 +00:00
d8ae3e1fee
Under the large code model, we cannot assume that __morestack lives within 2^31 bytes of the call site, so we cannot use pc-relative addressing. We cannot perform the call via a temporary register, as the rax register may be used to store the static chain, and all other suitable registers may be either callee-save or used for parameter passing. We cannot use the stack at this point either because __morestack manipulates the stack directly. To avoid these issues, perform an indirect call via a read-only memory location containing the address. This solution is not perfect, as it assumes that the .rodata section is laid out within 2^31 bytes of each function body, but this seems to be sufficient for JIT. Differential Revision: http://reviews.llvm.org/D6787 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225003 91177308-0d34-0410-b5e6-96231b3b80d8
644 lines
18 KiB
LLVM
644 lines
18 KiB
LLVM
; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -verify-machineinstrs | FileCheck %s -check-prefix=X32-Linux
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -code-model=large -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux-Large
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -verify-machineinstrs | FileCheck %s -check-prefix=X32ABI
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -verify-machineinstrs | FileCheck %s -check-prefix=X32-Darwin
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -verify-machineinstrs | FileCheck %s -check-prefix=X64-Darwin
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -verify-machineinstrs | FileCheck %s -check-prefix=X32-MinGW
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -verify-machineinstrs | FileCheck %s -check-prefix=X64-FreeBSD
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-dragonfly -verify-machineinstrs | FileCheck %s -check-prefix=X32-DFlyBSD
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-dragonfly -verify-machineinstrs | FileCheck %s -check-prefix=X64-DFlyBSD
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -verify-machineinstrs | FileCheck %s -check-prefix=X64-MinGW
|
|
|
|
; We used to crash with filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=i686-dragonfly -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-dragonfly -filetype=obj
|
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -filetype=obj
|
|
|
|
; RUN: not llc < %s -mcpu=generic -mtriple=x86_64-solaris 2> %t.log
|
|
; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-Solaris
|
|
; RUN: not llc < %s -mcpu=generic -mtriple=i686-freebsd 2> %t.log
|
|
; RUN: FileCheck %s -input-file=%t.log -check-prefix=X32-FreeBSD
|
|
|
|
; X64-Solaris: Segmented stacks not supported on this platform
|
|
; X32-FreeBSD: Segmented stacks not supported on FreeBSD i386
|
|
|
|
; Just to prevent the alloca from being optimized away
|
|
declare void @dummy_use(i32*, i32)
|
|
|
|
define void @test_basic() #0 {
|
|
%mem = alloca i32, i32 10
|
|
call void @dummy_use (i32* %mem, i32 10)
|
|
ret void
|
|
|
|
; X32-Linux-LABEL: 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-LABEL: 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
|
|
|
|
; X64-Linux-Large-LABEL: test_basic:
|
|
|
|
; X64-Linux-Large: cmpq %fs:112, %rsp
|
|
; X64-Linux-Large-NEXT: ja .LBB0_2
|
|
|
|
; X64-Linux-Large: movabsq $40, %r10
|
|
; X64-Linux-Large-NEXT: movabsq $0, %r11
|
|
; X64-Linux-Large-NEXT: callq *__morestack_addr(%rip)
|
|
; X64-Linux-Large-NEXT: ret
|
|
|
|
; X32ABI-LABEL: test_basic:
|
|
|
|
; X32ABI: cmpl %fs:64, %esp
|
|
; X32ABI-NEXT: ja .LBB0_2
|
|
|
|
; X32ABI: movl $40, %r10d
|
|
; X32ABI-NEXT: movl $0, %r11d
|
|
; X32ABI-NEXT: callq __morestack
|
|
; X32ABI-NEXT: ret
|
|
|
|
; X32-Darwin-LABEL: 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-LABEL: 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
|
|
|
|
; X32-MinGW-LABEL: test_basic:
|
|
|
|
; X32-MinGW: cmpl %fs:20, %esp
|
|
; X32-MinGW-NEXT: ja LBB0_2
|
|
|
|
; X32-MinGW: pushl $0
|
|
; X32-MinGW-NEXT: pushl $48
|
|
; X32-MinGW-NEXT: calll ___morestack
|
|
; X32-MinGW-NEXT: ret
|
|
|
|
; X64-MinGW-LABEL: test_basic:
|
|
|
|
; X64-MinGW: cmpq %gs:40, %rsp
|
|
; X64-MinGW-NEXT: ja .LBB0_2
|
|
|
|
; X64-MinGW: movabsq $72, %r10
|
|
; X64-MinGW-NEXT: movabsq $32, %r11
|
|
; X64-MinGW-NEXT: callq __morestack
|
|
; X64-MinGW-NEXT: retq
|
|
|
|
; X64-FreeBSD-LABEL: test_basic:
|
|
|
|
; X64-FreeBSD: cmpq %fs:24, %rsp
|
|
; X64-FreeBSD-NEXT: ja .LBB0_2
|
|
|
|
; X64-FreeBSD: movabsq $40, %r10
|
|
; X64-FreeBSD-NEXT: movabsq $0, %r11
|
|
; X64-FreeBSD-NEXT: callq __morestack
|
|
; X64-FreeBSD-NEXT: ret
|
|
|
|
; X32-DFlyBSD-LABEL: test_basic:
|
|
|
|
; X32-DFlyBSD: cmpl %fs:16, %esp
|
|
; X32-DFlyBSD-NEXT: ja .LBB0_2
|
|
|
|
; X32-DFlyBSD: pushl $0
|
|
; X32-DFlyBSD-NEXT: pushl $48
|
|
; X32-DFlyBSD-NEXT: calll __morestack
|
|
; X32-DFlyBSD-NEXT: ret
|
|
|
|
; X64-DFlyBSD-LABEL: test_basic:
|
|
|
|
; X64-DFlyBSD: cmpq %fs:32, %rsp
|
|
; X64-DFlyBSD-NEXT: ja .LBB0_2
|
|
|
|
; X64-DFlyBSD: movabsq $40, %r10
|
|
; X64-DFlyBSD-NEXT: movabsq $0, %r11
|
|
; X64-DFlyBSD-NEXT: callq __morestack
|
|
; X64-DFlyBSD-NEXT: ret
|
|
|
|
}
|
|
|
|
define i32 @test_nested(i32 * nest %closure, i32 %other) #0 {
|
|
%addend = load i32 * %closure
|
|
%result = add i32 %other, %addend
|
|
%mem = alloca i32, i32 10
|
|
call void @dummy_use (i32* %mem, i32 10)
|
|
ret i32 %result
|
|
|
|
; X32-Linux: cmpl %gs:48, %esp
|
|
; X32-Linux-NEXT: ja .LBB1_2
|
|
|
|
; X32-Linux: pushl $4
|
|
; X32-Linux-NEXT: pushl $60
|
|
; 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 $56, %r10
|
|
; X64-Linux-NEXT: movabsq $0, %r11
|
|
; X64-Linux-NEXT: callq __morestack
|
|
; X64-Linux-NEXT: ret
|
|
; X64-Linux-NEXT: movq %rax, %r10
|
|
|
|
; X32ABI: cmpl %fs:64, %esp
|
|
; X32ABI-NEXT: ja .LBB1_2
|
|
|
|
; X32ABI: movl %r10d, %eax
|
|
; X32ABI-NEXT: movl $56, %r10d
|
|
; X32ABI-NEXT: movl $0, %r11d
|
|
; X32ABI-NEXT: callq __morestack
|
|
; X32ABI-NEXT: ret
|
|
; X32ABI-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 $60
|
|
; 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 $56, %r10
|
|
; X64-Darwin-NEXT: movabsq $0, %r11
|
|
; X64-Darwin-NEXT: callq ___morestack
|
|
; X64-Darwin-NEXT: ret
|
|
; X64-Darwin-NEXT: movq %rax, %r10
|
|
|
|
; X32-MinGW: cmpl %fs:20, %esp
|
|
; X32-MinGW-NEXT: ja LBB1_2
|
|
|
|
; X32-MinGW: pushl $4
|
|
; X32-MinGW-NEXT: pushl $52
|
|
; X32-MinGW-NEXT: calll ___morestack
|
|
; X32-MinGW-NEXT: ret
|
|
|
|
; X64-MinGW-LABEL: test_nested:
|
|
; X64-MinGW: cmpq %gs:40, %rsp
|
|
; X64-MinGW-NEXT: ja .LBB1_2
|
|
|
|
; X64-MinGW: movq %r10, %rax
|
|
; X64-MinGW-NEXT: movabsq $88, %r10
|
|
; X64-MinGW-NEXT: movabsq $32, %r11
|
|
; X64-MinGW-NEXT: callq __morestack
|
|
; X64-MinGW-NEXT: retq
|
|
; X64-MinGW-NEXT: movq %rax, %r10
|
|
|
|
; X64-FreeBSD: cmpq %fs:24, %rsp
|
|
; X64-FreeBSD-NEXT: ja .LBB1_2
|
|
|
|
; X64-FreeBSD: movq %r10, %rax
|
|
; X64-FreeBSD-NEXT: movabsq $56, %r10
|
|
; X64-FreeBSD-NEXT: movabsq $0, %r11
|
|
; X64-FreeBSD-NEXT: callq __morestack
|
|
; X64-FreeBSD-NEXT: ret
|
|
; X64-FreeBSD-NEXT: movq %rax, %r10
|
|
|
|
; X32-DFlyBSD: cmpl %fs:16, %esp
|
|
; X32-DFlyBSD-NEXT: ja .LBB1_2
|
|
|
|
; X32-DFlyBSD: pushl $4
|
|
; X32-DFlyBSD-NEXT: pushl $52
|
|
; X32-DFlyBSD-NEXT: calll __morestack
|
|
; X32-DFlyBSD-NEXT: ret
|
|
|
|
; X64-DFlyBSD: cmpq %fs:32, %rsp
|
|
; X64-DFlyBSD-NEXT: ja .LBB1_2
|
|
|
|
; X64-DFlyBSD: movq %r10, %rax
|
|
; X64-DFlyBSD-NEXT: movabsq $56, %r10
|
|
; X64-DFlyBSD-NEXT: movabsq $0, %r11
|
|
; X64-DFlyBSD-NEXT: callq __morestack
|
|
; X64-DFlyBSD-NEXT: ret
|
|
; X64-DFlyBSD-NEXT: movq %rax, %r10
|
|
|
|
}
|
|
|
|
define void @test_large() #0 {
|
|
%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
|
|
|
|
; X32ABI: leal -40008(%rsp), %r11d
|
|
; X32ABI-NEXT: cmpl %fs:64, %r11d
|
|
; X32ABI-NEXT: ja .LBB2_2
|
|
|
|
; X32ABI: movl $40008, %r10d
|
|
; X32ABI-NEXT: movl $0, %r11d
|
|
; X32ABI-NEXT: callq __morestack
|
|
; X32ABI-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
|
|
|
|
; X32-MinGW: leal -40008(%esp), %ecx
|
|
; X32-MinGW-NEXT: cmpl %fs:20, %ecx
|
|
; X32-MinGW-NEXT: ja LBB2_2
|
|
|
|
; X32-MinGW: pushl $0
|
|
; X32-MinGW-NEXT: pushl $40008
|
|
; X32-MinGW-NEXT: calll ___morestack
|
|
; X32-MinGW-NEXT: ret
|
|
|
|
; X64-MinGW-LABEL: test_large:
|
|
; X64-MinGW: leaq -40040(%rsp), %r11
|
|
; X64-MinGW-NEXT: cmpq %gs:40, %r11
|
|
; X64-MinGW-NEXT: ja .LBB2_2
|
|
|
|
; X64-MinGW: movabsq $40040, %r10
|
|
; X64-MinGW-NEXT: movabsq $32, %r11
|
|
; X64-MinGW-NEXT: callq __morestack
|
|
; X64-MinGW-NEXT: retq
|
|
|
|
; X64-FreeBSD: leaq -40008(%rsp), %r11
|
|
; X64-FreeBSD-NEXT: cmpq %fs:24, %r11
|
|
; X64-FreeBSD-NEXT: ja .LBB2_2
|
|
|
|
; X64-FreeBSD: movabsq $40008, %r10
|
|
; X64-FreeBSD-NEXT: movabsq $0, %r11
|
|
; X64-FreeBSD-NEXT: callq __morestack
|
|
; X64-FreeBSD-NEXT: ret
|
|
|
|
; X32-DFlyBSD: leal -40008(%esp), %ecx
|
|
; X32-DFlyBSD-NEXT: cmpl %fs:16, %ecx
|
|
; X32-DFlyBSD-NEXT: ja .LBB2_2
|
|
|
|
; X32-DFlyBSD: pushl $0
|
|
; X32-DFlyBSD-NEXT: pushl $40008
|
|
; X32-DFlyBSD-NEXT: calll __morestack
|
|
; X32-DFlyBSD-NEXT: ret
|
|
|
|
; X64-DFlyBSD: leaq -40008(%rsp), %r11
|
|
; X64-DFlyBSD-NEXT: cmpq %fs:32, %r11
|
|
; X64-DFlyBSD-NEXT: ja .LBB2_2
|
|
|
|
; X64-DFlyBSD: movabsq $40008, %r10
|
|
; X64-DFlyBSD-NEXT: movabsq $0, %r11
|
|
; X64-DFlyBSD-NEXT: callq __morestack
|
|
; X64-DFlyBSD-NEXT: ret
|
|
|
|
}
|
|
|
|
define fastcc void @test_fastcc() #0 {
|
|
%mem = alloca i32, i32 10
|
|
call void @dummy_use (i32* %mem, i32 10)
|
|
ret void
|
|
|
|
; X32-Linux-LABEL: 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-LABEL: 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
|
|
|
|
; X32ABI-LABEL: test_fastcc:
|
|
|
|
; X32ABI: cmpl %fs:64, %esp
|
|
; X32ABI-NEXT: ja .LBB3_2
|
|
|
|
; X32ABI: movl $40, %r10d
|
|
; X32ABI-NEXT: movl $0, %r11d
|
|
; X32ABI-NEXT: callq __morestack
|
|
; X32ABI-NEXT: ret
|
|
|
|
; X32-Darwin-LABEL: 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-LABEL: 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
|
|
|
|
; X32-MinGW-LABEL: test_fastcc:
|
|
|
|
; X32-MinGW: cmpl %fs:20, %esp
|
|
; X32-MinGW-NEXT: ja LBB3_2
|
|
|
|
; X32-MinGW: pushl $0
|
|
; X32-MinGW-NEXT: pushl $48
|
|
; X32-MinGW-NEXT: calll ___morestack
|
|
; X32-MinGW-NEXT: ret
|
|
|
|
; X64-MinGW-LABEL: test_fastcc:
|
|
|
|
; X64-MinGW: cmpq %gs:40, %rsp
|
|
; X64-MinGW-NEXT: ja .LBB3_2
|
|
|
|
; X64-MinGW: movabsq $72, %r10
|
|
; X64-MinGW-NEXT: movabsq $32, %r11
|
|
; X64-MinGW-NEXT: callq __morestack
|
|
; X64-MinGW-NEXT: retq
|
|
|
|
; X64-FreeBSD-LABEL: test_fastcc:
|
|
|
|
; X64-FreeBSD: cmpq %fs:24, %rsp
|
|
; X64-FreeBSD-NEXT: ja .LBB3_2
|
|
|
|
; X64-FreeBSD: movabsq $40, %r10
|
|
; X64-FreeBSD-NEXT: movabsq $0, %r11
|
|
; X64-FreeBSD-NEXT: callq __morestack
|
|
; X64-FreeBSD-NEXT: ret
|
|
|
|
; X32-DFlyBSD-LABEL: test_fastcc:
|
|
|
|
; X32-DFlyBSD: cmpl %fs:16, %esp
|
|
; X32-DFlyBSD-NEXT: ja .LBB3_2
|
|
|
|
; X32-DFlyBSD: pushl $0
|
|
; X32-DFlyBSD-NEXT: pushl $48
|
|
; X32-DFlyBSD-NEXT: calll __morestack
|
|
; X32-DFlyBSD-NEXT: ret
|
|
|
|
; X64-DFlyBSD-LABEL: test_fastcc:
|
|
|
|
; X64-DFlyBSD: cmpq %fs:32, %rsp
|
|
; X64-DFlyBSD-NEXT: ja .LBB3_2
|
|
|
|
; X64-DFlyBSD: movabsq $40, %r10
|
|
; X64-DFlyBSD-NEXT: movabsq $0, %r11
|
|
; X64-DFlyBSD-NEXT: callq __morestack
|
|
; X64-DFlyBSD-NEXT: ret
|
|
|
|
}
|
|
|
|
define fastcc void @test_fastcc_large() #0 {
|
|
%mem = alloca i32, i32 10000
|
|
call void @dummy_use (i32* %mem, i32 0)
|
|
ret void
|
|
|
|
; X32-Linux-LABEL: 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-LABEL: 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
|
|
|
|
; X32ABI-LABEL: test_fastcc_large:
|
|
|
|
; X32ABI: leal -40008(%rsp), %r11d
|
|
; X32ABI-NEXT: cmpl %fs:64, %r11d
|
|
; X32ABI-NEXT: ja .LBB4_2
|
|
|
|
; X32ABI: movl $40008, %r10d
|
|
; X32ABI-NEXT: movl $0, %r11d
|
|
; X32ABI-NEXT: callq __morestack
|
|
; X32ABI-NEXT: ret
|
|
|
|
; X32-Darwin-LABEL: 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-LABEL: 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
|
|
|
|
; X32-MinGW-LABEL: test_fastcc_large:
|
|
|
|
; X32-MinGW: leal -40008(%esp), %eax
|
|
; X32-MinGW-NEXT: cmpl %fs:20, %eax
|
|
; X32-MinGW-NEXT: ja LBB4_2
|
|
|
|
; X32-MinGW: pushl $0
|
|
; X32-MinGW-NEXT: pushl $40008
|
|
; X32-MinGW-NEXT: calll ___morestack
|
|
; X32-MinGW-NEXT: ret
|
|
|
|
; X64-MinGW-LABEL: test_fastcc_large:
|
|
|
|
; X64-MinGW: leaq -40040(%rsp), %r11
|
|
; X64-MinGW-NEXT: cmpq %gs:40, %r11
|
|
; X64-MinGW-NEXT: ja .LBB4_2
|
|
|
|
; X64-MinGW: movabsq $40040, %r10
|
|
; X64-MinGW-NEXT: movabsq $32, %r11
|
|
; X64-MinGW-NEXT: callq __morestack
|
|
; X64-MinGW-NEXT: retq
|
|
|
|
; X64-FreeBSD-LABEL: test_fastcc_large:
|
|
|
|
; X64-FreeBSD: leaq -40008(%rsp), %r11
|
|
; X64-FreeBSD-NEXT: cmpq %fs:24, %r11
|
|
; X64-FreeBSD-NEXT: ja .LBB4_2
|
|
|
|
; X64-FreeBSD: movabsq $40008, %r10
|
|
; X64-FreeBSD-NEXT: movabsq $0, %r11
|
|
; X64-FreeBSD-NEXT: callq __morestack
|
|
; X64-FreeBSD-NEXT: ret
|
|
|
|
; X32-DFlyBSD-LABEL: test_fastcc_large:
|
|
|
|
; X32-DFlyBSD: leal -40008(%esp), %eax
|
|
; X32-DFlyBSD-NEXT: cmpl %fs:16, %eax
|
|
; X32-DFlyBSD-NEXT: ja .LBB4_2
|
|
|
|
; X32-DFlyBSD: pushl $0
|
|
; X32-DFlyBSD-NEXT: pushl $40008
|
|
; X32-DFlyBSD-NEXT: calll __morestack
|
|
; X32-DFlyBSD-NEXT: ret
|
|
|
|
; X64-DFlyBSD-LABEL: test_fastcc_large:
|
|
|
|
; X64-DFlyBSD: leaq -40008(%rsp), %r11
|
|
; X64-DFlyBSD-NEXT: cmpq %fs:32, %r11
|
|
; X64-DFlyBSD-NEXT: ja .LBB4_2
|
|
|
|
; X64-DFlyBSD: movabsq $40008, %r10
|
|
; X64-DFlyBSD-NEXT: movabsq $0, %r11
|
|
; X64-DFlyBSD-NEXT: callq __morestack
|
|
; X64-DFlyBSD-NEXT: ret
|
|
|
|
}
|
|
|
|
define fastcc void @test_fastcc_large_with_ecx_arg(i32 %a) #0 {
|
|
%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-LABEL: 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
|
|
|
|
}
|
|
|
|
define void @test_nostack() #0 {
|
|
ret void
|
|
|
|
; X32-Linux-LABEL: test_nostack:
|
|
; X32-Linux-NOT: calll __morestack
|
|
|
|
; X64-Linux-LABEL: test_nostack:
|
|
; X32-Linux-NOT: callq __morestack
|
|
|
|
; X32ABI-LABEL: test_nostack:
|
|
; X32ABI-NOT: callq __morestack
|
|
|
|
; X32-Darwin-LABEL: test_nostack:
|
|
; X32-Darwin-NOT: calll __morestack
|
|
|
|
; X64-Darwin-LABEL: test_nostack:
|
|
; X64-Darwin-NOT: callq __morestack
|
|
|
|
; X32-MinGW-LABEL: test_nostack:
|
|
; X32-MinGW-NOT: calll __morestack
|
|
|
|
; X64-MinGW-LABEL: test_nostack:
|
|
; X64-MinGW-NOT: callq __morestack
|
|
|
|
; X64-FreeBSD-LABEL: test_nostack:
|
|
; X64-FreeBSD-NOT: callq __morestack
|
|
|
|
; X32-DFlyBSD-LABEL: test_nostack:
|
|
; X32-DFlyBSD-NOT: calll __morestack
|
|
|
|
; X64-DFlyBSD-LABEL: test_nostack:
|
|
; X64-DFlyBSD-NOT: callq __morestack
|
|
}
|
|
|
|
attributes #0 = { "split-stack" }
|
|
|
|
; X64-Linux-Large: .rodata
|
|
; X64-Linux-Large-NEXT: __morestack_addr:
|
|
; X64-Linux-Large-NEXT: .quad __morestack
|