reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
651 if (!SE.isAvailableAtLoopEntry(BoundSCEV, L)) 654 assert(SE.isKnownNegative(Step) && "expecting negative step"); 671 return SE.isLoopEntryGuardedByCond(L, BoundPred, Start, BoundSCEV); 676 const SCEV *StepPlusOne = SE.getAddExpr(Step, SE.getOne(Step->getType())); 676 const SCEV *StepPlusOne = SE.getAddExpr(Step, SE.getOne(Step->getType())); 680 const SCEV *Limit = SE.getMinusSCEV(SE.getConstant(Min), StepPlusOne); 680 const SCEV *Limit = SE.getMinusSCEV(SE.getConstant(Min), StepPlusOne); 683 SE.getMinusSCEV(BoundSCEV, SE.getOne(BoundSCEV->getType())); 683 SE.getMinusSCEV(BoundSCEV, SE.getOne(BoundSCEV->getType())); 685 return SE.isLoopEntryGuardedByCond(L, BoundPred, Start, MinusOne) && 686 SE.isLoopEntryGuardedByCond(L, BoundPred, BoundSCEV, Limit);