363                                           const Loop *CurLoop) {  in setPoint()  argument
367   AssociatedLoop = CurLoop;  in setPoint()
371                                          const SCEV *CC, const Loop *CurLoop) {  in setLine()  argument
376   AssociatedLoop = CurLoop;  in setLine()
380                                              const Loop *CurLoop) {  in setDistance()  argument
385   AssociatedLoop = CurLoop;  in setDistance()
1140                                    const SCEV *DstConst, const Loop *CurLoop,  in strongSIVtest()  argument
1159   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in strongSIVtest()
1192     NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);  in strongSIVtest()
1204     NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1212       NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1218                             SE->getNegativeSCEV(Delta), CurLoop);  in strongSIVtest()
1277     const Loop *CurLoop, unsigned Level, FullDependence &Result,  in weakCrossingSIVtest()  argument
1289   NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);  in weakCrossingSIVtest()
1337   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakCrossingSIVtest()
1488                                   const Loop *CurLoop, unsigned Level,  in exactSIVtest()  argument
1503                         Delta, CurLoop);  in exactSIVtest()
1529       collectConstantUpperBound(CurLoop, Delta->getType())) {  in exactSIVtest()
1698                                         const Loop *CurLoop, unsigned Level,  in weakZeroSrcSIVtest()  argument
1714                         CurLoop);  in weakZeroSrcSIVtest()
1735   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroSrcSIVtest()
1808                                         const Loop *CurLoop, unsigned Level,  in weakZeroDstSIVtest()  argument
1823                         CurLoop);  in weakZeroDstSIVtest()
1844   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroDstSIVtest()
2158     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2159     assert(CurLoop == DstAddRec->getLoop() &&  in testSIV()
2161     Level = mapSrcLoop(CurLoop);  in testSIV()
2164       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2167       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2170       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2174       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2180     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2181     Level = mapSrcLoop(CurLoop);  in testSIV()
2182     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2190     const Loop *CurLoop = DstAddRec->getLoop();  in testSIV()  local
2191     Level = mapDstLoop(CurLoop);  in testSIV()
2193                               CurLoop, Level, Result, NewConstraint) ||  in testSIV()
2426     const Loop *CurLoop = AddRec->getLoop();  in gcdMIVtest()  local
2434       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2451       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2479         unsigned Level = mapSrcLoop(CurLoop);  in gcdMIVtest()
3087   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateDistance()  local
3089   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateDistance()
3094   Src = zeroCoefficient(Src, CurLoop);  in propagateDistance()
3097   Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));  in propagateDistance()
3099   if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateDistance()
3113   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateLine()  local
3129     const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagateLine()
3132     Dst = zeroCoefficient(Dst, CurLoop);  in propagateLine()
3133     if (!findCoefficient(Src, CurLoop)->isZero())  in propagateLine()
3144     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3146     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3147     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3158     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3160     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3161     Dst = addToCoefficient(Dst, CurLoop, A_K);  in propagateLine()
3162     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3167     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3171     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3172     Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));  in propagateLine()
3173     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3187   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagatePoint()  local
3188   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagatePoint()
3189   const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagatePoint()
3194   Src = zeroCoefficient(Src, CurLoop);  in propagatePoint()
3197   Dst = zeroCoefficient(Dst, CurLoop);  in propagatePoint()