376                                           const Loop *CurLoop) {  in setPoint()  argument
380   AssociatedLoop = CurLoop;  in setPoint()
384                                          const SCEV *CC, const Loop *CurLoop) {  in setLine()  argument
389   AssociatedLoop = CurLoop;  in setLine()
393                                              const Loop *CurLoop) {  in setDistance()  argument
398   AssociatedLoop = CurLoop;  in setDistance()
1146                                    const SCEV *DstConst, const Loop *CurLoop,  in strongSIVtest()  argument
1165   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in strongSIVtest()
1198     NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);  in strongSIVtest()
1210     NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1218       NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1224                             SE->getNegativeSCEV(Delta), CurLoop);  in strongSIVtest()
1283     const Loop *CurLoop, unsigned Level, FullDependence &Result,  in weakCrossingSIVtest()  argument
1295   NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);  in weakCrossingSIVtest()
1343   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakCrossingSIVtest()
1483                                   const Loop *CurLoop, unsigned Level,  in exactSIVtest()  argument
1498                         CurLoop);  in exactSIVtest()
1525           collectConstantUpperBound(CurLoop, Delta->getType())) {  in exactSIVtest()
1677                                         const Loop *CurLoop, unsigned Level,  in weakZeroSrcSIVtest()  argument
1693                         CurLoop);  in weakZeroSrcSIVtest()
1714   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroSrcSIVtest()
1787                                         const Loop *CurLoop, unsigned Level,  in weakZeroDstSIVtest()  argument
1802                         CurLoop);  in weakZeroDstSIVtest()
1823   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroDstSIVtest()
2153     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2154     assert(CurLoop == DstAddRec->getLoop() &&  in testSIV()
2156     Level = mapSrcLoop(CurLoop);  in testSIV()
2159       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2162       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2165       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2169       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2175     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2176     Level = mapSrcLoop(CurLoop);  in testSIV()
2177     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2185     const Loop *CurLoop = DstAddRec->getLoop();  in testSIV()  local
2186     Level = mapDstLoop(CurLoop);  in testSIV()
2188                               CurLoop, Level, Result, NewConstraint) ||  in testSIV()
2421     const Loop *CurLoop = AddRec->getLoop();  in gcdMIVtest()  local
2429       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2446       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2474         unsigned Level = mapSrcLoop(CurLoop);  in gcdMIVtest()
3082   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateDistance()  local
3084   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateDistance()
3089   Src = zeroCoefficient(Src, CurLoop);  in propagateDistance()
3092   Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));  in propagateDistance()
3094   if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateDistance()
3108   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateLine()  local
3124     const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagateLine()
3127     Dst = zeroCoefficient(Dst, CurLoop);  in propagateLine()
3128     if (!findCoefficient(Src, CurLoop)->isZero())  in propagateLine()
3139     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3141     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3142     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3153     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3155     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3156     Dst = addToCoefficient(Dst, CurLoop, A_K);  in propagateLine()
3157     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3162     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3166     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3167     Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));  in propagateLine()
3168     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3182   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagatePoint()  local
3183   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagatePoint()
3184   const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagatePoint()
3189   Src = zeroCoefficient(Src, CurLoop);  in propagatePoint()
3192   Dst = zeroCoefficient(Dst, CurLoop);  in propagatePoint()