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

[Max Kazantsev via llvm-branch-commits]

================
@@ -0,0 +1,125 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt -passes='loop(indvars),loop-vectorize' -force-vector-width=4 -force-vector-interleave=1 -S < %s | FileCheck %s
----------------
xortator wrote:

What value does LV add here? Is this test checking something in vectorizer or in IndVars?

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