Lines Matching refs:isKnownViaNonRecursiveReasoning

3933         isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) {  in getMinMaxExpr()
3939 } else if (isKnownViaNonRecursiveReasoning(SecondPred, Ops[i], in getMinMaxExpr()
4322 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_NE, Ops[i - 1], in getSequentialMinMaxExpr()
4333 if (isKnownViaNonRecursiveReasoning(Pred, Ops[i - 1], Ops[i])) { in getSequentialMinMaxExpr()
10868 return isKnownViaNonRecursiveReasoning(Pred, LHS, RHS); in isKnownPredicate()
11338 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopBackedgeGuardedByCond()
11463 return isKnownViaNonRecursiveReasoning(P, LHS, RHS); in isBasicBlockEntryGuardedByCond()
11544 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) in isLoopEntryGuardedByCond()
11612 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, FoundLHS, in isImpliedCond()
11614 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, FoundRHS, in isImpliedCond()
12105 return isKnownViaNonRecursiveReasoning(Pred, S1, S2) || in isImpliedViaMerge()
12360 return isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGT, S1, S2) || in isImpliedViaOperations()
12503 ScalarEvolution::isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred, in isKnownViaNonRecursiveReasoning() function in ScalarEvolution
12526 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12527 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12532 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12533 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12538 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12539 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12544 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12545 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()