Searched refs:ProveViaCond (Results 1 – 1 of 1) sorted by relevance
9539 auto ProveViaCond = [&](Value *Condition, bool Inverse) { in isLoopEntryGuardedByCond() local9572 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isLoopEntryGuardedByCond()9585 if (ProveViaCond(CI->getArgOperand(0), false)) in isLoopEntryGuardedByCond()