Lines Matching defs:AddRec

393     // Check if we have a condition with one AddRec and one non AddRec
394     // expression. Normalize LeftSCEV to be the AddRec.
461     const auto *AddRec = dyn_cast<SCEVAddRecExpr>(IterSCEV);
463     if (!AddRec || !AddRec->isAffine() || AddRec->getLoop() != &L)
465     const SCEV *Step = AddRec->getStepRecurrence(SE);
476     // Check that AddRec is not wrapping.
477     if (!(IsSigned ? AddRec->hasNoSignedWrap() : AddRec->hasNoUnsignedWrap()))
480     const SCEV *IterVal = AddRec->evaluateAtIteration(
481         SE.getConstant(AddRec->getType(), NewPeelCount), SE);