mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-28 23:43:50 +00:00
e6c3cc8dc5
local frame causes problem.
For example:
void f(StructToPass s) {
g(&s, sizeof(s));
}
will cause problem with tail-call since part of s is passed via registers and
saved in f's local frame. When g tries to access s, part of s may be corrupted
since f's local frame is popped out before the tail-call.
The current fix is to disable tail-call if getVarArgsRegSaveSize is not 0 for
the caller. This is a conservative approach, if we can prove the address of
s or part of s is not taken and passed to g, it should be okay to perform
tail-call.
rdar://12442472
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165853 91177308-0d34-0410-b5e6-96231b3b80d8
26 lines
781 B
LLVM
26 lines
781 B
LLVM
; RUN: llc < %s -arm-tail-calls=1 | FileCheck %s
|
|
|
|
; tail call inside a function where byval argument is splitted between
|
|
; registers and stack is currently unsupported.
|
|
; XFAIL: *
|
|
|
|
target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"
|
|
target triple = "thumbv7-apple-ios"
|
|
|
|
%struct.A = type <{ i16, i16, i32, i16, i16, i32, i16, [8 x %struct.B], [418 x i8], %struct.C }>
|
|
%struct.B = type <{ i32, i16, i16 }>
|
|
%struct.C = type { i16, i32, i16, i16 }
|
|
|
|
; CHECK: f
|
|
; CHECK: push {r1, r2, r3}
|
|
; CHECK: add sp, #12
|
|
; CHECK: b.w _puts
|
|
|
|
define void @f(i8* %s, %struct.A* nocapture byval %a) nounwind optsize {
|
|
entry:
|
|
%puts = tail call i32 @puts(i8* %s)
|
|
ret void
|
|
}
|
|
|
|
declare i32 @puts(i8* nocapture) nounwind
|