441                                           const Loop *CurLoop) {  in setPoint()  argument
445   AssociatedLoop = CurLoop;  in setPoint()
449                                          const SCEV *CC, const Loop *CurLoop) {  in setLine()  argument
454   AssociatedLoop = CurLoop;  in setLine()
458                                              const Loop *CurLoop) {  in setDistance()  argument
463   AssociatedLoop = CurLoop;  in setDistance()
1231                                    const SCEV *DstConst, const Loop *CurLoop,  in strongSIVtest()  argument
1250   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in strongSIVtest()
1283     NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);  in strongSIVtest()
1295     NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1303       NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1309                             SE->getNegativeSCEV(Delta), CurLoop);  in strongSIVtest()
1368     const Loop *CurLoop, unsigned Level, FullDependence &Result,  in weakCrossingSIVtest()  argument
1380   NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);  in weakCrossingSIVtest()
1428   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakCrossingSIVtest()
1568                                   const Loop *CurLoop, unsigned Level,  in exactSIVtest()  argument
1583                         CurLoop);  in exactSIVtest()
1610           collectConstantUpperBound(CurLoop, Delta->getType())) {  in exactSIVtest()
1762                                         const Loop *CurLoop, unsigned Level,  in weakZeroSrcSIVtest()  argument
1778                         CurLoop);  in weakZeroSrcSIVtest()
1799   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroSrcSIVtest()
1872                                         const Loop *CurLoop, unsigned Level,  in weakZeroDstSIVtest()  argument
1887                         CurLoop);  in weakZeroDstSIVtest()
1908   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroDstSIVtest()
2238     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2239     assert(CurLoop == DstAddRec->getLoop() &&  in testSIV()
2241     Level = mapSrcLoop(CurLoop);  in testSIV()
2244       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2247       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2250       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2254       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2260     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2261     Level = mapSrcLoop(CurLoop);  in testSIV()
2262     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2270     const Loop *CurLoop = DstAddRec->getLoop();  in testSIV()  local
2271     Level = mapDstLoop(CurLoop);  in testSIV()
2273                               CurLoop, Level, Result, NewConstraint) ||  in testSIV()
2506     const Loop *CurLoop = AddRec->getLoop();  in gcdMIVtest()  local
2514       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2531       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2559         unsigned Level = mapSrcLoop(CurLoop);  in gcdMIVtest()
3180   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateDistance()  local
3182   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateDistance()
3187   Src = zeroCoefficient(Src, CurLoop);  in propagateDistance()
3190   Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));  in propagateDistance()
3192   if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateDistance()
3206   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateLine()  local
3222     const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagateLine()
3225     Dst = zeroCoefficient(Dst, CurLoop);  in propagateLine()
3226     if (!findCoefficient(Src, CurLoop)->isZero())  in propagateLine()
3237     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3239     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3240     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3251     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3253     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3254     Dst = addToCoefficient(Dst, CurLoop, A_K);  in propagateLine()
3255     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3260     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3264     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3265     Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));  in propagateLine()
3266     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3280   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagatePoint()  local
3281   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagatePoint()
3282   const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagatePoint()
3287   Src = zeroCoefficient(Src, CurLoop);  in propagatePoint()
3290   Dst = zeroCoefficient(Dst, CurLoop);  in propagatePoint()