Lines Matching defs:PreStart
1260 // Create an AddExpr for "PreStart" after subtracting Step. Full SCEV
1271 // Try to prove `WrapType` (SCEV::FlagNSW or SCEV::FlagNUW) on `PreStart` +
1275 const SCEV *PreStart = SE->getAddExpr(DiffOps, SA->getNoWrapFlags());
1277 SE->getAddRecExpr(PreStart, Step, L, SCEV::FlagAnyWrap));
1286 return PreStart;
1292 SE->getAddExpr((SE->*GetExtendExpr)(PreStart, WideTy),
1296 // If we know `AR` == {`PreStart`+`Step`,+,`Step`} is `WrapType` (FlagNSW
1297 // or FlagNUW) and that `PreStart` + `Step` is `WrapType` too, then
1298 // `PreAR` == {`PreStart`,+,`Step`} is also `WrapType`. Cache this fact.
1301 return PreStart;
1310 SE->isLoopEntryGuardedByCond(L, Pred, PreStart, OverflowLimit)) {
1311 return PreStart;
1322 const SCEV *PreStart = getPreStartForExtend<ExtendOpTy>(AR, Ty, SE);
1323 if (!PreStart)
1327 (SE->*GetExtendExpr)(PreStart, Ty));
1372 // `PreStart` below.
1381 const SCEV *PreStart = getConstant(StartAI - Delta);
1388 ID.AddPointer(PreStart);