[llvm] [LV] Vectorize bounded (i % 2^N) loads in read only loops w/o RT checks. (PR #207279)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -1706,6 +1706,38 @@ llvm::getPtrStride(PredicatedScalarEvolution &PSE, Type *AccessTy, Value *Ptr,
   return Stride;
 }
 
+std::optional<uint64_t> llvm::getBoundedAccessBound(const SCEV *PtrSCEV,
+                                                    Type *AccessTy,
+                                                    const Loop *L,
+                                                    ScalarEvolution &SE) {
+  if (AccessTy->isScalableTy())
+    return std::nullopt;
+
+  // `A[i % 2^N]` is `Base + ElemSize * zext({0,+,1}<iN>)`. For a byte
+  // element (ElemSize == 1) the multiply folds away.
+  const SCEV *Base, *Start;
+  const APInt *Scale = nullptr;
+  auto Index = m_scev_ZExt(
+      m_scev_AffineAddRec(m_SCEV(Start), m_scev_One(), m_SpecificLoop(L)));
----------------
artagnon wrote:

Why is the zext mandatory? Would a m_scev_ZExtOrTruncOrSelf work?

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