diff options
author | Manman Ren <mren@apple.com> | 2012-10-12 23:39:43 +0000 |
---|---|---|
committer | Manman Ren <mren@apple.com> | 2012-10-12 23:39:43 +0000 |
commit | 7e48b252e74a83ba161ffea8d9bdd6a2a0b56c5f (patch) | |
tree | edd303416f9a192287a8735af90dadc0b8ce7296 /llvm/lib | |
parent | ea561dcffb7f49b339af2ed90efcfb87f56b9f74 (diff) | |
download | bcm5719-llvm-7e48b252e74a83ba161ffea8d9bdd6a2a0b56c5f.tar.gz bcm5719-llvm-7e48b252e74a83ba161ffea8d9bdd6a2a0b56c5f.zip |
ARM: tail-call inside a function where part of a byval argument is on caller's
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
llvm-svn: 165853
Diffstat (limited to 'llvm/lib')
-rw-r--r-- | llvm/lib/Target/ARM/ARMISelLowering.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/llvm/lib/Target/ARM/ARMISelLowering.cpp b/llvm/lib/Target/ARM/ARMISelLowering.cpp index bd0c659414e..21e7e98c85f 100644 --- a/llvm/lib/Target/ARM/ARMISelLowering.cpp +++ b/llvm/lib/Target/ARM/ARMISelLowering.cpp @@ -1804,6 +1804,14 @@ ARMTargetLowering::IsEligibleForTailCallOptimization(SDValue Callee, } } + // If Caller's vararg or byval argument has been split between registers and + // stack, do not perform tail call, since part of the argument is in caller's + // local frame. + const ARMFunctionInfo *AFI_Caller = DAG.getMachineFunction(). + getInfo<ARMFunctionInfo>(); + if (AFI_Caller->getVarArgsRegSaveSize()) + return false; + // If the callee takes no arguments then go on to check the results of the // call. if (!Outs.empty()) { |