Lines Matching refs:isKnownViaNonRecursiveReasoning
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()
11794 return isKnownViaNonRecursiveReasoning(Pred, S1, S2) || in isImpliedViaMerge()
12049 return isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGT, S1, S2) || in isImpliedViaOperations()
12192 ScalarEvolution::isKnownViaNonRecursiveReasoning(ICmpInst::Predicate Pred, in isKnownViaNonRecursiveReasoning() function in ScalarEvolution
12215 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12216 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12221 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12222 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12227 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12228 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12233 if (isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, LHS, FoundLHS) && in isImpliedCondOperandsHelper()
12234 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()