[PATCH] D42604: PR36032 fix assert cause by not computed SCEV PredicatedBackEdgeCount

[Evgeny Stupachenko via Phabricator via llvm-commits]

evstupac added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:11500
     for (auto *P : PredicatedRewrite->second){
       if (!addOverflowAssumption(P))
         return Expr;
----------------
sbaranga wrote:
> I think at least for now the fix can be done here, and should check that all overflow predicates are done on L (the loop currently being processed by the rewriter).
Moved the check - trying to address your suggestion. Please take a look.


Repository:
  rL LLVM

https://reviews.llvm.org/D42604