diff options
author | Devang Patel <dpatel@apple.com> | 2007-08-01 22:23:50 +0000 |
---|---|---|
committer | Devang Patel <dpatel@apple.com> | 2007-08-01 22:23:50 +0000 |
commit | 28ae151c48df634b4df5b3630a9a65021574fb4c (patch) | |
tree | e5bc2fabca7ef9269a73b29f26ff29c8e6bf8e90 /lib/VMCore | |
parent | 9066020993695a690c1f979f9cac4e14d325e237 (diff) | |
download | external_llvm-28ae151c48df634b4df5b3630a9a65021574fb4c.zip external_llvm-28ae151c48df634b4df5b3630a9a65021574fb4c.tar.gz external_llvm-28ae151c48df634b4df5b3630a9a65021574fb4c.tar.bz2 |
Update dominator info for the middle blocks created while spliting
exit edge to preserve LCSSA.
Fix dominance frontier update during loop unswitch. This fixes PR 1589.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40695 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
-rw-r--r-- | lib/VMCore/Dominators.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp index 9b5ee1b..91b422c 100644 --- a/lib/VMCore/Dominators.cpp +++ b/lib/VMCore/Dominators.cpp @@ -627,6 +627,15 @@ void DominanceFrontier::splitBlock(BasicBlock *NewBB) { if (!DT.dominates(NewBB, NewBBSucc)) NewBBDominatesNewBBSucc = false; + // NewBBSucc inherites original NewBB frontier. + DominanceFrontier::iterator NewBBI = find(NewBB); + if (NewBBI != end()) { + DominanceFrontier::DomSetType NewBBSet = NewBBI->second; + DominanceFrontier::DomSetType NewBBSuccSet; + NewBBSuccSet.insert(NewBBSet.begin(), NewBBSet.end()); + addBasicBlock(NewBBSucc, NewBBSuccSet); + } + // If NewBB dominates NewBBSucc, then DF(NewBB) is now going to be the // DF(PredBlocks[0]) without the stuff that the new block does not dominate // a predecessor of. @@ -648,7 +657,6 @@ void DominanceFrontier::splitBlock(BasicBlock *NewBB) { ++SetI; } - DominanceFrontier::iterator NewBBI = find(NewBB); if (NewBBI != end()) { DominanceFrontier::DomSetType NewBBSet = NewBBI->second; NewBBSet.insert(Set.begin(), Set.end()); |