Home
last modified time | relevance | path

Searched refs:ProveViaCond (Results 1 – 1 of 1) sorted by relevance

/freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp10450 auto ProveViaCond = [&](const Value *Condition, bool Inverse) { in isBasicBlockEntryGuardedByCond() local
10484 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isBasicBlockEntryGuardedByCond()
10497 if (ProveViaCond(CI->getArgOperand(0), false)) in isBasicBlockEntryGuardedByCond()