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

[Sebastian Pop 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 {
----------------
sebpop wrote:

If I remove all changes to Coupled.ll and run lit on it, the test passes:
```
./bin/llvm-lit -sv ../llvm/test/Analysis/DependenceAnalysis/Coupled.ll
```
However if I add -debug to the test, it will show me several mismatches:
```
WARNING: array_info failed and GEP analysis succeeded.
  Instruction:   store i32 1, ptr %arrayidx.us, align 4
  Using GEP analysis results despite array_info failure
```

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