Searched refs:LoopEntryPredicate (Results 1 – 1 of 1) sorted by relevance
9708 BranchInst *LoopEntryPredicate = in isLoopEntryGuardedByCond() local9710 if (!LoopEntryPredicate || in isLoopEntryGuardedByCond()9711 LoopEntryPredicate->isUnconditional()) in isLoopEntryGuardedByCond()9714 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isLoopEntryGuardedByCond()9715 LoopEntryPredicate->getSuccessor(0) != Pair.second)) in isLoopEntryGuardedByCond()