RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 22:42:46 +02:00
Code Issues Projects Releases Wiki Activity
431029d375
llvm-mirror/test/CodeGen/X86/segmented-stacks.ll

142 lines
3.1 KiB
LLVM
Raw Normal View History

Run test with -verify-machineinstrs. Patch by Sanjoy Das. llvm-svn: 143066
2011-10-26 23:20:26 +02:00
; 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
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
Explicitly set the scale to 1 on some segstack prologue instrs. Patch by Brian Anderson. llvm-svn: 147952
2012-01-11 19:14:03 +01:00
; 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
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; Just to prevent the alloca from being optimized away
declare void @dummy_use(i32*, i32)
Split segmented stacks tests into tests for static- and dynamic-size frames. Patch by Brian Anderson. llvm-svn: 147959
2012-01-11 19:51:03 +01:00
define void @test_basic() {
%mem = alloca i32, i32 10
call void @dummy_use (i32* %mem, i32 10)
ret void
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; X32: test_basic:
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; X32: cmpl %gs:48, %esp
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X32-NEXT: ja .LBB0_2
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
Split segmented stacks tests into tests for static- and dynamic-size frames. Patch by Brian Anderson. llvm-svn: 147959
2012-01-11 19:51:03 +01:00
; X32: pushl $0
; X32-NEXT: pushl $60
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; X32-NEXT: calll __morestack
; X32-NEXT: ret
; X64: test_basic:
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; X64: cmpq %fs:112, %rsp
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X64-NEXT: ja .LBB0_2
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
Split segmented stacks tests into tests for static- and dynamic-size frames. Patch by Brian Anderson. llvm-svn: 147959
2012-01-11 19:51:03 +01:00
; X64: movabsq $40, %r10
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret
}
define i32 @test_nested(i32 * nest %closure, i32 %other) {
%addend = load i32 * %closure
%result = add i32 %other, %addend
ret i32 %result
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; X32: cmpl %gs:48, %esp
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X32-NEXT: ja .LBB1_2
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
Fix a bug in the x86-32 code generated for segmented stacks. Currently LLVM pads the call to __morestack with a add and sub of 8 bytes to esp. This isn't correct since __morestack expects the call to be followed directly by a ret. This commit also adjusts the relevant test-case. llvm-svn: 145765
2011-12-03 10:21:07 +01:00
; X32: pushl $4
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; X32-NEXT: pushl $0
; X32-NEXT: calll __morestack
; X32-NEXT: ret
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; X64: cmpq %fs:112, %rsp
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X64-NEXT: ja .LBB1_2
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
; X64: movq %r10, %rax
; X64-NEXT: movabsq $0, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
Should not add instructions to a BB after a return instruction. The machine instruction verifier doesn't like this, nor do I. llvm-svn: 141856
2011-10-13 09:42:32 +02:00
; X64-NEXT: ret
This commit introduces two fake instructions MORESTACK_RET and MORESTACK_RET_RESTORE_R10; which are lowered to a RET and a RET followed by a MOV respectively. Having a fake instruction prevents the verifier from seeing a MachineBasicBlock end with a non-terminator (MOV). It also prevents the rather eccentric case of a MachineBasicBlock ending with RET but having successors nevertheless. Patch by Sanjoy Das. llvm-svn: 143062
2011-10-26 23:12:27 +02:00
; X64-NEXT: movq %rax, %r10
Some test code to check if correct code is being generated. Patch by Sanjoy Das. llvm-svn: 138820
2011-08-30 21:51:29 +02:00
}
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
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
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X32-NEXT: ja .LBB2_2
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; 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
Use unsigned comparison in segmented stack prologue. This is a comparison of two addresses, and GCC does the comparison unsigned. Patch by Brian Anderson. llvm-svn: 147954
2012-01-11 19:23:35 +01:00
; X64-NEXT: ja .LBB2_2
Check for stack space more intelligently. 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. llvm-svn: 145766
2011-12-03 10:32:07 +01:00
; X64: movabsq $40008, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret
}
Generate the segmented stack prologue for fastcc too. Patch by Brian Anderson. llvm-svn: 147958
2012-01-11 19:41:19 +01:00
define fastcc void @test_fastcc() {
%mem = alloca i32, i32 10
call void @dummy_use (i32* %mem, i32 10)
ret void
; X32: test_fastcc:
; X32: cmpl %gs:48, %esp
; X32-NEXT: ja .LBB3_2
; X32: pushl $0
; X32-NEXT: pushl $60
; X32-NEXT: calll __morestack
; X32-NEXT: ret
; X64: test_fastcc:
; X64: cmpq %fs:112, %rsp
; X64-NEXT: ja .LBB3_2
; X64: movabsq $40, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret
}
define fastcc void @test_fastcc_large() {
%mem = alloca i32, i32 10000
call void @dummy_use (i32* %mem, i32 0)
ret void
; X32: test_fastcc_large:
; X32: leal -40012(%esp), %eax
; X32-NEXT: cmpl %gs:48, %eax
; X32-NEXT: ja .LBB4_2
; X32: pushl $0
; X32-NEXT: pushl $40012
; X32-NEXT: calll __morestack
; X32-NEXT: ret
; X64: test_fastcc_large:
; X64: leaq -40008(%rsp), %r11
; X64-NEXT: cmpq %fs:112, %r11
; X64-NEXT: ja .LBB4_2
; X64: movabsq $40008, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret
}
Reference in New Issue Copy Permalink