Lines Matching defs:ExitingBlock

8242                                            const BasicBlock *ExitingBlock) {
8243   assert(ExitingBlock && "Must pass a non-null exiting block!");
8244   assert(L->isLoopExiting(ExitingBlock) &&
8247       dyn_cast<SCEVConstant>(getExitCount(L, ExitingBlock));
8301 /// that control exits the loop via ExitingBlock.
8304                                               const BasicBlock *ExitingBlock) {
8305   assert(ExitingBlock && "Must pass a non-null exiting block!");
8306   assert(L->isLoopExiting(ExitingBlock) &&
8308   const SCEV *ExitCount = getExitCount(L, ExitingBlock);
8313                                           const BasicBlock *ExitingBlock,
8317     return getBackedgeTakenInfo(L).getExact(ExitingBlock, this);
8319     return getBackedgeTakenInfo(L).getSymbolicMax(ExitingBlock, this);
8321     return getBackedgeTakenInfo(L).getConstantMax(ExitingBlock, this);
8327     const Loop *L, const BasicBlock *ExitingBlock,
8331     return getPredicatedBackedgeTakenInfo(L).getExact(ExitingBlock, this,
8334     return getPredicatedBackedgeTakenInfo(L).getSymbolicMax(ExitingBlock, this,
8337     return getPredicatedBackedgeTakenInfo(L).getConstantMax(ExitingBlock, this,
8636 /// the relevant loop exiting block using getExact(ExitingBlock, SE).
8655     assert(SE->DT.dominates(ENT.ExitingBlock, Latch) &&
8676     const BasicBlock *ExitingBlock,
8679     if (ENT.ExitingBlock == ExitingBlock) {
8724         assert(SE->DT.dominates(ENT.ExitingBlock, L->getLoopLatch()) &&
8933 ScalarEvolution::computeExitLimit(const Loop *L, BasicBlock *ExitingBlock,
8935   assert(L->contains(ExitingBlock) && "Exit count for non-loop block?");
8939   if (!Latch || !DT.dominates(ExitingBlock, Latch))
8942   Instruction *Term = ExitingBlock->getTerminator();
8957     for (auto *SBB : successors(ExitingBlock))
9371                                                       BasicBlock *ExitingBlock,
9373   assert(!L->contains(ExitingBlock) && "Not an exiting block!");
9376   if (Switch->getDefaultDest() == ExitingBlock)
9382   const SCEV *RHS = getConstant(Switch->findCaseDest(ExitingBlock));
13746     for (BasicBlock *ExitingBlock : ExitingBlocks) {
13747       OS << "  exit count for " << ExitingBlock->getName() << ": ";
13748       const SCEV *EC = SE->getExitCount(L, ExitingBlock);
13753         EC = SE->getPredicatedExitCount(L, ExitingBlock, &Predicates);
13755           OS << "\n  predicated exit count for " << ExitingBlock->getName()
13797     for (BasicBlock *ExitingBlock : ExitingBlocks) {
13798       OS << "  symbolic max exit count for " << ExitingBlock->getName() << ": ";
13799       auto *ExitBTC = SE->getExitCount(L, ExitingBlock,
13805         ExitBTC = SE->getPredicatedExitCount(L, ExitingBlock, &Predicates,
13809              << ExitingBlock->getName() << ": ";