shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

Fix for 2006-06-26-MultipleExitsSingleBlock.

Browse Source 
If a single exit block has multiple predecessors within the loop, it will
appear in the exit blocks list more than once.  LCSSA needs to take that into
account so that it doesn't double process that exit block.

llvm-svn: 28750
This commit is contained in:
Owen Anderson 2006-06-12 07:10:16 +00:00
parent ecb8036e60
commit 0ac336965e
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
llvm/lib/Transforms/Utils/LCSSA.cpp
View File

@ -155,13 +155,16 @@ void LCSSA::processInstruction(Instruction* Instr,
std::vector<PHINode*> workList;
for (std::vector<BasicBlock*>::const_iterator BBI = exitBlocks.begin(),
BBE = exitBlocks.end(); BBI != BBE; ++BBI)
if (DT->getNode(Instr->getParent())->dominates(DT->getNode(*BBI))) {
PHINode *phi = new PHINode(Instr->getType(), Instr->getName()+".lcssa",
BBE = exitBlocks.end(); BBI != BBE; ++BBI) {
Instruction*& phi = Phis[*BBI];
if (phi == 0 &&
DT->getNode(Instr->getParent())->dominates(DT->getNode(*BBI))) {
phi = new PHINode(Instr->getType(), Instr->getName()+".lcssa",
(*BBI)->begin());
workList.push_back(phi);
workList.push_back(cast<PHINode>(phi));
Phis[*BBI] = phi;
}
}
// Phi nodes that need to have their incoming values filled.
std::vector<PHINode*> needIncomingValues;