[llvm] [DA] Replace delinearization for fixed size array (PR #161822)

[Ryotaro Kasuga via llvm-commits]

================
@@ -2,6 +2,9 @@
 ; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
 ; RUN: | FileCheck %s
 
+; XFAIL: *
+; Currently fails since delinearization doesn't work as expected.
----------------
kasuga-fj wrote:

Due to the inconsistency in the estimated array sizes between `rr[i][j]` and `rr[j][j]`; the former is estimated as a 2D array (same as the pseudo code), while the latter is inferred as a 1D array (like `rr[40*j + j]`). To address this, I think we need to consider the "compatibility" of the array sizes.

Added the comment to describe the above point.

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