Lines Matching defs:isKnownPredicate

1497       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)
5619            isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr);
5639         !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) {
10221     if (!SE.isKnownPredicate(CmpInst::ICMP_EQ, URem, Zero)) {
10227       if (SE.isKnownPredicate(CmpInst::ICMP_NE, URem, Zero))
11048 bool ScalarEvolution::isKnownPredicate(CmpPredicate Pred, const SCEV *LHS,
11066   if (isKnownPredicate(Pred, LHS, RHS))
11068   if (isKnownPredicate(ICmpInst::getInverseCmpPredicate(Pred), LHS, RHS))
11077   return isKnownPredicate(Pred, LHS, RHS) ||
11343   // This code is split out from isKnownPredicate because it is called from
11486   // isKnownPredicate.  isKnownPredicate is more powerful, but also more
11489   // use isKnownPredicate later if needed.
11491          isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) &&
11492          isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS);
12445       return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS);
12448         return isKnownPredicate(ICmpInst::ICMP_SLE, ShifteeS, RHS);
12516   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());
13230             isKnownPredicate(CondGE, GuardedRHS, GuardedStart))
14996   return SE.isKnownPredicate(Pred, OpStep, Step) &&
14997          SE.isKnownPredicate(Pred, OpStart, Start);