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

[Ryotaro Kasuga via llvm-commits]

https://github.com/kasuga-fj commented:

I'm not familiar with DependenceAnalysis, but I've read the code and will comment on it. From what I've understood, I think what @Meinersbur said is correct.

This is just my guess, but does this patch tries to guarantee correctness based on the fact that `SrcPtr` and `DstPtr` are congruent modulo `EltSize` if all index expressions are multiples of the same value (%n`)? I haven't thought about this enough to be certain that this approach is correct, but even if it is, I don't think it is properly implemented.

I have one more question. Is it insufficient to check the `align` value is equal to `EltSize` for both `Src` and `Dst`?

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