Undo previous patch. It is not that simple to fix dom info here.

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

diff --git a/lib/Transforms/Scalar/LoopUnswitch.cpp b/lib/Transforms/Scalar/LoopUnswitch.cpp
index 916bb5f7ae931b3b8e1d6666832b482785de8edb..b6c6e03609d905df69db0fccce3bf7915c6383cd 100644 (file)
--- a/lib/Transforms/Scalar/LoopUnswitch.cpp
+++ b/lib/Transforms/Scalar/LoopUnswitch.cpp
@@ -1204,32 +1204,18 @@ void LoopUnswitch::RewriteLoopBodyWithConditionConstant(Loop *L, Value *LIC,
               // trying to update it is complicated.  So instead we preserve the
               // loop structure and put the block on an dead code path.
               
-              BasicBlock *SISucc = SI->getSuccessor(i);
               BasicBlock* Old = SI->getParent();
               BasicBlock* Split = SplitBlock(Old, SI, this);
               
               Instruction* OldTerm = Old->getTerminator();
-              BranchInst::Create(Split, SISucc,
+              BranchInst::Create(Split, SI->getSuccessor(i),
                                  ConstantInt::getTrue(), OldTerm);
 
-              if (DT) {
-                // Now, SISucc is dominated by Old.
-                DT->changeImmediateDominator(SISucc, Old);
-                if (DF) {
-                  // Now, Split does not dominate SISucc.
-                  // SISucc is the only member in Split's DF.
-                  DominanceFrontier::iterator S_DFI = DF->find(Split);
-                  if (S_DFI != DF->end())
-                    S_DFI->second.clear();
-                  addBBToDomFrontier(*DF, S_DFI, Split, SISucc);
-                }
-              }
-
               LPM->deleteSimpleAnalysisValue(Old->getTerminator(), L);
               Old->getTerminator()->eraseFromParent();
               
               PHINode *PN;
-              for (BasicBlock::iterator II = SISucc->begin();
+              for (BasicBlock::iterator II = SI->getSuccessor(i)->begin();
                    (PN = dyn_cast<PHINode>(II)); ++II) {
                 Value *InVal = PN->removeIncomingValue(Split, false);
                 PN->addIncoming(InVal, Old);