Lines Matching defs:ExitingBlock

8205                                            const BasicBlock *ExitingBlock) {
8206   assert(ExitingBlock && "Must pass a non-null exiting block!");
8207   assert(L->isLoopExiting(ExitingBlock) &&
8210       dyn_cast<SCEVConstant>(getExitCount(L, ExitingBlock));
8261 /// that control exits the loop via ExitingBlock.
8264                                               const BasicBlock *ExitingBlock) {
8265   assert(ExitingBlock && "Must pass a non-null exiting block!");
8266   assert(L->isLoopExiting(ExitingBlock) &&
8268   const SCEV *ExitCount = getExitCount(L, ExitingBlock);
8273                                           const BasicBlock *ExitingBlock,
8277     return getBackedgeTakenInfo(L).getExact(ExitingBlock, this);
8279     return getBackedgeTakenInfo(L).getSymbolicMax(ExitingBlock, this);
8281     return getBackedgeTakenInfo(L).getConstantMax(ExitingBlock, this);
8575 /// the relevant loop exiting block using getExact(ExitingBlock, SE).
8594     assert(SE->DT.dominates(ENT.ExitingBlock, Latch) &&
8616 ScalarEvolution::BackedgeTakenInfo::getExact(const BasicBlock *ExitingBlock,
8619     if (ENT.ExitingBlock == ExitingBlock && ENT.hasAlwaysTruePredicate())
8626     const BasicBlock *ExitingBlock, ScalarEvolution *SE) const {
8628     if (ENT.ExitingBlock == ExitingBlock && ENT.hasAlwaysTruePredicate())
8635     const BasicBlock *ExitingBlock, ScalarEvolution *SE) const {
8637     if (ENT.ExitingBlock == ExitingBlock && ENT.hasAlwaysTruePredicate())
8672         assert(SE->DT.dominates(ENT.ExitingBlock, L->getLoopLatch()) &&
8875 ScalarEvolution::computeExitLimit(const Loop *L, BasicBlock *ExitingBlock,
8877   assert(L->contains(ExitingBlock) && "Exit count for non-loop block?");
8881   if (!Latch || !DT.dominates(ExitingBlock, Latch))
8884   Instruction *Term = ExitingBlock->getTerminator();
8899     for (auto *SBB : successors(ExitingBlock))
9294                                                       BasicBlock *ExitingBlock,
9296   assert(!L->contains(ExitingBlock) && "Not an exiting block!");
9299   if (Switch->getDefaultDest() == ExitingBlock)
9305   const SCEV *RHS = getConstant(Switch->findCaseDest(ExitingBlock));
13623     for (BasicBlock *ExitingBlock : ExitingBlocks) {
13624       OS << "  exit count for " << ExitingBlock->getName() << ": ";
13625       PrintSCEVWithTypeHint(OS, SE->getExitCount(L, ExitingBlock));
13660     for (BasicBlock *ExitingBlock : ExitingBlocks) {
13661       OS << "  symbolic max exit count for " << ExitingBlock->getName() << ": ";
13662       auto *ExitBTC = SE->getExitCount(L, ExitingBlock,