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

[Dmitry Makogon 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
----------------
d-makogon wrote:

The tests in `PhaseOrdering` check for how the IR gets optimized by several passes. The motivating case for the two patches is to vectorize the loop in this test file without the runtime memory overlap check.  



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