Lines Matching refs:IndVar
214 /// Computes a range for the induction variable (IndVar) in which the range
218 const SCEVAddRecExpr *IndVar,
1582 /// Computes and returns a range of values for the induction variable (IndVar)
1587 ScalarEvolution &SE, const SCEVAddRecExpr *IndVar,
1591 auto *IVType = cast<IntegerType>(IndVar->getType());
1595 // IndVar is of the form "A + B * I" (where "I" is the canonical induction
1599 // checked to "M + N * IndVar" where "N" = "D * B^(-1)" and "M" = "C - NA".
1603 // 0 <= M + 1 * IndVar < L given L >= 0 (i.e. N == 1)
1606 // The inequality is satisfied by (0 - M) <= IndVar < (L - M). To avoid
1609 // space. For example, if IndVar is unsigned, (0 - M) overflows for any M > 0.
1615 if (!IndVar->isAffine())
1618 const SCEV *A = NoopOrExtend(IndVar->getStart(), RCType, SE, IsLatchSigned);
1620 NoopOrExtend(IndVar->getStepRecurrence(SE), RCType, SE, IsLatchSigned));
1683 const Loop *L = IndVar->getLoop();
1881 const SCEVAddRecExpr *IndVar =
1897 auto Result = IRC.computeSafeIterationSpace(SE, IndVar,