585       APInt Xtop = C1B2_C2B1->getAPInt();  in intersectConstraints()
586       APInt Xbot = A1B2_A2B1->getAPInt();  in intersectConstraints()
587       APInt Ytop = C1A2_C2A1->getAPInt();  in intersectConstraints()
588       APInt Ybot = A2B1_A1B2->getAPInt();  in intersectConstraints()
612         const APInt &UpperBound = CUB->getAPInt();  in intersectConstraints()
1268     APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt();  in strongSIVtest()
1269     APInt ConstCoeff = cast<SCEVConstant>(Coeff)->getAPInt();  in strongSIVtest()
1456   APInt APDelta = ConstDelta->getAPInt();  in weakCrossingSIVtest()
1457   APInt APCoeff = ConstCoeff->getAPInt();  in weakCrossingSIVtest()
1592   APInt AM = ConstSrcCoeff->getAPInt();  in exactSIVtest()
1593   APInt BM = ConstDstCoeff->getAPInt();  in exactSIVtest()
1594   APInt CM = ConstDelta->getAPInt();  in exactSIVtest()
1611     UM = CUB->getAPInt();  in exactSIVtest()
1722   const APInt &ConstDividend = Dividend->getAPInt();  in isRemainderZero()
1723   const APInt &ConstDivisor = Divisor->getAPInt();  in isRemainderZero()
1975   APInt AM = ConstSrcCoeff->getAPInt();  in exactRDIVtest()
1976   APInt BM = ConstDstCoeff->getAPInt();  in exactRDIVtest()
1977   APInt CM = ConstDelta->getAPInt();  in exactRDIVtest()
1993     SrcUM = UpperBound->getAPInt();  in exactRDIVtest()
2003     DstUM = UpperBound->getAPInt();  in exactRDIVtest()
2422     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2441     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2465         APInt ConstOpValue = ConstOp->getAPInt();  in gcdMIVtest()
2475   APInt ConstDelta = cast<SCEVConstant>(Constant)->getAPInt();  in gcdMIVtest()
2522         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2539         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2552     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
3218     APInt Beta = Bconst->getAPInt();  in propagateLine()
3219     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3233     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3234     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3247     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3248     APInt Charlie = Cconst->getAPInt();  in propagateLine()