6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-02 10:33:53 +00:00
Code Issues Projects Releases Wiki Activity

Catch more trivial tail call opportunities: no inputs and output types match.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94804 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Evan Cheng 2010-01-29 06:45:59 +00:00
parent ac512171ff
commit 7096ae48c9
2 changed files with 42 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
lib/Target/X86/X86ISelLowering.cpp
View File

@ -2246,27 +2246,35 @@ X86TargetLowering::IsEligibleForTailCallOptimization(SDValue Callee,
const SmallVectorImpl<ISD::OutputArg> &Outs,
const SmallVectorImpl<ISD::InputArg> &Ins,
SelectionDAG& DAG) const {
// If -tailcallopt is specified, make fastcc functions tail-callable.
const Function *F = DAG.getMachineFunction().getFunction();
if (PerformTailCallOpt &&
CalleeCC == CallingConv::Fast && F->getCallingConv() == CalleeCC)
return true;
if (CalleeCC != CallingConv::Fast &&
CalleeCC != CallingConv::C)
return false;
// If -tailcallopt is specified, make fastcc functions tail-callable.
const Function *CallerF = DAG.getMachineFunction().getFunction();
if (PerformTailCallOpt &&
CalleeCC == CallingConv::Fast &&
CallerF->getCallingConv() == CalleeCC)
return true;
// Look for obvious safe cases to perform tail call optimization.
// For now, only consider callees which take no arguments and no return
// values.
// For now, only consider callees which take no arguments.
if (!Outs.empty())
return false;
if (Ins.empty())
// If the caller does not return a value, then this is obviously safe.
return F->getReturnType()->isVoidTy();
// If the caller does not return a value, then this is obviously safe.
// This is one case where it's safe to perform this optimization even
// if the return types do not match.
const Type *CallerRetTy = CallerF->getReturnType();
if (CallerRetTy->isVoidTy())
return true;
return false;
// If the return types match, then it's safe.
GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee);
if (!G) return false; // FIXME: common external symbols?
Function *CalleeF = cast<Function>(G->getGlobal());
const Type *CalleeRetTy = CalleeF->getReturnType();
return CallerRetTy == CalleeRetTy;
}
FastISel *

24
test/CodeGen/X86/tailcall2.ll
View File

@ -1,12 +1,32 @@
; RUN: llc < %s -march=x86 -asm-verbose=false | FileCheck %s
; RUN: llc < %s -march=x86-64 -asm-verbose=false | FileCheck %s
define void @bar(i32 %x) nounwind ssp {
define void @t1(i32 %x) nounwind ssp {
entry:
; CHECK: bar:
; CHECK: t1:
; CHECK: jmp {{_?}}foo
tail call void @foo() nounwind
ret void
}
declare void @foo()
define void @t2() nounwind ssp {
entry:
; CHECK: t2:
; CHECK: jmp {{_?}}foo2
%0 = tail call i32 @foo2() nounwind
ret void
}
declare i32 @foo2()
define void @t3() nounwind ssp {
entry:
; CHECK: t3:
; CHECK: jmp {{_?}}foo3
%0 = tail call i32 @foo3() nounwind
ret void
}
declare i32 @foo3()