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

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

This is very similar to what we had as an initial implementation of loop predication. Later we found that this approach is problematic. See https://reviews.llvm.org/D37569 description for the details. This patch likely suffers from a similar problem.


https://reviews.llvm.org/D43375