Lines Matching defs:PreAR

1374   const SCEVAddRecExpr *PreAR = dyn_cast<SCEVAddRecExpr>(
1382   if (PreAR && PreAR->getNoWrapFlags(WrapType) &&
1393     if (PreAR && AR->getNoWrapFlags(WrapType)) {
1396       // `PreAR` == {`PreStart`,+,`Step`} is also `WrapType`.  Cache this fact.
1397       SE->setNoWrapFlags(const_cast<SCEVAddRecExpr *>(PreAR), WrapType);
1487     const auto *PreAR =
1492     if (PreAR && PreAR->getNoWrapFlags(WrapType)) {  // proves (2)
1497       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)