[llvm] [LAA] Allow zero-distance dependences between mixed-width accesses (PR #221531)

[Ramkumar Ramachandra via llvm-commits]

https://github.com/artagnon commented:

Not sure about this: are we claiming that SzA * CommonStride can never overlap with SzB * CommonStride? Wouldn't this only be true at least if gcd(SzA, SzB) = 1? I don't think your Alive2 proof is exhaustive? I think something like https://github.com/llvm/llvm-project/pull/159534 shows a correct result?

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