From: Reid Spencer <rspencer@reidspencer.com>
Date: Mon, 16 Apr 2007 01:48:37 +0000 (+0000)
Subject: For PR1336:
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b4a7fea7fde104a8c81fffb1cf7b8227af8fc845;p=oota-llvm.git

For PR1336:
Fix a div-by-zero bug noticed by APInt. This fixes:
test/Transforms/IndVarsSimplify/exit_value_tests.llx


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

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 54848e96a21..89067539c32 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -2125,7 +2125,12 @@ SolveQuadraticEquation(const SCEVAddRecExpr *AddRec) {
     // Compute the two solutions for the quadratic formula. 
     // The divisions must be performed as signed divisions.
     APInt NegB(-B);
-    APInt TwoA(A << 1);
+    APInt TwoA( A << Two );
+    if (TwoA == 0) {
+      const Type* Ty = LC->getValue()->getType();
+      return std::make_pair(SCEVUnknown::get(UndefValue::get(Ty)),
+                            SCEVUnknown::get(UndefValue::get(Ty)));
+    }
     ConstantInt *Solution1 = ConstantInt::get((NegB + SqrtVal).sdiv(TwoA));
     ConstantInt *Solution2 = ConstantInt::get((NegB - SqrtVal).sdiv(TwoA));