maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Become multiple return value aware. 

Right now, the pass does not optimize tail recursions 
involving multiple return values.

llvm-svn: 48228
This commit is contained in:
Devang Patel 2008-03-11 17:33:32 +00:00
parent e418de3023
commit 5663fe6613
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/lib/Transforms/Scalar/TailRecursionElimination.cpp
View File

@ -249,6 +249,10 @@ static Value *getCommonReturnValue(ReturnInst *TheRI, CallInst *CI) {
Function *F = TheRI->getParent()->getParent(); Function *F = TheRI->getParent()->getParent();
Value *ReturnedValue = 0; Value *ReturnedValue = 0;
// TODO: Handle multiple value ret instructions;
if (isa<StructType>(F->getReturnType()))
return 0;
for (Function::iterator BBI = F->begin(), E = F->end(); BBI != E; ++BBI) for (Function::iterator BBI = F->begin(), E = F->end(); BBI != E; ++BBI)
if (ReturnInst *RI = dyn_cast<ReturnInst>(BBI->getTerminator())) if (ReturnInst *RI = dyn_cast<ReturnInst>(BBI->getTerminator()))
if (RI != TheRI) { if (RI != TheRI) {
@ -363,7 +367,7 @@ bool TailCallElim::ProcessReturningBlock(ReturnInst *Ret, BasicBlock *&OldEntry,
// of the call and return void, ignore the value of the call and return a // of the call and return void, ignore the value of the call and return a
// constant, return the value returned by the tail call, or that are being // constant, return the value returned by the tail call, or that are being
// accumulator recursion variable eliminated. // accumulator recursion variable eliminated.
if (Ret->getNumOperands() != 0 && Ret->getReturnValue() != CI && if (Ret->getNumOperands() == 1 && Ret->getReturnValue() != CI &&
!isa<UndefValue>(Ret->getReturnValue()) && !isa<UndefValue>(Ret->getReturnValue()) &&
AccumulatorRecursionEliminationInitVal == 0 && AccumulatorRecursionEliminationInitVal == 0 &&
!getCommonReturnValue(Ret, CI)) !getCommonReturnValue(Ret, CI))