Searched refs:isKnownViaNonRecursiveReasoning (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 3858 isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) { in getMinMaxExpr()
3864 } else if (isKnownViaNonRecursiveReasoning(SecondPred, Ops[i], in getMinMaxExpr()
4143 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_NE, Ops[i - 1], in getSequentialMinMaxExpr()
4154 if (isKnownViaNonRecursiveReasoning(Pred, Ops[i - 1], Ops[i])) { in getSequentialMinMaxExpr()
10616 return isKnownViaNonRecursiveReasoning(Pred, LHS, RHS); in isKnownPredicate()
11030 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopBackedgeGuardedByCond()
11155 return isKnownViaNonRecursiveReasoning(P, LHS, RHS); in isBasicBlockEntryGuardedByCond()
11236 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopEntryGuardedByCond()
11304 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, FoundLHS, in isImpliedCond()
11306 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, FoundRHS, in isImpliedCond()
[all …]
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 1845 bool isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred,
|