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

References

lib/Analysis/ScalarEvolution.cpp
 4941     if (Expr1 != Expr2 && !Preds.implies(SE.getEqualPredicate(Expr1, Expr2)) &&
 4942         !Preds.implies(SE.getEqualPredicate(Expr2, Expr1)))
12394   const SCEV *NewSCEV = SE.rewriteUsingPredicate(Expr, &L, Preds);
12410   if (Preds.implies(&Pred))
12412   Preds.add(&Pred);
12417   return Preds;
12425       II.second = {Generation, SE.rewriteUsingPredicate(Rewritten, &L, Preds)};
12471     Preds.add(P);
12480     : RewriteMap(Init.RewriteMap), SE(Init.SE), L(Init.L), Preds(Init.Preds),