1548       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)  in proveNoWrapByVaryingStart()
5447            isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr);  in createAddRecFromPHIWithCastsImpl()
5467         !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) {  in createAddRecFromPHIWithCastsImpl()
10604 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred,  in isKnownPredicate()  function in ScalarEvolution
10622   if (isKnownPredicate(Pred, LHS, RHS))  in evaluatePredicate()
10624   else if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS))  in evaluatePredicate()
10633   return isKnownPredicate(Pred, LHS, RHS) ||  in isKnownPredicateAt()
10991          isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) &&  in isKnownPredicateViaSplitting()
10992          isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS);  in isKnownPredicateViaSplitting()
11883       return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS);  in isImpliedCondOperandsViaShift()
11886         return isKnownPredicate(ICmpInst::ICMP_SLE, ShifteeS, RHS);  in isImpliedCondOperandsViaShift()
11954   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());  in IsKnownPredicateViaAddRecStart()