[llvm] [DA] do not handle GEPs with different types (PR #144088)

Sjoerd Meijer via llvm-commits llvm-commits at lists.llvm.org
Wed Jul 2 08:07:20 PDT 2025


================
@@ -149,8 +145,7 @@ define void @multidim_accesses(ptr %A) {
 ; CHECK-NEXT:  Src: store i32 1, ptr %idx0, align 4 --> Dst: store i32 1, ptr %idx0, align 4
 ; CHECK-NEXT:    da analyze - none!
 ; CHECK-NEXT:  Src: store i32 1, ptr %idx0, align 4 --> Dst: store i32 1, ptr %idx1, align 4
-; FIXME: the dependence distance is not constant. Distance vector should be [* * *|<]!
-; CHECK-NEXT:    da analyze - consistent output [0 0 0|<]!
+; CHECK-NEXT:    da analyze - confused!
----------------
sjoerdmeijer wrote:

Just wanted to double check the following: but doesn't this mean that DA is more conservative for this example? So that is okay in the sense it won't trigger problems?



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


More information about the llvm-commits mailing list