From: Chris Lattner <sabre@nondot.org>
Date: Wed, 23 Jul 2003 03:32:41 +0000 (+0000)
Subject: Fix bug: TailDup/2003-07-22-InfiniteLoop.ll
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=00f185fbfd99d21cda394eded77d1bc0ea2a4073;p=oota-llvm.git

Fix bug: TailDup/2003-07-22-InfiniteLoop.ll


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

diff --git a/lib/Transforms/Scalar/TailDuplication.cpp b/lib/Transforms/Scalar/TailDuplication.cpp
index 04736f07e14..eea2096a9ef 100644
--- a/lib/Transforms/Scalar/TailDuplication.cpp
+++ b/lib/Transforms/Scalar/TailDuplication.cpp
@@ -76,6 +76,11 @@ bool TailDup::shouldEliminateUnconditionalBranch(TerminatorInst *TI) {
   BasicBlock *Dest = BI->getSuccessor(0);
   if (Dest == BI->getParent()) return false;        // Do not loop infinitely!
 
+  // Do not inline a block if we will just get another branch to the same block!
+  if (BranchInst *DBI = dyn_cast<BranchInst>(Dest->getTerminator()))
+    if (DBI->isUnconditional() && DBI->getSuccessor(0) == Dest)
+      return false;                                 // Do not loop infinitely!
+
   // Do not bother working on dead blocks...
   pred_iterator PI = pred_begin(Dest), PE = pred_end(Dest);
   if (PI == PE && Dest != Dest->getParent()->begin())