[llvm] [DA] Remove `DependenceInfo::unifySubscriptType` (PR #181607)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 19 01:08:04 PST 2026


================
@@ -3263,7 +3211,10 @@ bool DependenceInfo::tryDelinearize(Instruction *Src, Instruction *Dst,
   for (int I = 0; I < Size; ++I) {
     Pair[I].Src = SrcSubscripts[I];
     Pair[I].Dst = DstSubscripts[I];
-    unifySubscriptType(&Pair[I]);
+
+    // TODO: Is this check necessary?
----------------
kasuga-fj wrote:

To reach this point, the alias analysis must return `MustAlias` for the base pointers of src and dst. I don't quite understand the semantics of address spaces, but is it possible to craft such an example? If so, then yes, probably I can create a test case as you suggested.

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


More information about the llvm-commits mailing list