1480       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)  in proveNoWrapByVaryingStart()
5636            isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr);  in createAddRecFromPHIWithCastsImpl()
5656         !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) {  in createAddRecFromPHIWithCastsImpl()
10856 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred,  in isKnownPredicate()  function in ScalarEvolution
10874   if (isKnownPredicate(Pred, LHS, RHS))  in evaluatePredicate()
10876   if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS))  in evaluatePredicate()
10885   return isKnownPredicate(Pred, LHS, RHS) ||  in isKnownPredicateAt()
11299          isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) &&  in isKnownPredicateViaSplitting()
11300          isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS);  in isKnownPredicateViaSplitting()
12194       return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS);  in isImpliedCondOperandsViaShift()
12197         return isKnownPredicate(ICmpInst::ICMP_SLE, ShifteeS, RHS);  in isImpliedCondOperandsViaShift()
12265   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());  in IsKnownPredicateViaAddRecStart()
12984           isKnownPredicate(CondGE, GuardedRHS, GuardedStart))  in howManyLessThans()