[llvm] [SCEV][LV] Add Stride equal to one Predicate to enable strided access versioning (PR #77287)

[via llvm-commits]

================
@@ -92,3 +92,55 @@ for.end.loopexit:
 for.end:
   ret void
 }
+
+; We can vectorize the loop by using stride = 1 to calculate iteration count
+; and generate the runtime check to guard the vectorized loop.
+
+; CHECK-LABEL: s172
+; CHECK-DAG: icmp ne i32 %xb, 1
+; CHECK: vector.body
----------------
ShivaChen wrote:

Hi Sjoerdmeijer,

I added more check lines to bring more context.
Thanks for the review. :-)

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