mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-05 01:30:18 +00:00
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
|