[PATCH] D43375: [SCEV] Prove predicates in loops via monotonicity

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I see the point now. Backedge taken count does not factor in the abnormal exits like guard exits. Looks fishy indeed. Need to check whether we may end up with computable number of iterations when we go via overflow, and maybe make our checks more strict to restrain such cases.


https://reviews.llvm.org/D43375