Correct over-zealous removal of hack.

Some code want to check that *any* call within a function has the 'returns
twice' attribute, not just that the current function has one.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142221 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling
2011-10-17 18:43:40 +00:00
parent 8f3af87e99
commit 3c5e60994f
6 changed files with 22 additions and 4 deletions

View File

@@ -425,6 +425,10 @@ public:
/// ///
bool hasAddressTaken(const User** = 0) const; bool hasAddressTaken(const User** = 0) const;
/// callsFunctionThatReturnsTwice - Return true if the function has a call to
/// setjmp or other function that gcc recognizes as "returning twice".
bool callsFunctionThatReturnsTwice() const;
private: private:
// Shadow Value::setValueSubclassData with a private forwarding method so that // Shadow Value::setValueSubclassData with a private forwarding method so that
// subclasses cannot accidentally use it. // subclasses cannot accidentally use it.

View File

@@ -229,7 +229,7 @@ void CodeMetrics::analyzeFunction(Function *F, const TargetData *TD) {
// _setjmp), never inline it. This is a hack because we depend on the user // _setjmp), never inline it. This is a hack because we depend on the user
// marking their local variables as volatile if they are live across a setjmp // marking their local variables as volatile if they are live across a setjmp
// call, and they probably won't do this in callers. // call, and they probably won't do this in callers.
callsSetJmp = F->hasFnAttr(Attribute::ReturnsTwice); callsSetJmp = F->callsFunctionThatReturnsTwice();
// Look at the size of the callee. // Look at the size of the callee.
for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB) for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB)

View File

@@ -374,7 +374,7 @@ bool SelectionDAGISel::runOnMachineFunction(MachineFunction &mf) {
} }
// Determine if there is a call to setjmp in the machine function. // Determine if there is a call to setjmp in the machine function.
MF->setCallsSetJmp(Fn.hasFnAttr(Attribute::ReturnsTwice)); MF->setCallsSetJmp(Fn.callsFunctionThatReturnsTwice());
// Replace forward-declared registers with the registers containing // Replace forward-declared registers with the registers containing
// the desired value. // the desired value.

View File

@@ -213,7 +213,7 @@ bool TailCallElim::runOnFunction(Function &F) {
// Finally, if this function contains no non-escaping allocas, or calls // Finally, if this function contains no non-escaping allocas, or calls
// setjmp, mark all calls in the function as eligible for tail calls // setjmp, mark all calls in the function as eligible for tail calls
//(there is no stack memory for them to access). //(there is no stack memory for them to access).
if (!FunctionContainsEscapingAllocas && !F.hasFnAttr(Attribute::ReturnsTwice)) if (!FunctionContainsEscapingAllocas && !F.callsFunctionThatReturnsTwice())
for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB) for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I)
if (CallInst *CI = dyn_cast<CallInst>(I)) { if (CallInst *CI = dyn_cast<CallInst>(I)) {

View File

@@ -411,4 +411,19 @@ bool Function::hasAddressTaken(const User* *PutOffender) const {
return false; return false;
} }
/// callsFunctionThatReturnsTwice - Return true if the function has a call to
/// setjmp or other function that gcc recognizes as "returning twice".
bool Function::callsFunctionThatReturnsTwice() const {
for (const_inst_iterator
I = inst_begin(this), E = inst_end(this); I != E; ++I) {
const CallInst* callInst = dyn_cast<CallInst>(&*I);
if (!callInst)
continue;
if (callInst->canReturnTwice())
return true;
}
return false;
}
// vim: sw=2 ai // vim: sw=2 ai

View File

@@ -1,5 +1,4 @@
; RUN: opt < %s -tailcallelim -S | FileCheck %s ; RUN: opt < %s -tailcallelim -S | FileCheck %s
; XFAIL: *
; Test that we don't tail call in a functions that calls returns_twice ; Test that we don't tail call in a functions that calls returns_twice
; functions. ; functions.