Lines Matching refs:CurLoop
351 const Loop *CurLoop) {
355 AssociatedLoop = CurLoop;
362 const Loop *CurLoop) {
367 AssociatedLoop = CurLoop;
372 const Loop *CurLoop) {
377 AssociatedLoop = CurLoop;
1029 const Loop *CurLoop,
1049 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1082 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1094 NewConstraint.setDistance(Delta, CurLoop);
1102 NewConstraint.setDistance(Delta, CurLoop);
1108 SE->getNegativeSCEV(Delta), CurLoop);
1168 const Loop *CurLoop,
1183 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1233 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1391 const Loop *CurLoop,
1407 Delta, CurLoop);
1433 collectConstantUpperBound(CurLoop, Delta->getType())) {
1602 const Loop *CurLoop,
1619 DstCoeff, Delta, CurLoop);
1640 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1713 const Loop *CurLoop,
1729 Delta, CurLoop);
1750 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2072 const Loop *CurLoop = SrcAddRec->getLoop();
2073 assert(CurLoop == DstAddRec->getLoop() &&
2075 Level = mapSrcLoop(CurLoop);
2078 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2081 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2084 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2088 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2094 const Loop *CurLoop = SrcAddRec->getLoop();
2095 Level = mapSrcLoop(CurLoop);
2096 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2104 const Loop *CurLoop = DstAddRec->getLoop();
2105 Level = mapDstLoop(CurLoop);
2107 CurLoop, Level, Result, NewConstraint) ||
2346 const Loop *CurLoop = AddRec->getLoop();
2354 if (CurLoop == AddRec->getLoop())
2372 if (CurLoop == AddRec->getLoop())
2405 unsigned Level = mapSrcLoop(CurLoop);
3025 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3027 const SCEV *A_K = findCoefficient(Src, CurLoop);
3032 Src = zeroCoefficient(Src, CurLoop);
3035 Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));
3037 if (!findCoefficient(Dst, CurLoop)->isZero())
3052 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3067 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3070 Dst = zeroCoefficient(Dst, CurLoop);
3071 if (!findCoefficient(Src, CurLoop)->isZero())
3082 const SCEV *A_K = findCoefficient(Src, CurLoop);
3084 Src = zeroCoefficient(Src, CurLoop);
3085 if (!findCoefficient(Dst, CurLoop)->isZero())
3096 const SCEV *A_K = findCoefficient(Src, CurLoop);
3098 Src = zeroCoefficient(Src, CurLoop);
3099 Dst = addToCoefficient(Dst, CurLoop, A_K);
3100 if (!findCoefficient(Dst, CurLoop)->isZero())
3105 const SCEV *A_K = findCoefficient(Src, CurLoop);
3109 Src = zeroCoefficient(Src, CurLoop);
3110 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));
3111 if (!findCoefficient(Dst, CurLoop)->isZero())
3126 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3127 const SCEV *A_K = findCoefficient(Src, CurLoop);
3128 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3133 Src = zeroCoefficient(Src, CurLoop);
3136 Dst = zeroCoefficient(Dst, CurLoop);
