commit 112468ce9d8a4ef7ec9c8dc8c3d8d1491b993ff5
author Devang Patel <dpatel@apple.com> Mon Aug 13 21:59:17 2007 +0000
committer Devang Patel <dpatel@apple.com> Mon Aug 13 21:59:17 2007 +0000
tree c5526d721bff29b61b62b20edaaf88f6872edaa2
parent 700fb1dc588608d36cf767190ca8ffd326fcb194

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

lib/Transforms/Utils/BreakCriticalEdges.cpp

diff --git a/lib/Transforms/Utils/BreakCriticalEdges.cpp b/lib/Transforms/Utils/BreakCriticalEdges.cpp
index af9a114..e28d59d 100644
--- a/lib/Transforms/Utils/BreakCriticalEdges.cpp
+++ b/lib/Transforms/Utils/BreakCriticalEdges.cpp
@@ -227,8 +227,12 @@
     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 {