Lines Matching refs:isKnownPredicate
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()