378                                           const Loop *CurLoop) {  in setPoint()  argument
382   AssociatedLoop = CurLoop;  in setPoint()
386                                          const SCEV *CC, const Loop *CurLoop) {  in setLine()  argument
391   AssociatedLoop = CurLoop;  in setLine()
395                                              const Loop *CurLoop) {  in setDistance()  argument
400   AssociatedLoop = CurLoop;  in setDistance()
1168                                    const SCEV *DstConst, const Loop *CurLoop,  in strongSIVtest()  argument
1187   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in strongSIVtest()
1220     NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);  in strongSIVtest()
1232     NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1240       NewConstraint.setDistance(Delta, CurLoop);  in strongSIVtest()
1246                             SE->getNegativeSCEV(Delta), CurLoop);  in strongSIVtest()
1305     const Loop *CurLoop, unsigned Level, FullDependence &Result,  in weakCrossingSIVtest()  argument
1317   NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);  in weakCrossingSIVtest()
1365   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakCrossingSIVtest()
1505                                   const Loop *CurLoop, unsigned Level,  in exactSIVtest()  argument
1520                         CurLoop);  in exactSIVtest()
1547           collectConstantUpperBound(CurLoop, Delta->getType())) {  in exactSIVtest()
1699                                         const Loop *CurLoop, unsigned Level,  in weakZeroSrcSIVtest()  argument
1715                         CurLoop);  in weakZeroSrcSIVtest()
1736   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroSrcSIVtest()
1809                                         const Loop *CurLoop, unsigned Level,  in weakZeroDstSIVtest()  argument
1824                         CurLoop);  in weakZeroDstSIVtest()
1845   if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {  in weakZeroDstSIVtest()
2175     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2176     assert(CurLoop == DstAddRec->getLoop() &&  in testSIV()
2178     Level = mapSrcLoop(CurLoop);  in testSIV()
2181       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2184       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2187       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2191       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2197     const Loop *CurLoop = SrcAddRec->getLoop();  in testSIV()  local
2198     Level = mapSrcLoop(CurLoop);  in testSIV()
2199     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2207     const Loop *CurLoop = DstAddRec->getLoop();  in testSIV()  local
2208     Level = mapDstLoop(CurLoop);  in testSIV()
2210                               CurLoop, Level, Result, NewConstraint) ||  in testSIV()
2443     const Loop *CurLoop = AddRec->getLoop();  in gcdMIVtest()  local
2451       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2468       if (CurLoop == AddRec->getLoop())  in gcdMIVtest()
2496         unsigned Level = mapSrcLoop(CurLoop);  in gcdMIVtest()
3117   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateDistance()  local
3119   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateDistance()
3124   Src = zeroCoefficient(Src, CurLoop);  in propagateDistance()
3127   Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));  in propagateDistance()
3129   if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateDistance()
3143   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagateLine()  local
3159     const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagateLine()
3162     Dst = zeroCoefficient(Dst, CurLoop);  in propagateLine()
3163     if (!findCoefficient(Src, CurLoop)->isZero())  in propagateLine()
3174     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3176     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3177     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3188     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3190     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3191     Dst = addToCoefficient(Dst, CurLoop, A_K);  in propagateLine()
3192     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3197     const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagateLine()
3201     Src = zeroCoefficient(Src, CurLoop);  in propagateLine()
3202     Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));  in propagateLine()
3203     if (!findCoefficient(Dst, CurLoop)->isZero())  in propagateLine()
3217   const Loop *CurLoop = CurConstraint.getAssociatedLoop();  in propagatePoint()  local
3218   const SCEV *A_K = findCoefficient(Src, CurLoop);  in propagatePoint()
3219   const SCEV *AP_K = findCoefficient(Dst, CurLoop);  in propagatePoint()
3224   Src = zeroCoefficient(Src, CurLoop);  in propagatePoint()
3227   Dst = zeroCoefficient(Dst, CurLoop);  in propagatePoint()