Lines Matching refs:CurLoop
347 const Loop *CurLoop) {
351 AssociatedLoop = CurLoop;
358 const Loop *CurLoop) {
363 AssociatedLoop = CurLoop;
368 const Loop *CurLoop) {
373 AssociatedLoop = CurLoop;
1006 const Loop *CurLoop,
1026 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1059 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1071 NewConstraint.setDistance(Delta, CurLoop);
1079 NewConstraint.setDistance(Delta, CurLoop);
1085 SE->getNegativeSCEV(Delta), CurLoop);
1145 const Loop *CurLoop,
1160 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1210 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1368 const Loop *CurLoop,
1384 Delta, CurLoop);
1410 collectConstantUpperBound(CurLoop, Delta->getType())) {
1579 const Loop *CurLoop,
1596 DstCoeff, Delta, CurLoop);
1617 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1690 const Loop *CurLoop,
1706 Delta, CurLoop);
1727 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2049 const Loop *CurLoop = SrcAddRec->getLoop();
2050 assert(CurLoop == DstAddRec->getLoop() &&
2052 Level = mapSrcLoop(CurLoop);
2055 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2058 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2061 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2065 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2071 const Loop *CurLoop = SrcAddRec->getLoop();
2072 Level = mapSrcLoop(CurLoop);
2073 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2081 const Loop *CurLoop = DstAddRec->getLoop();
2082 Level = mapDstLoop(CurLoop);
2084 CurLoop, Level, Result, NewConstraint) ||
2323 const Loop *CurLoop = AddRec->getLoop();
2331 if (CurLoop == AddRec->getLoop())
2349 if (CurLoop == AddRec->getLoop())
2382 unsigned Level = mapSrcLoop(CurLoop);
3006 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3008 const SCEV *A_K = findCoefficient(Src, CurLoop);
3013 Src = zeroCoefficient(Src, CurLoop);
3016 Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));
3018 if (!findCoefficient(Dst, CurLoop)->isZero())
3033 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3048 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3051 Dst = zeroCoefficient(Dst, CurLoop);
3052 if (!findCoefficient(Src, CurLoop)->isZero())
3063 const SCEV *A_K = findCoefficient(Src, CurLoop);
3065 Src = zeroCoefficient(Src, CurLoop);
3066 if (!findCoefficient(Dst, CurLoop)->isZero())
3077 const SCEV *A_K = findCoefficient(Src, CurLoop);
3079 Src = zeroCoefficient(Src, CurLoop);
3080 Dst = addToCoefficient(Dst, CurLoop, A_K);
3081 if (!findCoefficient(Dst, CurLoop)->isZero())
3086 const SCEV *A_K = findCoefficient(Src, CurLoop);
3090 Src = zeroCoefficient(Src, CurLoop);
3091 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));
3092 if (!findCoefficient(Dst, CurLoop)->isZero())
3107 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3108 const SCEV *A_K = findCoefficient(Src, CurLoop);
3109 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3114 Src = zeroCoefficient(Src, CurLoop);
3117 Dst = zeroCoefficient(Dst, CurLoop);
