Searched refs:LoopEntryPredicate (Results 1 – 1 of 1) sorted by relevance
9566 BranchInst *LoopEntryPredicate = in isLoopEntryGuardedByCond() local9568 if (!LoopEntryPredicate || in isLoopEntryGuardedByCond()9569 LoopEntryPredicate->isUnconditional()) in isLoopEntryGuardedByCond()9572 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isLoopEntryGuardedByCond()9573 LoopEntryPredicate->getSuccessor(0) != Pair.second)) in isLoopEntryGuardedByCond()