3670     if (Ops[i] == Ops[i + 1] || isKnownViaNonRecursiveReasoning(  in getUMaxExpr()
3674     } else if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, Ops[i],  in getUMaxExpr()
9104   return isKnownViaNonRecursiveReasoning(Pred, LHS, RHS);  in isKnownPredicate()
9384   if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS))  in isLoopBackedgeGuardedByCond()
9499   if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS))  in isLoopEntryGuardedByCond()
9514         isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS);  in isLoopEntryGuardedByCond()
9516         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_NE, LHS, RHS);  in isLoopEntryGuardedByCond()
9978     return isKnownViaNonRecursiveReasoning(Pred, S1, S2) ||  in isImpliedViaMerge()
10190     return isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGT, S1, S2) ||  in isImpliedViaOperations()
10301 ScalarEvolution::isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred,  in isKnownViaNonRecursiveReasoning()  function in ScalarEvolution
10323     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10324         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10329     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10330         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10335     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10336         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10341     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10342         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()