1531       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)  in proveNoWrapByVaryingStart()
5152            isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr);  in createAddRecFromPHIWithCastsImpl()
5172         !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) {  in createAddRecFromPHIWithCastsImpl()
9887 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred,  in isKnownPredicate()  function in ScalarEvolution
9905   if (isKnownPredicate(Pred, LHS, RHS))  in evaluatePredicate()
9907   else if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS))  in evaluatePredicate()
9916   return isKnownPredicate(Pred, LHS, RHS) ||  in isKnownPredicateAt()
10264          isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) &&  in isKnownPredicateViaSplitting()
10265          isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS);  in isKnownPredicateViaSplitting()
10586       if (isKnownPredicate(ICmpInst::ICMP_ULE, FoundLHS, MaxValue) &&  in isImpliedCond()
10587           isKnownPredicate(ICmpInst::ICMP_ULE, FoundRHS, MaxValue)) {  in isImpliedCond()
11148   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());  in IsKnownPredicateViaAddRecStart()