From: Devang Patel <dpatel@apple.com>
Date: Wed, 22 Aug 2007 18:07:47 +0000 (+0000)
Subject: Fix thinko.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ea0fa973340a8e98818f7a97b5d225267641bfc5;p=oota-llvm.git

Fix thinko.
Starting value of second loop's induction variable can not be lower
then starting value of original loop's induction variable.


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

diff --git a/lib/Transforms/Scalar/LoopIndexSplit.cpp b/lib/Transforms/Scalar/LoopIndexSplit.cpp
index 1bc2dca53bf..a01798b48f5 100644
--- a/lib/Transforms/Scalar/LoopIndexSplit.cpp
+++ b/lib/Transforms/Scalar/LoopIndexSplit.cpp
@@ -748,7 +748,7 @@ bool LoopIndexSplit::splitLoop(SplitInfo &SD) {
   //[*] Calculate True loop's new Exit Value in loop preheader.
   //      TL_ExitValue = min(SplitValue, ExitValue)
   //[*] Calculate False loop's new Start Value in loop preheader.
-  //      FL_StartValue = min(SplitValue, TrueLoop.StartValue)
+  //      FL_StartValue = max(SplitValue, TrueLoop.StartValue)
   Value *TL_ExitValue = NULL;
   Value *FL_StartValue = NULL;
   if (isa<ConstantInt>(SD.SplitValue)) {
@@ -770,8 +770,8 @@ bool LoopIndexSplit::splitLoop(SplitInfo &SD) {
                              ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT,
                              SD.SplitValue, StartValue, "lsplit.sv",
                              TL_PHTerminator);
-    FL_StartValue = new SelectInst(C2, SD.SplitValue, StartValue,
-                                   "lsplit.sv", TL_Preheader->getTerminator());
+    FL_StartValue = new SelectInst(C2, StartValue, SD.SplitValue,
+                                   "lsplit.sv", TL_PHTerminator);
   }
 
   //[*] Clone loop. Avoid true destination of split condition and