reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Overrides

include/llvm/Analysis/ScalarEvolution.h

  228   virtual bool implies(const SCEVPredicate *N) const = 0;

Declarations

include/llvm/Analysis/ScalarEvolution.h

  424   bool implies(const SCEVPredicate *N) const override;

References

lib/Analysis/ScalarEvolution.cpp

 4941     if (Expr1 != Expr2 && !Preds.implies(SE.getEqualPredicate(Expr1, Expr2)) &&
 4942         !Preds.implies(SE.getEqualPredicate(Expr2, Expr1)))
12171       return Pred && Pred->implies(P);
12341                   [this](const SCEVPredicate *I) { return this->implies(I); });
12366   if (implies(N))
12410   if (Preds.implies(&Pred))