diff options
| author | Devang Patel <dpatel@apple.com> | 2007-08-13 21:59:17 +0000 |
|---|---|---|
| committer | Devang Patel <dpatel@apple.com> | 2007-08-13 21:59:17 +0000 |
| commit | 6acc9e6b7bc5cc5b45a69988b2805674da62a820 (patch) | |
| tree | c5526d721bff29b61b62b20edaaf88f6872edaa2 /lib/Transforms/Utils/BreakCriticalEdges.cpp | |
| parent | 17f218e001862785c5ba5974a6374f2f7bc29ac0 (diff) | |
If NewBB dominates DestBB then DestBB is not part of NewBB's dominance frontier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41051 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Utils/BreakCriticalEdges.cpp')
| -rw-r--r-- | lib/Transforms/Utils/BreakCriticalEdges.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Transforms/Utils/BreakCriticalEdges.cpp b/lib/Transforms/Utils/BreakCriticalEdges.cpp index af9a114bbe..e28d59d7c3 100644 --- a/lib/Transforms/Utils/BreakCriticalEdges.cpp +++ b/lib/Transforms/Utils/BreakCriticalEdges.cpp @@ -227,8 +227,12 @@ bool llvm::SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P, DominanceFrontier::DomSetType NewDFSet; if (NewBBDominatesDestBB) { DominanceFrontier::iterator I = DF->find(DestBB); - if (I != DF->end()) + if (I != DF->end()) { DF->addBasicBlock(NewBB, I->second); + // However NewBB's frontier does not include DestBB. + DominanceFrontier::iterator NF = DF->find(NewBB); + DF->removeFromFrontier(NF, DestBB); + } else DF->addBasicBlock(NewBB, DominanceFrontier::DomSetType()); } else { |