[llvm] LAA: generalize strides over unequal type sizes (PR #108088)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

It looks like there are 2 distinct changes in the patch

* improved reasoning with non-matching strides (change in llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types.ll?)
* enabling runtime checks for cases where there's no common stride.

Could this be split up? The first should hopefully a strict improvement, while the later is problematic because in many cases the runtime checks will always be false. 

There are a few patches that should help avoid generating RT checks in most cases we can prove that they will always be false, including https://github.com/llvm/llvm-project/pull/91962 and https://github.com/llvm/llvm-project/pull/91196

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