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

[Ramkumar Ramachandra via llvm-commits]

================
@@ -8,15 +8,21 @@ declare void @llvm.assume(i1)
 define void @different_non_constant_strides_known_backward(ptr %A) {
 ; CHECK-LABEL: 'different_non_constant_strides_known_backward'
 ; CHECK-NEXT:    loop:
-; CHECK-NEXT:      Report: unsafe dependent memory operations in loop. Use #pragma clang loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop
-; CHECK-NEXT:  Unknown data dependence.
+; CHECK-NEXT:      Memory dependences are safe with run-time checks
----------------
artagnon wrote:

Turns out this is due to some ongoing work in SCEVExpander and GEPNoWrapFlags. The scevgeps should now be marked nuw, as per https://discourse.llvm.org/t/rfc-add-nusw-and-nuw-flags-for-getelementptr/78672.

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