6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-25 16:24:23 +00:00
Code Issues Projects Releases Wiki Activity

Refactor code that checks if it's a call to a "nounwind" function.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@87036 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling
2009-11-12 21:59:20 +00:00
parent 4ff4141a9e
commit ed060dcb5c
2 changed files with 40 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

67
lib/CodeGen/AsmPrinter/DwarfException.cpp
View File

@ -462,6 +462,40 @@ ComputeActionsTable(const SmallVectorImpl<const LandingPadInfo*> &LandingPads,
return SizeActions; return SizeActions;
} }
/// CallToNoUnwindFunction - Return `true' if this is a call to a function
/// marked `nounwind'. Return `false' otherwise.
bool DwarfException::CallToNoUnwindFunction(const MachineInstr *MI) {
assert(MI->getDesc().isCall() && "This should be a call instruction!");
bool MarkedNoUnwind = false;
bool SawFunc = false;
for (unsigned I = 0, E = MI->getNumOperands(); I != E; ++I) {
const MachineOperand &MO = MI->getOperand(I);
if (MO.isGlobal()) {
if (Function *F = dyn_cast<Function>(MO.getGlobal())) {
if (SawFunc) {
// Be conservative. If we have more than one function operand for this
// call, then we can't make the assumption that it's the callee and
// not a parameter to the call.
//
// FIXME: Determine if there's a way to say that `F' is the callee or
// parameter.
MarkedNoUnwind = false;
break;
}
if (F->doesNotThrow()) {
SawFunc = true;
MarkedNoUnwind = true;
}
}
}
}
return MarkedNoUnwind;
}
/// ComputeCallSiteTable - Compute the call-site table. The entry for an invoke /// ComputeCallSiteTable - Compute the call-site table. The entry for an invoke
/// has a try-range containing the call, a non-zero landing pad, and an /// has a try-range containing the call, a non-zero landing pad, and an
/// appropriate action. The entry for an ordinary call has a try-range /// appropriate action. The entry for an ordinary call has a try-range
@ -490,37 +524,8 @@ ComputeCallSiteTable(SmallVectorImpl<CallSiteEntry> &CallSites,
for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end(); for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end();
MI != E; ++MI) { MI != E; ++MI) {
if (!MI->isLabel()) { if (!MI->isLabel()) {
if (MI->getDesc().isCall()) { if (MI->getDesc().isCall())
// Don't mark a call as potentially throwing if the function it's SawPotentiallyThrowing |= !CallToNoUnwindFunction(MI);
// calling is marked "nounwind".
bool DoesNotThrow = false;
bool SawFunc = false;
for (unsigned OI = 0, OE = MI->getNumOperands(); OI != OE; ++OI) {
const MachineOperand &MO = MI->getOperand(OI);
if (MO.isGlobal()) {
if (Function *F = dyn_cast<Function>(MO.getGlobal())) {
if (SawFunc) {
// Be conservative. If we have more than one function operand
// for this call, then we can't make the assumption that it's
// the callee and not a parameter to the call.
//
// FIXME: Determine if there's a way to say that `F' is the
// callee or parameter.
DoesNotThrow = false;
break;
}
if (F->doesNotThrow()) {
SawFunc = true;
DoesNotThrow = true;
}
}
}
}
if (!DoesNotThrow)
SawPotentiallyThrowing = true;
}
continue; continue;
} }

4
lib/CodeGen/AsmPrinter/DwarfException.h
View File

@ -155,6 +155,10 @@ class VISIBILITY_HIDDEN DwarfException : public Dwarf {
SmallVectorImpl<ActionEntry> &Actions, SmallVectorImpl<ActionEntry> &Actions,
SmallVectorImpl<unsigned> &FirstActions); SmallVectorImpl<unsigned> &FirstActions);
/// CallToNoUnwindFunction - Return `true' if this is a call to a function
/// marked `nounwind'. Return `false' otherwise.
bool CallToNoUnwindFunction(const MachineInstr *MI);
/// ComputeCallSiteTable - Compute the call-site table. The entry for an /// ComputeCallSiteTable - Compute the call-site table. The entry for an
/// invoke has a try-range containing the call, a non-zero landing pad and an /// invoke has a try-range containing the call, a non-zero landing pad and an
/// appropriate action. The entry for an ordinary call has a try-range /// appropriate action. The entry for an ordinary call has a try-range