Lines Matching defs:CurLoop
376 const Loop *CurLoop) {
380 AssociatedLoop = CurLoop;
384 const SCEV *CC, const Loop *CurLoop) {
389 AssociatedLoop = CurLoop;
393 const Loop *CurLoop) {
398 AssociatedLoop = CurLoop;
1144 const SCEV *DstConst, const Loop *CurLoop,
1163 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1196 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1208 NewConstraint.setDistance(Delta, CurLoop);
1216 NewConstraint.setDistance(Delta, CurLoop);
1222 SE->getNegativeSCEV(Delta), CurLoop);
1281 const Loop *CurLoop, unsigned Level, FullDependence &Result,
1293 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1341 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1492 const Loop *CurLoop, unsigned Level,
1507 Delta, CurLoop);
1533 collectConstantUpperBound(CurLoop, Delta->getType())) {
1702 const Loop *CurLoop, unsigned Level,
1718 CurLoop);
1739 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1812 const Loop *CurLoop, unsigned Level,
1827 CurLoop);
1848 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2162 const Loop *CurLoop = SrcAddRec->getLoop();
2163 assert(CurLoop == DstAddRec->getLoop() &&
2165 Level = mapSrcLoop(CurLoop);
2168 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2171 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2174 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2178 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2184 const Loop *CurLoop = SrcAddRec->getLoop();
2185 Level = mapSrcLoop(CurLoop);
2186 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2194 const Loop *CurLoop = DstAddRec->getLoop();
2195 Level = mapDstLoop(CurLoop);
2197 CurLoop, Level, Result, NewConstraint) ||
2430 const Loop *CurLoop = AddRec->getLoop();
2438 if (CurLoop == AddRec->getLoop())
2455 if (CurLoop == AddRec->getLoop())
2483 unsigned Level = mapSrcLoop(CurLoop);
3091 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3093 const SCEV *A_K = findCoefficient(Src, CurLoop);
3098 Src = zeroCoefficient(Src, CurLoop);
3101 Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));
3103 if (!findCoefficient(Dst, CurLoop)->isZero())
3117 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3133 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3136 Dst = zeroCoefficient(Dst, CurLoop);
3137 if (!findCoefficient(Src, CurLoop)->isZero())
3148 const SCEV *A_K = findCoefficient(Src, CurLoop);
3150 Src = zeroCoefficient(Src, CurLoop);
3151 if (!findCoefficient(Dst, CurLoop)->isZero())
3162 const SCEV *A_K = findCoefficient(Src, CurLoop);
3164 Src = zeroCoefficient(Src, CurLoop);
3165 Dst = addToCoefficient(Dst, CurLoop, A_K);
3166 if (!findCoefficient(Dst, CurLoop)->isZero())
3171 const SCEV *A_K = findCoefficient(Src, CurLoop);
3175 Src = zeroCoefficient(Src, CurLoop);
3176 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));
3177 if (!findCoefficient(Dst, CurLoop)->isZero())
3191 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3192 const SCEV *A_K = findCoefficient(Src, CurLoop);
3193 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3198 Src = zeroCoefficient(Src, CurLoop);
3201 Dst = zeroCoefficient(Dst, CurLoop);