Lines Matching refs:isKnownViaNonRecursiveReasoning

3769         isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) {  in getMinMaxExpr()
3775 } else if (isKnownViaNonRecursiveReasoning(SecondPred, Ops[i], in getMinMaxExpr()
9899 return isKnownViaNonRecursiveReasoning(Pred, LHS, RHS); in isKnownPredicate()
10301 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopBackedgeGuardedByCond()
10429 return isKnownViaNonRecursiveReasoning(P, LHS, RHS); in isBasicBlockEntryGuardedByCond()
10519 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopEntryGuardedByCond()
11033 return isKnownViaNonRecursiveReasoning(Pred, S1, S2) || in isImpliedViaMerge()
11242 return isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGT, S1, S2) || in isImpliedViaOperations()
11385 ScalarEvolution::isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred, in isKnownViaNonRecursiveReasoning() function in ScalarEvolution
11408 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
11409 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
11414 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
11415 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
11420 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
11421 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
11426 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
11427 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()