507       APInt Xtop = C1B2_C2B1->getAPInt();  in intersectConstraints()
508       APInt Xbot = A1B2_A2B1->getAPInt();  in intersectConstraints()
509       APInt Ytop = C1A2_C2A1->getAPInt();  in intersectConstraints()
510       APInt Ybot = A2B1_A1B2->getAPInt();  in intersectConstraints()
515       APInt Xq = Xtop; // these need to be initialized, even  in intersectConstraints()
516       APInt Xr = Xtop; // though they're just going to be overwritten  in intersectConstraints()
517       APInt::sdivrem(Xtop, Xbot, Xq, Xr);  in intersectConstraints()
518       APInt Yq = Ytop;  in intersectConstraints()
519       APInt Yr = Ytop;  in intersectConstraints()
520       APInt::sdivrem(Ytop, Ybot, Yq, Yr);  in intersectConstraints()
534         const APInt &UpperBound = CUB->getAPInt();  in intersectConstraints()
1177     APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt();  in strongSIVtest()
1178     APInt ConstCoeff = cast<SCEVConstant>(Coeff)->getAPInt();  in strongSIVtest()
1179     APInt Distance  = ConstDelta; // these need to be initialized  in strongSIVtest()
1180     APInt Remainder = ConstDelta;  in strongSIVtest()
1181     APInt::sdivrem(ConstDelta, ConstCoeff, Distance, Remainder);  in strongSIVtest()
1365   APInt APDelta = ConstDelta->getAPInt();  in weakCrossingSIVtest()
1366   APInt APCoeff = ConstCoeff->getAPInt();  in weakCrossingSIVtest()
1367   APInt Distance = APDelta; // these need to be initialzed  in weakCrossingSIVtest()
1368   APInt Remainder = APDelta;  in weakCrossingSIVtest()
1369   APInt::sdivrem(APDelta, APCoeff, Distance, Remainder);  in weakCrossingSIVtest()
1380   APInt Two = APInt(Distance.getBitWidth(), 2, true);  in weakCrossingSIVtest()
1402 static bool findGCD(unsigned Bits, const APInt &AM, const APInt &BM,  in findGCD()
1403                     const APInt &Delta, APInt &G, APInt &X, APInt &Y) {  in findGCD()
1404   APInt A0(Bits, 1, true), A1(Bits, 0, true);  in findGCD()
1405   APInt B0(Bits, 0, true), B1(Bits, 1, true);  in findGCD()
1406   APInt G0 = AM.abs();  in findGCD()
1407   APInt G1 = BM.abs();  in findGCD()
1408   APInt Q = G0; // these need to be initialized  in findGCD()
1409   APInt R = G0;  in findGCD()
1410   APInt::sdivrem(G0, G1, Q, R);  in findGCD()
1412     APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;  in findGCD()
1413     APInt B2 = B0 - Q*B1; B0 = B1; B1 = B2;  in findGCD()
1415     APInt::sdivrem(G0, G1, Q, R);  in findGCD()
1432 static APInt floorOfQuotient(const APInt &A, const APInt &B) {  in floorOfQuotient()
1433   APInt Q = A; // these need to be initialized  in floorOfQuotient()
1434   APInt R = A;  in floorOfQuotient()
1435   APInt::sdivrem(A, B, Q, R);  in floorOfQuotient()
1445 static APInt ceilingOfQuotient(const APInt &A, const APInt &B) {  in ceilingOfQuotient()
1446   APInt Q = A; // these need to be initialized  in ceilingOfQuotient()
1447   APInt R = A;  in ceilingOfQuotient()
1448   APInt::sdivrem(A, B, Q, R);  in ceilingOfQuotient()
1460 APInt maxAPInt(APInt A, APInt B) {  in maxAPInt()
1466 APInt minAPInt(APInt A, APInt B) {  in minAPInt()
1511   APInt G, X, Y;  in exactSIVtest()
1512   APInt AM = ConstSrcCoeff->getAPInt();  in exactSIVtest()
1513   APInt BM = ConstDstCoeff->getAPInt();  in exactSIVtest()
1525   APInt UM(Bits, 1, true);  in exactSIVtest()
1535   APInt TU(APInt::getSignedMaxValue(Bits));  in exactSIVtest()
1536   APInt TL(APInt::getSignedMinValue(Bits));  in exactSIVtest()
1539   APInt TMUL = BM.sdiv(G);  in exactSIVtest()
1585   APInt SaveTU(TU); // save these  in exactSIVtest()
1586   APInt SaveTL(TL);  in exactSIVtest()
1658   const APInt &ConstDividend = Dividend->getAPInt();  in isRemainderZero()
1659   const APInt &ConstDivisor = Divisor->getAPInt();  in isRemainderZero()
1910   APInt G, X, Y;  in exactRDIVtest()
1911   APInt AM = ConstSrcCoeff->getAPInt();  in exactRDIVtest()
1912   APInt BM = ConstDstCoeff->getAPInt();  in exactRDIVtest()
1923   APInt SrcUM(Bits, 1, true);  in exactRDIVtest()
1933   APInt DstUM(Bits, 1, true);  in exactRDIVtest()
1943   APInt TU(APInt::getSignedMaxValue(Bits));  in exactRDIVtest()
1944   APInt TL(APInt::getSignedMinValue(Bits));  in exactRDIVtest()
1947   APInt TMUL = BM.sdiv(G);  in exactRDIVtest()
2327   APInt RunningGCD = APInt::getNullValue(BitWidth);  in gcdMIVtest()
2342     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2361     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2367   APInt ExtraGCD = APInt::getNullValue(BitWidth);  in gcdMIVtest()
2385         APInt ConstOpValue = ConstOp->getAPInt();  in gcdMIVtest()
2395   APInt ConstDelta = cast<SCEVConstant>(Constant)->getAPInt();  in gcdMIVtest()
2401   APInt Remainder = ConstDelta.srem(RunningGCD);  in gcdMIVtest()
2442         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2459         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2472     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
3125     APInt Beta = Bconst->getAPInt();  in propagateLine()
3126     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3127     APInt CdivB = Charlie.sdiv(Beta);  in propagateLine()
3140     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3141     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3142     APInt CdivA = Charlie.sdiv(Alpha);  in propagateLine()
3154     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3155     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3156     APInt CdivA = Charlie.sdiv(Alpha);  in propagateLine()