Lines Matching refs:InitBB
502 MustBeExecutedContextExplorer::findForwardJoinPoint(const BasicBlock *InitBB) {
503 const LoopInfo *LI = LIGetter(*InitBB->getParent());
504 const PostDominatorTree *PDT = PDTGetter(*InitBB->getParent());
506 LLVM_DEBUG(dbgs() << "\tFind forward join point for " << InitBB->getName()
509 const Function &F = *InitBB->getParent();
510 const Loop *L = LI ? LI->getLoopFor(InitBB) : nullptr;
511 const BasicBlock *HeaderBB = L ? L->getHeader() : InitBB;
522 for (const BasicBlock *SuccBB : successors(InitBB)) {
544 if (const auto *InitNode = PDT->getNode(InitBB))
553 if (Succ0UniqueSucc == InitBB) {
554 // InitBB -> Succ0 -> InitBB
555 // InitBB -> Succ1 = JoinBB
557 } else if (Succ1UniqueSucc == InitBB) {
558 // InitBB -> Succ1 -> InitBB
559 // InitBB -> Succ0 = JoinBB
562 // InitBB -> Succ0 = JoinBB
563 // InitBB -> Succ1 -> Succ0 = JoinBB
566 // InitBB -> Succ0 -> Succ1 = JoinBB
567 // InitBB -> Succ1 = JoinBB
570 // InitBB -> Succ0 -> JoinBB
571 // InitBB -> Succ1 -> JoinBB
585 // InitBB, thus it can not be "stopped" along the way. Ways to "stop" control
639 MustBeExecutedContextExplorer::findBackwardJoinPoint(const BasicBlock *InitBB) {
640 const LoopInfo *LI = LIGetter(*InitBB->getParent());
641 const DominatorTree *DT = DTGetter(*InitBB->getParent());
642 LLVM_DEBUG(dbgs() << "\tFind backward join point for " << InitBB->getName()
649 if (const auto *InitNode = DT->getNode(InitBB))
653 const Loop *L = LI ? LI->getLoopFor(InitBB) : nullptr;
658 for (const BasicBlock *PredBB : predecessors(InitBB)) {
660 (PredBB == InitBB) || (HeaderBB == InitBB && L->contains(PredBB));
682 // InitBB <- Pred0 = JoinBB
683 // InitBB <- Pred1 <- Pred0 = JoinBB
686 // InitBB <- Pred0 <- Pred1 = JoinBB
687 // InitBB <- Pred1 = JoinBB
690 // InitBB <- Pred0 <- JoinBB
691 // InitBB <- Pred1 <- JoinBB