522       APInt Xtop = C1B2_C2B1->getAPInt();  in intersectConstraints()
523       APInt Xbot = A1B2_A2B1->getAPInt();  in intersectConstraints()
524       APInt Ytop = C1A2_C2A1->getAPInt();  in intersectConstraints()
525       APInt Ybot = A2B1_A1B2->getAPInt();  in intersectConstraints()
549         const APInt &UpperBound = CUB->getAPInt();  in intersectConstraints()
1205     APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt();  in strongSIVtest()
1206     APInt ConstCoeff = cast<SCEVConstant>(Coeff)->getAPInt();  in strongSIVtest()
1393   APInt APDelta = ConstDelta->getAPInt();  in weakCrossingSIVtest()
1394   APInt APCoeff = ConstCoeff->getAPInt();  in weakCrossingSIVtest()
1529   APInt AM = ConstSrcCoeff->getAPInt();  in exactSIVtest()
1530   APInt BM = ConstDstCoeff->getAPInt();  in exactSIVtest()
1531   APInt CM = ConstDelta->getAPInt();  in exactSIVtest()
1548     UM = CUB->getAPInt();  in exactSIVtest()
1659   const APInt &ConstDividend = Dividend->getAPInt();  in isRemainderZero()
1660   const APInt &ConstDivisor = Divisor->getAPInt();  in isRemainderZero()
1912   APInt AM = ConstSrcCoeff->getAPInt();  in exactRDIVtest()
1913   APInt BM = ConstDstCoeff->getAPInt();  in exactRDIVtest()
1914   APInt CM = ConstDelta->getAPInt();  in exactRDIVtest()
1930     SrcUM = UpperBound->getAPInt();  in exactRDIVtest()
1940     DstUM = UpperBound->getAPInt();  in exactRDIVtest()
2359     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2378     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2402         APInt ConstOpValue = ConstOp->getAPInt();  in gcdMIVtest()
2412   APInt ConstDelta = cast<SCEVConstant>(Constant)->getAPInt();  in gcdMIVtest()
2459         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2476         APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
2489     APInt ConstCoeff = Constant->getAPInt();  in gcdMIVtest()
3155     APInt Beta = Bconst->getAPInt();  in propagateLine()
3156     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3170     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3171     APInt Charlie = Cconst->getAPInt();  in propagateLine()
3184     APInt Alpha = Aconst->getAPInt();  in propagateLine()
3185     APInt Charlie = Cconst->getAPInt();  in propagateLine()