[llvm] [polly] [delinearize] Extract array dimensions from alloca and global declarations (PR #156342)

[Ryotaro Kasuga via llvm-commits]

================
@@ -5,12 +5,13 @@
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-macosx10.6.0"
 
+ at A.global = global [100 x [100 x i32]] zeroinitializer
 
 ;;  for (long int i = 0; i < 50; i++) {
 ;;    A[i][i] = i;
 ;;    *B++ = A[i + 10][i + 9];
 
-define void @couple0(ptr %A, ptr %B, i32 %n) nounwind uwtable ssp {
+define void @couple0(ptr %B, i32 %n) nounwind uwtable ssp {
----------------
kasuga-fj wrote:

You might want to consider the purpose of regression tests. I believe one of the primary purposes of *regression* tests is to guarantee that nothing unexpected happens. From this standpoint, it doesn’t make sense to modify the input to keep the output unchanged.
If this patch changes the output for this input, it would be considered a regression, and we need to check whether the change is reasonable or not.

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