Fix bug updating dominators

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11140 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Utils/LoopSimplify.cpp b/lib/Transforms/Utils/LoopSimplify.cpp
index 798dac10f26547b665177bf2cf8becaeb26511f4..53c8542b14366fff7e464acf312c67964a10f4a8 100644 (file)
--- a/lib/Transforms/Utils/LoopSimplify.cpp
+++ b/lib/Transforms/Utils/LoopSimplify.cpp
@@ -533,12 +533,12 @@ void LoopSimplify::UpdateDomInfoForRevectoredPreds(BasicBlock *NewBB,
   DS.addBasicBlock(NewBB, NewBBDomSet);
 
   // If NewBB dominates some blocks, then it will dominate all blocks that
-  // PredBlocks[0] used to except for PredBlocks[0] itself.
+  // NewBBSucc does.
   if (NewBBDominatesNewBBSucc) {
     BasicBlock *PredBlock = PredBlocks[0];
     Function *F = NewBB->getParent();
     for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I)
-      if (DS.properlyDominates(PredBlock, I))
+      if (DS.dominates(NewBBSucc, I))
         DS.addDominator(I, NewBB);
   }