Home
last modified time | relevance | path

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

/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DScalarEvolution.cpp9681 auto ProveViaCond = [&](Value *Condition, bool Inverse) { in isLoopEntryGuardedByCond() local
9714 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isLoopEntryGuardedByCond()
9727 if (ProveViaCond(CI->getArgOperand(0), false)) in isLoopEntryGuardedByCond()
/external/llvm-project/llvm/lib/Analysis/
DScalarEvolution.cpp10000 auto ProveViaCond = [&](const Value *Condition, bool Inverse) { in isBasicBlockEntryGuardedByCond() local
10037 if (ProveViaCond(LoopEntryPredicate->getCondition(), in isBasicBlockEntryGuardedByCond()
10050 if (ProveViaCond(CI->getArgOperand(0), false)) in isBasicBlockEntryGuardedByCond()