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