520       APInt Xtop = C1B2_C2B1->getAPInt();  in intersectConstraints()
521       APInt Xbot = A1B2_A2B1->getAPInt();  in intersectConstraints()
522       APInt Ytop = C1A2_C2A1->getAPInt();  in intersectConstraints()
523       APInt Ybot = A2B1_A1B2->getAPInt();  in intersectConstraints()
547         const APInt &UpperBound = CUB->getAPInt();  in intersectConstraints()
1183     APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt();  in strongSIVtest()
1184     APInt ConstCoeff = cast<SCEVConstant>(Coeff)->getAPInt();  in strongSIVtest()
1371   APInt APDelta = ConstDelta->getAPInt();  in weakCrossingSIVtest()
1372   APInt APCoeff = ConstCoeff->getAPInt();  in weakCrossingSIVtest()
1507   APInt AM = ConstSrcCoeff->getAPInt();  in exactSIVtest()
1508   APInt BM = ConstDstCoeff->getAPInt();  in exactSIVtest()
1509   APInt CM = ConstDelta->getAPInt();  in exactSIVtest()
1526     UM = CUB->getAPInt();  in exactSIVtest()
1637   const APInt &ConstDividend = Dividend->getAPInt();  in isRemainderZero()
1638   const APInt &ConstDivisor = Divisor->getAPInt();  in isRemainderZero()
1890   APInt AM = ConstSrcCoeff->getAPInt();  in exactRDIVtest()
1891   APInt BM = ConstDstCoeff->getAPInt();  in exactRDIVtest()
1892   APInt CM = ConstDelta->getAPInt();  in exactRDIVtest()
1908     SrcUM = UpperBound->getAPInt();  in exactRDIVtest()
1918     DstUM = UpperBound->getAPInt();  in exactRDIVtest()
2337     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2356     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2380         APInt ConstOpValue = ConstOp->getAPInt();  in gcdMIVtest()
2390   APInt ConstDelta = cast<SCEVConstant>(Constant)->getAPInt();  in gcdMIVtest()
2437         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2454         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2467     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
3120     APInt Beta = Bconst->getAPInt();  in propagateLine()
3121     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3135     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3136     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3149     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3150     APInt Charlie = Cconst->getAPInt();  in propagateLine()