Lines Matching defs:PreStart

1338   // Create an AddExpr for "PreStart" after subtracting Step. Full SCEV
1352   // Try to prove `WrapType` (SCEV::FlagNSW or SCEV::FlagNUW) on `PreStart` +
1358   const SCEV *PreStart = SE->getAddExpr(DiffOps, PreStartFlags);
1360       SE->getAddRecExpr(PreStart, Step, L, SCEV::FlagAnyWrap));
1369     return PreStart;
1375       SE->getAddExpr((SE->*GetExtendExpr)(PreStart, WideTy, Depth),
1379       // If we know `AR` == {`PreStart`+`Step`,+,`Step`} is `WrapType` (FlagNSW
1380       // or FlagNUW) and that `PreStart` + `Step` is `WrapType` too, then
1381       // `PreAR` == {`PreStart`,+,`Step`} is also `WrapType`.  Cache this fact.
1384     return PreStart;
1393       SE->isLoopEntryGuardedByCond(L, Pred, PreStart, OverflowLimit))
1394     return PreStart;
1406   const SCEV *PreStart = getPreStartForExtend<ExtendOpTy>(AR, Ty, SE, Depth);
1407   if (!PreStart)
1412                         (SE->*GetExtendExpr)(PreStart, Ty, Depth));
1456   // `PreStart` below.
1464     const SCEV *PreStart = getConstant(StartAI - Delta);
1468     ID.AddPointer(PreStart);