Searched refs:CondExitBlock (Results 1 – 1 of 1) sorted by relevance
113 auto *CondExitBlock = ExitBlock->getSinglePredecessor(); in CanProveNotTakenFirstIteration() local114 if (!CondExitBlock) in CanProveNotTakenFirstIteration()117 assert(CurLoop->contains(CondExitBlock) && "meaning of exit block"); in CanProveNotTakenFirstIteration()118 auto *BI = dyn_cast<BranchInst>(CondExitBlock->getTerminator()); in CanProveNotTakenFirstIteration()