[llvm] [DA] do not handle array accesses of different offsets (PR #123436)

[Michael Kruse via llvm-commits]

================
@@ -3569,6 +3569,123 @@ bool DependenceInfo::invalidate(Function &F, const PreservedAnalyses &PA,
          Inv.invalidate<LoopAnalysis>(F, PA);
 }
 
+// Check that memory access offsets in V are multiples of array element size
+// EltSize. Param records the first parametric expression. If the scalar
+// evolution V contains two or more parameters, we check that the subsequent
+// parametric expressions are multiples of the first parametric expression
+// Param.
----------------
Meinersbur wrote:

```suggestion
/// Check that memory access offsets in V are multiples of array element size
/// EltSize. Param records the first parametric expression. If the scalar
/// evolution V contains two or more parameters, we check that the subsequent
/// parametric expressions are multiples of the first parametric expression
/// Param.
```

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