[llvm-branch-commits] [llvm] [SCEV] Prove monotonic predicates from loop entry in isKnownViaInduction (PR #231697)

[Max Kazantsev via llvm-branch-commits]

xortator wrote:

Essential: the last patch contains strange logic (usage of NEW predicate after monotonic rewrite with OLD LHS/RHS before that rewrite), which I cannot say is something reasonable at all. Also it messes with constant bounds, which may pessimize vectorizer, and loses samesign flag.


https://github.com/llvm/llvm-project/pull/231697