[llvm-branch-commits] [llvm] [DA] Add check for base pointer invariance (PR #148241)

[Ryotaro Kasuga via llvm-branch-commits]

================
@@ -113,7 +113,7 @@ define void @banerjee1(ptr %A, ptr %B, i64 %m, i64 %n) nounwind uwtable ssp {
 ; CHECK-NEXT:  Src: %2 = load i64, ptr %arrayidx6, align 8 --> Dst: store i64 %2, ptr %B.addr.12, align 8
 ; CHECK-NEXT:    da analyze - confused!
 ; CHECK-NEXT:  Src: store i64 %2, ptr %B.addr.12, align 8 --> Dst: store i64 %2, ptr %B.addr.12, align 8
-; CHECK-NEXT:    da analyze - output [* *]!
----------------
kasuga-fj wrote:

All the test changes except for FlipFlopBaseAddress.ll are related to dependencies between memory accesses of the form `*B++`.

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