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
// 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));