Lines Matching defs:CurLoop
441 const Loop *CurLoop) {
445 AssociatedLoop = CurLoop;
449 const SCEV *CC, const Loop *CurLoop) {
454 AssociatedLoop = CurLoop;
458 const Loop *CurLoop) {
463 AssociatedLoop = CurLoop;
1231 const SCEV *DstConst, const Loop *CurLoop,
1250 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1283 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1295 NewConstraint.setDistance(Delta, CurLoop);
1303 NewConstraint.setDistance(Delta, CurLoop);
1309 SE->getNegativeSCEV(Delta), CurLoop);
1368 const Loop *CurLoop, unsigned Level, FullDependence &Result,
1380 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1428 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1568 const Loop *CurLoop, unsigned Level,
1583 CurLoop);
1610 collectConstantUpperBound(CurLoop, Delta->getType())) {
1762 const Loop *CurLoop, unsigned Level,
1778 CurLoop);
1799 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1872 const Loop *CurLoop, unsigned Level,
1887 CurLoop);
1908 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2238 const Loop *CurLoop = SrcAddRec->getLoop();
2239 assert(CurLoop == DstAddRec->getLoop() &&
2241 Level = mapSrcLoop(CurLoop);
2244 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2247 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2250 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2254 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2260 const Loop *CurLoop = SrcAddRec->getLoop();
2261 Level = mapSrcLoop(CurLoop);
2262 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2270 const Loop *CurLoop = DstAddRec->getLoop();
2271 Level = mapDstLoop(CurLoop);
2273 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);