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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Actually if a loop exit by guard, we should either be able to understand that it happens and limit the backedge taken count to this value, or return SCEVCouldNotCompute at this query. So I don't think it's the case here.


https://reviews.llvm.org/D43375