[PATCH] D47899: [SCEV] Estimate upper bound of trip count from predicated backedge count

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:6393
+
+  SCEVUnionPredicate Ps;
+  const SCEV *PredBEC = getPredicatedBackedgeTakenCount(L, Ps);
----------------
You can't throw away this list of predicates; the computed trip count isn't valid in general, only under the computed predicates, which might not be true.


Repository:
  rL LLVM

https://reviews.llvm.org/D47899