Lines Matching defs:implies

1362   // "{S,+,X} is <nsw>/<nuw>" and "the backedge is taken at least once" implies
4324     //  * %y being poison implies %x is also poison.
5731     if (Expr1 != Expr2 && !Preds->implies(SE.getEqualPredicate(Expr1, Expr2)) &&
5732         !Preds->implies(SE.getEqualPredicate(Expr2, Expr1)))
8815     // Exact always implies symbolic, only check symbolic.
10546     // are finite by assumption, in which case the step being zero implies
11632   // False conditions implies anything. Do not bother analyzing it further.
11870           // We know V `Pred` SharperMin.  If this implies LHS `Pred`
11886           // If V `Pred` Min implies LHS `Pred` RHS, we're done.
12017   // this case, `FoundLHS Pred FoundRHS` implies `Start Pred FoundRHS`. Try to
12663   // The antecedent implies the consequent if every value of `LHS` that
12791     // * If this is the sole exit, then a dead exit implies the loop
12833           // overflow occurs.  This limit also implies that a signed comparison
12915     // Precondition a) implies that if the stride is negative, this is a single
13108         // (RHS > Start - 1) implies RHS >= Start.
14674       return Pred && Pred->implies(P);
14756 bool SCEVComparePredicate::implies(const SCEVPredicate *N) const {
14786 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const {
14844 bool SCEVUnionPredicate::implies(const SCEVPredicate *N) const {
14847                   [this](const SCEVPredicate *I) { return this->implies(I); });
14850                 [N](const SCEVPredicate *I) { return I->implies(N); });
14866   if (!implies(N))
14928   if (Preds->implies(&Pred))