Lines Matching defs:CurLoop
442 const Loop *CurLoop) {
446 AssociatedLoop = CurLoop;
450 const SCEV *CC, const Loop *CurLoop) {
455 AssociatedLoop = CurLoop;
459 const Loop *CurLoop) {
464 AssociatedLoop = CurLoop;
1232 const SCEV *DstConst, const Loop *CurLoop,
1251 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1284 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1296 NewConstraint.setDistance(Delta, CurLoop);
1304 NewConstraint.setDistance(Delta, CurLoop);
1310 SE->getNegativeSCEV(Delta), CurLoop);
1369 const Loop *CurLoop, unsigned Level, FullDependence &Result,
1381 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1429 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1569 const Loop *CurLoop, unsigned Level,
1584 CurLoop);
1611 collectConstantUpperBound(CurLoop, Delta->getType())) {
1763 const Loop *CurLoop, unsigned Level,
1779 CurLoop);
1800 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1873 const Loop *CurLoop, unsigned Level,
1888 CurLoop);
1909 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2239 const Loop *CurLoop = SrcAddRec->getLoop();
2240 assert(CurLoop == DstAddRec->getLoop() &&
2242 Level = mapSrcLoop(CurLoop);
2245 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2248 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2251 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2255 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2261 const Loop *CurLoop = SrcAddRec->getLoop();
2262 Level = mapSrcLoop(CurLoop);
2263 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2271 const Loop *CurLoop = DstAddRec->getLoop();
2272 Level = mapDstLoop(CurLoop);
2274 CurLoop, Level, Result, NewConstraint) ||
2506 const Loop *CurLoop = AddRec->getLoop();
2514 if (CurLoop == AddRec->getLoop())
2531 if (CurLoop == AddRec->getLoop())
2559 unsigned Level = mapSrcLoop(CurLoop);
3180 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3182 const SCEV *A_K = findCoefficient(Src, CurLoop);
3187 Src = zeroCoefficient(Src, CurLoop);
3190 Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));
3192 if (!findCoefficient(Dst, CurLoop)->isZero())
3206 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3222 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3225 Dst = zeroCoefficient(Dst, CurLoop);
3226 if (!findCoefficient(Src, CurLoop)->isZero())
3237 const SCEV *A_K = findCoefficient(Src, CurLoop);
3239 Src = zeroCoefficient(Src, CurLoop);
3240 if (!findCoefficient(Dst, CurLoop)->isZero())
3251 const SCEV *A_K = findCoefficient(Src, CurLoop);
3253 Src = zeroCoefficient(Src, CurLoop);
3254 Dst = addToCoefficient(Dst, CurLoop, A_K);
3255 if (!findCoefficient(Dst, CurLoop)->isZero())
3260 const SCEV *A_K = findCoefficient(Src, CurLoop);
3264 Src = zeroCoefficient(Src, CurLoop);
3265 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));
3266 if (!findCoefficient(Dst, CurLoop)->isZero())
3280 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3281 const SCEV *A_K = findCoefficient(Src, CurLoop);
3282 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3287 Src = zeroCoefficient(Src, CurLoop);
3290 Dst = zeroCoefficient(Dst, CurLoop);