RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 10:42:39 +01:00
Code Issues 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.

llvm-svn: 258521
This commit is contained in:
David Majnemer 2016-01-22 18:49:50 +00:00
parent d50c4b11ba
commit 0533388931
1 changed files with 22 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
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) {
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;
// Add this MBB to our funclet.
auto P = FuncletMembership.insert(std::make_pair(MBB, 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!");
return;
continue;
}
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;
if (Visiting->isReturnBlock())
continue;
for (const MachineBasicBlock *SMBB : MBB->successors())
if (!SMBB->isEHPad())
collectFuncletMembers(FuncletMembership, Funclet, SMBB);
for (const MachineBasicBlock *Succ : Visiting->successors())
Worklist.push_back(Succ);
}
}
DenseMap<const MachineBasicBlock *, int>