[Mlir-commits] [mlir] [mlir] Add support for Static Single Information types (PR #210435)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3997 tests passed
* 444 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Transforms/canonicalize-redundant-ssi-type.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -allow-unregistered-dialect C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir -split-input-file    -pass-pipeline='builtin.module(func.func(canonicalize{region-simplify=aggressive}))'    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -allow-unregistered-dialect 'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir' -split-input-file '-pass-pipeline=builtin.module(func.func(canonicalize{region-simplify=aggressive}))'
# 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\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir:9:11: error: CHECK: expected string not found in input
# | // CHECK: cf.br ^bb1(%{{.*}} : !test.ssi_type)
# |           ^
# | <stdin>:2:40: note: scanning from here
# |  func.func @redundant_ssi_arg_preserved(%arg0: !test.ssi_type) {
# |                                        ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir:26:11: error: CHECK: expected string not found in input
# | // CHECK: cf.br ^bb1
# |           ^
# | <stdin>:10:36: note: scanning from here
# |  func.func @dead_ssi_arg_eliminated(%arg0: !test.ssi_type) {
# |                                    ^
# | <stdin>:17:5: note: possible intended match here
# |  func.func @redundant_normal_arg_eliminated(%arg0: f32) {
# |     ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir:42:11: error: CHECK: expected string not found in input
# | // CHECK: cf.br ^bb1
# |           ^
# | <stdin>:17:44: note: scanning from here
# |  func.func @redundant_normal_arg_eliminated(%arg0: f32) {
# |                                            ^
# | <stdin>:17:52: note: possible intended match here
# |  func.func @redundant_normal_arg_eliminated(%arg0: f32) {
# |                                                    ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Transforms\canonicalize-redundant-ssi-type.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             1: module { 
# |             2:  func.func @redundant_ssi_arg_preserved(%arg0: !test.ssi_type) { 
# | check:9'0                                            {                            search range start (exclusive)
# | check:9'1                                                                         error: no match found in search range
# |             3:  "test.use"(%arg0) : (!test.ssi_type) -> () 
# |             4:  return 
# |             5:  } 
# |             6: } 
# |             7:  
# |             8: // ----- 
# |             9: module { 
# |            10:  func.func @dead_ssi_arg_eliminated(%arg0: !test.ssi_type) { 
# | check:9'2                                         }                           search range end (exclusive)
# | check:26'0                                       {                            search range start (exclusive)
# | check:26'1                                                                    error: no match found in search range
# |            11:  return 
# |            12:  } 
# |            13: } 
# |            14:  
# |            15: // ----- 
# |            16: module { 
# |            17:  func.func @redundant_normal_arg_eliminated(%arg0: f32) { 
# | check:26'2         ?                                                       possible intended match
# | check:26'3                                                }                search range end (exclusive)
# | check:42'0                                               {                 search range start (exclusive)
# | check:42'1                                                                 error: no match found in search range
# | check:42'2                                                        ?        possible intended match
# |            18:  return 
# |            19:  } 
# |            20: } 
# |            21:  
# |            22: // ----- 
# |            23: module { 
# |            24:  func.func @mixed_args_selective_preservation(%arg0: !test.ssi_type, %arg1: f32) { 
# | check:42'3                                                  }                                       search range end (exclusive)
# |            25:  "test.br"(%arg0)[^bb1] : (!test.ssi_type) -> () 
# |            26:  ^bb1(%0: !test.ssi_type): // pred: ^bb0 
# |            27:  "test.use"(%0) : (!test.ssi_type) -> () 
# |            28:  return 
# |            29:  } 
# |            30: } 
# |            31:  
# | >>>>>>
# `-----------------------------
# 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/210435