3588         isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) {  in getMinMaxExpr()
3594     } else if (isKnownViaNonRecursiveReasoning(SecondPred, Ops[i],  in getMinMaxExpr()
9500   return isKnownViaNonRecursiveReasoning(Pred, LHS, RHS);  in isKnownPredicate()
9855   if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS))  in isLoopBackedgeGuardedByCond()
9960   if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS))  in isBasicBlockEntryGuardedByCond()
9975         isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS);  in isBasicBlockEntryGuardedByCond()
9977         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_NE, LHS, RHS);  in isBasicBlockEntryGuardedByCond()
10559     return isKnownViaNonRecursiveReasoning(Pred, S1, S2) ||  in isImpliedViaMerge()
10768     return isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGT, S1, S2) ||  in isImpliedViaOperations()
10911 ScalarEvolution::isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred,  in isKnownViaNonRecursiveReasoning()  function in ScalarEvolution
10934     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10935         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10940     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10941         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10946     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10947         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
10952     if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
10953         isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()