Lines Matching refs:implies
1275 // "{S,+,X} is <nsw>/<nuw>" and "the backedge is taken at least once" implies
4447 // every iteration of that loop. That implies that the value that V
7721 // We know V `Pred` SharperMin. If this implies LHS `Pred`
7736 // If V `Pred` Min implies LHS `Pred` RHS, we're done.
8119 // The antecedent implies the consequent if every value of `LHS` that
9628 bool SCEVEqualPredicate::implies(const SCEVPredicate *N) const {
9662 bool SCEVUnionPredicate::implies(const SCEVPredicate *N) const {
9665 [this](const SCEVPredicate *I) { return this->implies(I); });
9673 [N](const SCEVPredicate *I) { return I->implies(N); });
9690 if (implies(N))
9724 if (Preds.implies(&Pred))
