mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
70f3b30d46
Summary: If a routine with no stack frame makes a sibling call, we need to preserve the stack space check even if the local stack frame is empty, since the call target could be a "no-split" function (in which case the linker needs to be able to fix up the prolog sequence in order to switch to a larger stack). This fixes PR37807. Reviewers: cherry, javed.absar Subscribers: srhines, llvm-commits Differential Revision: https://reviews.llvm.org/D48444 llvm-svn: 335604
268 lines
7.4 KiB
LLVM
268 lines
7.4 KiB
LLVM
; RUN: llc < %s -mtriple=arm-linux-androideabi -mattr=+v4t -verify-machineinstrs | FileCheck %s -check-prefix=ARM-android
|
|
; RUN: llc < %s -mtriple=arm-linux-unknown-gnueabi -mattr=+v4t -verify-machineinstrs | FileCheck %s -check-prefix=ARM-linux
|
|
|
|
; We used to crash with filetype=obj
|
|
; RUN: llc < %s -mtriple=arm-linux-androideabi -filetype=obj
|
|
; RUN: llc < %s -mtriple=arm-linux-unknown-gnueabi -filetype=obj
|
|
|
|
|
|
; 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
|
|
|
|
; ARM-linux: test_basic:
|
|
|
|
; ARM-linux: push {r4, r5}
|
|
; ARM-linux-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-linux-NEXT: mov r5, sp
|
|
; ARM-linux-NEXT: ldr r4, [r4, #4]
|
|
; ARM-linux-NEXT: cmp r4, r5
|
|
; ARM-linux-NEXT: blo .LBB0_2
|
|
|
|
; ARM-linux: mov r4, #48
|
|
; ARM-linux-NEXT: mov r5, #0
|
|
; ARM-linux-NEXT: stmdb sp!, {lr}
|
|
; ARM-linux-NEXT: bl __morestack
|
|
; ARM-linux-NEXT: ldm sp!, {lr}
|
|
; ARM-linux-NEXT: pop {r4, r5}
|
|
; ARM-linux-NEXT: bx lr
|
|
|
|
; ARM-linux: pop {r4, r5}
|
|
|
|
; ARM-android: test_basic:
|
|
|
|
; ARM-android: push {r4, r5}
|
|
; ARM-android-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-android-NEXT: mov r5, sp
|
|
; ARM-android-NEXT: ldr r4, [r4, #252]
|
|
; ARM-android-NEXT: cmp r4, r5
|
|
; ARM-android-NEXT: blo .LBB0_2
|
|
|
|
; ARM-android: mov r4, #48
|
|
; ARM-android-NEXT: mov r5, #0
|
|
; ARM-android-NEXT: stmdb sp!, {lr}
|
|
; ARM-android-NEXT: bl __morestack
|
|
; ARM-android-NEXT: ldm sp!, {lr}
|
|
; ARM-android-NEXT: pop {r4, r5}
|
|
; ARM-android-NEXT: bx lr
|
|
|
|
; ARM-android: pop {r4, r5}
|
|
|
|
}
|
|
|
|
define i32 @test_nested(i32 * nest %closure, i32 %other) #0 {
|
|
%addend = load i32 , i32 * %closure
|
|
%result = add i32 %other, %addend
|
|
%mem = alloca i32, i32 10
|
|
call void @dummy_use (i32* %mem, i32 10)
|
|
ret i32 %result
|
|
|
|
; ARM-linux: test_nested:
|
|
|
|
; ARM-linux: push {r4, r5}
|
|
; ARM-linux-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-linux-NEXT: mov r5, sp
|
|
; ARM-linux-NEXT: ldr r4, [r4, #4]
|
|
; ARM-linux-NEXT: cmp r4, r5
|
|
; ARM-linux-NEXT: blo .LBB1_2
|
|
|
|
; ARM-linux: mov r4, #56
|
|
; ARM-linux-NEXT: mov r5, #0
|
|
; ARM-linux-NEXT: stmdb sp!, {lr}
|
|
; ARM-linux-NEXT: bl __morestack
|
|
; ARM-linux-NEXT: ldm sp!, {lr}
|
|
; ARM-linux-NEXT: pop {r4, r5}
|
|
; ARM-linux-NEXT: bx lr
|
|
|
|
; ARM-linux: pop {r4, r5}
|
|
|
|
; ARM-android: test_nested:
|
|
|
|
; ARM-android: push {r4, r5}
|
|
; ARM-android-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-android-NEXT: mov r5, sp
|
|
; ARM-android-NEXT: ldr r4, [r4, #252]
|
|
; ARM-android-NEXT: cmp r4, r5
|
|
; ARM-android-NEXT: blo .LBB1_2
|
|
|
|
; ARM-android: mov r4, #56
|
|
; ARM-android-NEXT: mov r5, #0
|
|
; ARM-android-NEXT: stmdb sp!, {lr}
|
|
; ARM-android-NEXT: bl __morestack
|
|
; ARM-android-NEXT: ldm sp!, {lr}
|
|
; ARM-android-NEXT: pop {r4, r5}
|
|
; ARM-android-NEXT: bx lr
|
|
|
|
; ARM-android: pop {r4, r5}
|
|
|
|
}
|
|
|
|
define void @test_large() #0 {
|
|
%mem = alloca i32, i32 10000
|
|
call void @dummy_use (i32* %mem, i32 0)
|
|
ret void
|
|
|
|
; ARM-linux: test_large:
|
|
|
|
; ARM-linux: push {r4, r5}
|
|
; ARM-linux-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-linux-NEXT: sub r5, sp, #40192
|
|
; ARM-linux-NEXT: ldr r4, [r4, #4]
|
|
; ARM-linux-NEXT: cmp r4, r5
|
|
; ARM-linux-NEXT: blo .LBB2_2
|
|
|
|
; ARM-linux: mov r4, #40192
|
|
; ARM-linux-NEXT: mov r5, #0
|
|
; ARM-linux-NEXT: stmdb sp!, {lr}
|
|
; ARM-linux-NEXT: bl __morestack
|
|
; ARM-linux-NEXT: ldm sp!, {lr}
|
|
; ARM-linux-NEXT: pop {r4, r5}
|
|
; ARM-linux-NEXT: bx lr
|
|
|
|
; ARM-linux: pop {r4, r5}
|
|
|
|
; ARM-android: test_large:
|
|
|
|
; ARM-android: push {r4, r5}
|
|
; ARM-android-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-android-NEXT: sub r5, sp, #40192
|
|
; ARM-android-NEXT: ldr r4, [r4, #252]
|
|
; ARM-android-NEXT: cmp r4, r5
|
|
; ARM-android-NEXT: blo .LBB2_2
|
|
|
|
; ARM-android: mov r4, #40192
|
|
; ARM-android-NEXT: mov r5, #0
|
|
; ARM-android-NEXT: stmdb sp!, {lr}
|
|
; ARM-android-NEXT: bl __morestack
|
|
; ARM-android-NEXT: ldm sp!, {lr}
|
|
; ARM-android-NEXT: pop {r4, r5}
|
|
; ARM-android-NEXT: bx lr
|
|
|
|
; ARM-android: pop {r4, r5}
|
|
|
|
}
|
|
|
|
define fastcc void @test_fastcc() #0 {
|
|
%mem = alloca i32, i32 10
|
|
call void @dummy_use (i32* %mem, i32 10)
|
|
ret void
|
|
|
|
; ARM-linux: test_fastcc:
|
|
|
|
; ARM-linux: push {r4, r5}
|
|
; ARM-linux-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-linux-NEXT: mov r5, sp
|
|
; ARM-linux-NEXT: ldr r4, [r4, #4]
|
|
; ARM-linux-NEXT: cmp r4, r5
|
|
; ARM-linux-NEXT: blo .LBB3_2
|
|
|
|
; ARM-linux: mov r4, #48
|
|
; ARM-linux-NEXT: mov r5, #0
|
|
; ARM-linux-NEXT: stmdb sp!, {lr}
|
|
; ARM-linux-NEXT: bl __morestack
|
|
; ARM-linux-NEXT: ldm sp!, {lr}
|
|
; ARM-linux-NEXT: pop {r4, r5}
|
|
; ARM-linux-NEXT: bx lr
|
|
|
|
; ARM-linux: pop {r4, r5}
|
|
|
|
; ARM-android: test_fastcc:
|
|
|
|
; ARM-android: push {r4, r5}
|
|
; ARM-android-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-android-NEXT: mov r5, sp
|
|
; ARM-android-NEXT: ldr r4, [r4, #252]
|
|
; ARM-android-NEXT: cmp r4, r5
|
|
; ARM-android-NEXT: blo .LBB3_2
|
|
|
|
; ARM-android: mov r4, #48
|
|
; ARM-android-NEXT: mov r5, #0
|
|
; ARM-android-NEXT: stmdb sp!, {lr}
|
|
; ARM-android-NEXT: bl __morestack
|
|
; ARM-android-NEXT: ldm sp!, {lr}
|
|
; ARM-android-NEXT: pop {r4, r5}
|
|
; ARM-android-NEXT: bx lr
|
|
|
|
; ARM-android: pop {r4, r5}
|
|
|
|
}
|
|
|
|
define fastcc void @test_fastcc_large() #0 {
|
|
%mem = alloca i32, i32 10000
|
|
call void @dummy_use (i32* %mem, i32 0)
|
|
ret void
|
|
|
|
; ARM-linux: test_fastcc_large:
|
|
|
|
; ARM-linux: push {r4, r5}
|
|
; ARM-linux-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-linux-NEXT: sub r5, sp, #40192
|
|
; ARM-linux-NEXT: ldr r4, [r4, #4]
|
|
; ARM-linux-NEXT: cmp r4, r5
|
|
; ARM-linux-NEXT: blo .LBB4_2
|
|
|
|
; ARM-linux: mov r4, #40192
|
|
; ARM-linux-NEXT: mov r5, #0
|
|
; ARM-linux-NEXT: stmdb sp!, {lr}
|
|
; ARM-linux-NEXT: bl __morestack
|
|
; ARM-linux-NEXT: ldm sp!, {lr}
|
|
; ARM-linux-NEXT: pop {r4, r5}
|
|
; ARM-linux-NEXT: bx lr
|
|
|
|
; ARM-linux: pop {r4, r5}
|
|
|
|
; ARM-android: test_fastcc_large:
|
|
|
|
; ARM-android: push {r4, r5}
|
|
; ARM-android-NEXT: mrc p15, #0, r4, c13, c0, #3
|
|
; ARM-android-NEXT: sub r5, sp, #40192
|
|
; ARM-android-NEXT: ldr r4, [r4, #252]
|
|
; ARM-android-NEXT: cmp r4, r5
|
|
; ARM-android-NEXT: blo .LBB4_2
|
|
|
|
; ARM-android: mov r4, #40192
|
|
; ARM-android-NEXT: mov r5, #0
|
|
; ARM-android-NEXT: stmdb sp!, {lr}
|
|
; ARM-android-NEXT: bl __morestack
|
|
; ARM-android-NEXT: ldm sp!, {lr}
|
|
; ARM-android-NEXT: pop {r4, r5}
|
|
; ARM-android-NEXT: bx lr
|
|
|
|
; ARM-android: pop {r4, r5}
|
|
|
|
}
|
|
|
|
define void @test_nostack() #0 {
|
|
ret void
|
|
|
|
; ARM-linux-LABEL: test_nostack:
|
|
; ARM-linux-NOT: bl __morestack
|
|
|
|
; ARM-android-LABEL: test_nostack:
|
|
; ARM-android-NOT: bl __morestack
|
|
}
|
|
|
|
; Test to make sure that a morestack call is generated if there is a
|
|
; sibling call, even if the function in question has no stack frame
|
|
; (PR37807).
|
|
|
|
declare i32 @callee(i32)
|
|
|
|
define i32 @test_sibling_call_empty_frame(i32 %x) #0 {
|
|
%call = tail call i32 @callee(i32 %x) #0
|
|
ret i32 %call
|
|
|
|
; ARM-linux: test_sibling_call_empty_frame:
|
|
; ARM-linux: bl __morestack
|
|
|
|
; ARM-android: test_sibling_call_empty_frame:
|
|
; ARM-android: bl __morestack
|
|
|
|
}
|
|
|
|
attributes #0 = { "split-stack" }
|