mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-05 17:30:02 +00:00
199ce33b3b
libgcc sets the stack limit field in TCB to 256 bytes above the actual allocated stack limit. This means if the function's stack frame needs less than 256 bytes, we can just compare the stack pointer with the stack limit. This should result in lesser calls to __morestack. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145766 91177308-0d34-0410-b5e6-96231b3b80d8
107 lines
2.3 KiB
LLVM
107 lines
2.3 KiB
LLVM
; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32
|
|
; RUN: llc < %s -mtriple=x86_64-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64
|
|
|
|
; Just to prevent the alloca from being optimized away
|
|
declare void @dummy_use(i32*, i32)
|
|
|
|
define i32 @test_basic(i32 %l) {
|
|
%mem = alloca i32, i32 %l
|
|
call void @dummy_use (i32* %mem, i32 %l)
|
|
%terminate = icmp eq i32 %l, 0
|
|
br i1 %terminate, label %true, label %false
|
|
|
|
true:
|
|
ret i32 0
|
|
|
|
false:
|
|
%newlen = sub i32 %l, 1
|
|
%retvalue = call i32 @test_basic(i32 %newlen)
|
|
ret i32 %retvalue
|
|
|
|
; X32: test_basic:
|
|
|
|
; X32: cmpl %gs:48, %esp
|
|
|
|
; X32: pushl $4
|
|
; X32-NEXT: pushl $12
|
|
; X32-NEXT: calll __morestack
|
|
; X32-NEXT: ret
|
|
|
|
; X32: movl %esp, %eax
|
|
; X32-NEXT: subl %ecx, %eax
|
|
; X32-NEXT: cmpl %eax, %gs:48
|
|
|
|
; X32: movl %eax, %esp
|
|
|
|
; X32: subl $12, %esp
|
|
; X32-NEXT: pushl %ecx
|
|
; X32-NEXT: calll __morestack_allocate_stack_space
|
|
; X32-NEXT: addl $16, %esp
|
|
|
|
; X64: test_basic:
|
|
|
|
; X64: cmpq %fs:112, %rsp
|
|
|
|
; X64: movabsq $24, %r10
|
|
; X64-NEXT: movabsq $0, %r11
|
|
; X64-NEXT: callq __morestack
|
|
; X64-NEXT: ret
|
|
|
|
; X64: movq %rsp, %rdi
|
|
; X64-NEXT: subq %rax, %rdi
|
|
; X64-NEXT: cmpq %rdi, %fs:112
|
|
|
|
; X64: movq %rdi, %rsp
|
|
|
|
; X64: movq %rax, %rdi
|
|
; X64-NEXT: callq __morestack_allocate_stack_space
|
|
; X64-NEXT: movq %rax, %rdi
|
|
|
|
}
|
|
|
|
define i32 @test_nested(i32 * nest %closure, i32 %other) {
|
|
%addend = load i32 * %closure
|
|
%result = add i32 %other, %addend
|
|
ret i32 %result
|
|
|
|
; X32: cmpl %gs:48, %esp
|
|
|
|
; X32: pushl $4
|
|
; X32-NEXT: pushl $0
|
|
; X32-NEXT: calll __morestack
|
|
; X32-NEXT: ret
|
|
|
|
; X64: cmpq %fs:112, %rsp
|
|
|
|
; X64: movq %r10, %rax
|
|
; X64-NEXT: movabsq $0, %r10
|
|
; X64-NEXT: movabsq $0, %r11
|
|
; X64-NEXT: callq __morestack
|
|
; X64-NEXT: ret
|
|
; X64-NEXT: movq %rax, %r10
|
|
|
|
}
|
|
|
|
define void @test_large() {
|
|
%mem = alloca i32, i32 10000
|
|
call void @dummy_use (i32* %mem, i32 0)
|
|
ret void
|
|
|
|
; X32: leal -40012(%esp), %ecx
|
|
; X32-NEXT: cmpl %gs:48, %ecx
|
|
|
|
; X32: pushl $0
|
|
; X32-NEXT: pushl $40012
|
|
; X32-NEXT: calll __morestack
|
|
; X32-NEXT: ret
|
|
|
|
; X64: leaq -40008(%rsp), %r11
|
|
; X64-NEXT: cmpq %fs:112, %r11
|
|
|
|
; X64: movabsq $40008, %r10
|
|
; X64-NEXT: movabsq $0, %r11
|
|
; X64-NEXT: callq __morestack
|
|
; X64-NEXT: ret
|
|
|
|
}
|