Lines Matching defs:CurLoop
356 const Loop *CurLoop) {
360 AssociatedLoop = CurLoop;
364 const SCEV *CC, const Loop *CurLoop) {
369 AssociatedLoop = CurLoop;
373 const Loop *CurLoop) {
378 AssociatedLoop = CurLoop;
1067 const SCEV *DstConst, const Loop *CurLoop,
1086 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1119 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop);
1131 NewConstraint.setDistance(Delta, CurLoop);
1139 NewConstraint.setDistance(Delta, CurLoop);
1145 SE->getNegativeSCEV(Delta), CurLoop);
1204 const Loop *CurLoop, unsigned Level, FullDependence &Result,
1216 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop);
1264 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1415 const Loop *CurLoop, unsigned Level,
1430 Delta, CurLoop);
1456 collectConstantUpperBound(CurLoop, Delta->getType())) {
1625 const Loop *CurLoop, unsigned Level,
1641 CurLoop);
1662 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
1735 const Loop *CurLoop, unsigned Level,
1750 CurLoop);
1771 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) {
2085 const Loop *CurLoop = SrcAddRec->getLoop();
2086 assert(CurLoop == DstAddRec->getLoop() &&
2088 Level = mapSrcLoop(CurLoop);
2091 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2094 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2097 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2101 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2107 const Loop *CurLoop = SrcAddRec->getLoop();
2108 Level = mapSrcLoop(CurLoop);
2109 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2117 const Loop *CurLoop = DstAddRec->getLoop();
2118 Level = mapDstLoop(CurLoop);
2120 CurLoop, Level, Result, NewConstraint) ||
2353 const Loop *CurLoop = AddRec->getLoop();
2361 if (CurLoop == AddRec->getLoop())
2378 if (CurLoop == AddRec->getLoop())
2406 unsigned Level = mapSrcLoop(CurLoop);
3008 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3010 const SCEV *A_K = findCoefficient(Src, CurLoop);
3015 Src = zeroCoefficient(Src, CurLoop);
3018 Dst = addToCoefficient(Dst, CurLoop, SE->getNegativeSCEV(A_K));
3020 if (!findCoefficient(Dst, CurLoop)->isZero())
3034 const Loop *CurLoop = CurConstraint.getAssociatedLoop();
3049 const SCEV *AP_K = findCoefficient(Dst, CurLoop);
3052 Dst = zeroCoefficient(Dst, CurLoop);
3053 if (!findCoefficient(Src, CurLoop)->isZero())
3064 const SCEV *A_K = findCoefficient(Src, CurLoop);
3066 Src = zeroCoefficient(Src, CurLoop);
3067 if (!findCoefficient(Dst, CurLoop)->isZero())
3078 const SCEV *A_K = findCoefficient(Src, CurLoop);
3080 Src = zeroCoefficient(Src, CurLoop);
3081 Dst = addToCoefficient(Dst, CurLoop, A_K);
3082 if (!findCoefficient(Dst, CurLoop)->isZero())
3087 const SCEV *A_K = findCoefficient(Src, CurLoop);
3091 Src = zeroCoefficient(Src, CurLoop);
3092 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));
3093 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);
