RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-28 06:00:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[WinEH] Make collectFuncletMembers non-recursive

Browse Source 
Use a worklist for the pre-order DFS instead of using recursion.
No functionality change is intended.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@258521 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
David Majnemer 2016-01-22 18:49:50 +00:00
parent 161c62450c
commit c7ee533781
1 changed files with 22 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
lib/CodeGen/Analysis.cpp
View File

@ -654,32 +654,30 @@ bool llvm::canBeOmittedFromSymbolTable(const GlobalValue *GV) {
static void collectFuncletMembers(
DenseMap<const MachineBasicBlock *, int> &FuncletMembership, int Funclet,
const MachineBasicBlock *MBB) {
// Add this MBB to our funclet.
auto P = FuncletMembership.insert(std::make_pair(MBB, Funclet));
SmallVector<const MachineBasicBlock *, 16> Worklist = {MBB};
while (!Worklist.empty()) {
const MachineBasicBlock *Visiting = Worklist.pop_back_val();
// Don't follow blocks which start new funclets.
if (Visiting->isEHPad() && Visiting != MBB)
continue;
// Don't revisit blocks.
if (!P.second) {
assert(P.first->second == Funclet && "MBB is part of two funclets!");
return;
// Add this MBB to our funclet.
auto P = FuncletMembership.insert(std::make_pair(Visiting, Funclet));
// Don't revisit blocks.
if (!P.second) {
assert(P.first->second == Funclet && "MBB is part of two funclets!");
continue;
}
// Returns are boundaries where funclet transfer can occur, don't follow
// successors.
if (Visiting->isReturnBlock())
continue;
for (const MachineBasicBlock *Succ : Visiting->successors())
Worklist.push_back(Succ);
}
bool IsReturn = false;
int NumTerminators = 0;
for (const MachineInstr &MI : MBB->terminators()) {
IsReturn |= MI.isReturn();
++NumTerminators;
}
assert((!IsReturn || NumTerminators == 1) &&
"Expected only one terminator when a return is present!");
// Returns are boundaries where funclet transfer can occur, don't follow
// successors.
if (IsReturn)
return;
for (const MachineBasicBlock *SMBB : MBB->successors())
if (!SMBB->isEHPad())
collectFuncletMembers(FuncletMembership, Funclet, SMBB);
}
DenseMap<const MachineBasicBlock *, int>