[llvm] [Delinearization] Extract array dimensions from global declarations (PR #175158)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 59398 tests passed
* 1365 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### Polly
<details>
<summary>Polly.CodeGen/invariant-load-dimension.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe  -polly-process-unprofitable  -polly-remarks-minimal  -polly-use-llvm-names  -polly-import-jscop-dir=C:\_work\llvm-project\llvm-project\polly\test\CodeGen  -polly-codegen-verify  -polly-process-unprofitable -polly-invariant-load-hoisting '-passes=polly-custom<scops>' -polly-print-scops -disable-output < C:\_work\llvm-project\llvm-project\polly\test\CodeGen\invariant-load-dimension.ll 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\polly\test\CodeGen\invariant-load-dimension.ll -check-prefix=SCOPS
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -polly-process-unprofitable -polly-remarks-minimal -polly-use-llvm-names '-polly-import-jscop-dir=C:\_work\llvm-project\llvm-project\polly\test\CodeGen' -polly-codegen-verify -polly-process-unprofitable -polly-invariant-load-hoisting '-passes=polly-custom<scops>' -polly-print-scops -disable-output
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\polly\test\CodeGen\invariant-load-dimension.ll' -check-prefix=SCOPS
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\polly\test\CodeGen\invariant-load-dimension.ll:16:15: error: SCOPS-NEXT: expected string not found in input
# | ; SCOPS-NEXT: [l2, l1] -> { Stmt_for_body_lr_ph_i[] -> MemRef_cpi[0, 1] };
# |               ^
# | <stdin>:11:50: note: scanning from here
# |  ReadAccess := [Reduction Type: NONE] [Scalar: 0]
# |                                                  ^
# | <stdin>:12:2: note: possible intended match here
# |  [l2, l1] -> { Stmt_for_body_lr_ph_i[] -> MemRef_cpi[0, 0] };
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\polly\test\CodeGen\invariant-load-dimension.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |            6:  Max Loop Depth: 1 
# |            7:  Invariant Accesses: { 
# |            8:  ReadAccess := [Reduction Type: NONE] [Scalar: 0] 
# |            9:  [l2, l1] -> { Stmt_for_body_i[i0] -> MemRef_cpi[0, 0] }; 
# |           10:  Execution Context: [l2, l1] -> { : } 
# |           11:  ReadAccess := [Reduction Type: NONE] [Scalar: 0] 
# | next:16'0                                                      X error: no match found
# |           12:  [l2, l1] -> { Stmt_for_body_lr_ph_i[] -> MemRef_cpi[0, 0] }; 
# | next:16'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:16'1      ?                                                             possible intended match
# |           13:  Execution Context: [l2, l1] -> { : l2 > 0 } 
# | next:16'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           14:  } 
# | next:16'0     ~~~
# |           15:  Context: 
# | next:16'0     ~~~~~~~~~~
# |           16:  [l2, l1] -> { : -2147483648 <= l2 <= 2147483647 and -2147483648 <= l1 <= 2147483647 } 
# | next:16'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           17:  Assumed Context: 
# | next:16'0     ~~~~~~~~~~~~~~~~~~
# |            .
# |            .
# |            .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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