diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-07-13 21:55:46 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-07-13 21:55:46 +0000 |
| commit | d104240198c2f130e67074788ae807c49a913263 (patch) | |
| tree | bfa2b91230b6bf57167f826a36d7f68399588750 /lib/Transforms/Utils | |
| parent | d0c5d82adae96a6c0581ed900842fa788b0fb09b (diff) | |
| download | external_llvm-d104240198c2f130e67074788ae807c49a913263.zip external_llvm-d104240198c2f130e67074788ae807c49a913263.tar.gz external_llvm-d104240198c2f130e67074788ae807c49a913263.tar.bz2 | |
improve comments.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53531 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Utils')
| -rw-r--r-- | lib/Transforms/Utils/SimplifyCFG.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Transforms/Utils/SimplifyCFG.cpp b/lib/Transforms/Utils/SimplifyCFG.cpp index 74e83a6..ba9332b 100644 --- a/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/lib/Transforms/Utils/SimplifyCFG.cpp @@ -1538,6 +1538,9 @@ static bool SimplifyCondBranchToCondBranch(BranchInst *PBI, BranchInst *BI) { PHINode *NewPN = PHINode::Create(Type::Int1Ty, BI->getCondition()->getName() + ".pr", BB->begin()); + // Okay, we're going to insert the PHI node. Since PBI is not the only + // predecessor, compute the PHI'd conditional value for all of the preds. + // Any predecessor where the condition is not computable we keep symbolic. for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI != E; ++PI) if ((PBI = dyn_cast<BranchInst>((*PI)->getTerminator())) && PBI != BI && PBI->isConditional() && @@ -1551,7 +1554,6 @@ static bool SimplifyCondBranchToCondBranch(BranchInst *PBI, BranchInst *BI) { } BI->setCondition(NewPN); - // This will thread the branch. return true; } } @@ -1653,7 +1655,7 @@ static bool SimplifyCondBranchToCondBranch(BranchInst *PBI, BranchInst *BI) { // them agree. for (BasicBlock::iterator II = CommonDest->begin(); (PN = dyn_cast<PHINode>(II)); ++II) { - Value * BIV = PN->getIncomingValueForBlock(BB); + Value *BIV = PN->getIncomingValueForBlock(BB); unsigned PBBIdx = PN->getBasicBlockIndex(PBI->getParent()); Value *PBIV = PN->getIncomingValue(PBBIdx); if (BIV != PBIV) { |