Do not infinitely "unroll" single BB loops.

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

diff --git a/lib/Transforms/Utils/SimplifyCFG.cpp b/lib/Transforms/Utils/SimplifyCFG.cpp
index a1b917ff3e918b5724a9645c474df2ba4c0ab4d2..a5153d65e3208af998c856b1c39f93e2b1fa99b1 100644 (file)
--- a/lib/Transforms/Utils/SimplifyCFG.cpp
+++ b/lib/Transforms/Utils/SimplifyCFG.cpp
@@ -804,12 +804,12 @@ bool llvm::SimplifyCFG(BasicBlock *BB) {
       // If this basic block is ONLY a setcc and a branch, and if a predecessor
       // branches to us and one of our successors, fold the setcc into the
       // predecessor and use logical operations to pick the right destination.
+      BasicBlock *TrueDest  = BI->getSuccessor(0);
+      BasicBlock *FalseDest = BI->getSuccessor(1);
       if (Instruction *Cond = dyn_cast<Instruction>(BI->getCondition()))
         if (Cond->getParent() == BB && &BB->front() == Cond &&
-            Cond->getNext() == BI && Cond->hasOneUse()) {
-          BasicBlock *TrueDest  = BI->getSuccessor(0);
-          BasicBlock *FalseDest = BI->getSuccessor(1);
-
+            Cond->getNext() == BI && Cond->hasOneUse() &&
+            TrueDest != BB && FalseDest != BB)
           for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI!=E; ++PI)
             if (BranchInst *PBI = dyn_cast<BranchInst>((*PI)->getTerminator()))
               if (PBI->isConditional() && SafeToMergeTerminators(BI, PBI)) {
@@ -853,7 +853,6 @@ bool llvm::SimplifyCFG(BasicBlock *BB) {
                   return SimplifyCFG(BB) | 1;
                 }
               }
-        }
 
       // If this block ends with a branch instruction, and if there is one
       // predecessor, see if the previous block ended with a branch on the same