[Mlir-commits] [mlir] [MLIR][TOSA] Enable strict property assembly format (PR #217291)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Wed Aug 19 05:00:02 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 4040 tests passed
* 446 tests skipped
* 9 tests failed
## Failed Tests
(click on a test name to see its output)
### MLIR
<details>
<summary>MLIR.Conversion/TosaToSPIRVTosa/custom-op-domain-to-opcode-invalid.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\not.exe c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --pass-pipeline='builtin.module(tosa-to-spirv-tosa{custom-op-domain-to-opcode=test:7})' C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\not.exe' 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file '--pass-pipeline=builtin.module(tosa-to-spirv-tosa{custom-op-domain-to-opcode=test:7})' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir'
# 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\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir:4:12: error: CHECK: expected string not found in input
# | // CHECK: 'tosa.custom' op with mapped domain requires at least one result
# | ^
# | <stdin>:1:1: note: scanning from here
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir:5:21: error: custom op 'tosa.custom' expected 'operator_name'
# | ^
# | <stdin>:1:136: note: possible intended match here
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir:5:21: error: custom op 'tosa.custom' expected 'operator_name'
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode-invalid.mlir:5:21: error: custom op 'tosa.custom' expected 'operator_name'
# | check:4'0 { search range start (exclusive)
# | check:4'1 error: no match found in search range
# | check:4'2 ? possible intended match
# | 2: tosa.custom %arg0 {domain_name = "test", implementation_attrs = "{}", operator_name = "NoResult"} : (tensor<1x16xf32>) -> ()
# | 3: ^
# | check:4'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/TosaToSPIRVTosa/custom-op-domain-to-opcode.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --pass-pipeline='builtin.module(tosa-to-spirv-tosa{custom-op-domain-to-opcode=my:custom:0,com.example.accel:42})' C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file '--pass-pipeline=builtin.module(tosa-to-spirv-tosa{custom-op-domain-to-opcode=my:custom:0,com.example.accel:42})' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir:16:33: error: custom op 'tosa.custom' expected 'operator_name'
# | %0 = tosa.custom %arg0, %arg1 {domain_name = "my:custom", implementation_attrs = "{\"param\":\"value\"}", operator_name = "TestOp"} : (tensor<1x16xf32>, tensor<1x16xf32>) -> tensor<1x16xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir:29:26: error: custom op 'tosa.custom' expected 'operator_name'
# | %0 = tosa.custom %arg0 {domain_name = "com.example.accel", implementation_attrs = "{}", operator_name = "ExampleOp"} : (tensor<1x16xf32>) -> tensor<1x16xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir:42:26: error: custom op 'tosa.custom' expected 'operator_name'
# | %0 = tosa.custom %arg0 {domain_name = "my:custom", implementation_attrs = "", operator_name = ""} : (tensor<1x16xf32>) -> tensor<1x16xf32>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir:8:11: error: CHECK: expected string not found in input
# | // CHECK: spirv.module @_spirv_tosa_mapped_custom Logical Vulkan
# | ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\custom-op-domain-to-opcode.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: // -----
# | check:8'0 { search range start (exclusive)
# | check:8'1 error: no match found in search range
# | 2: // -----
# | check:8'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/TosaToSPIRVTosa/graph-constant-mark.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --tosa-to-spirv-tosa-mark-graph-constants C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file --tosa-to-spirv-tosa-mark-graph-constants 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir'
# 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\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir:23:12: error: CHECK: expected string not found in input
# | // CHECK: tosa.const_shape {grapharm.graph_constant_id = 0 : i32, values = {{.*}}} : () -> !tosa.shape<33>
# | ^
# | <stdin>:18:30: note: scanning from here
# | func.func @large_const_shape() -> !tosa.shape<33> {
# | ^
# | <stdin>:19:167: note: possible intended match here
# | %0 = tosa.const_shape values(dense<[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]> : tensor<33xindex>) {grapharm.graph_constant_id = 0 : i32} : () -> !tosa.shape<33>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir:45:12: error: CHECK: expected string not found in input
# | // CHECK: tosa.const_shape {grapharm.graph_constant_id = 2 : i32, values = {{.*}}} : () -> !tosa.shape<33>
# | ^
# | <stdin>:36:193: note: scanning from here
# | %1 = "tosa.const"() <{values = dense<[20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37]> : tensor<18xi32>}> {grapharm.graph_constant_id = 1 : i32} : () -> tensor<18xi32>
# | ^
# | <stdin>:37:167: note: possible intended match here
# | %2 = tosa.const_shape values(dense<[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]> : tensor<33xindex>) {grapharm.graph_constant_id = 2 : i32} : () -> !tosa.shape<33>
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\graph-constant-mark.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 13: }
# | 14: }
# | 15:
# | 16: // -----
# | 17: module {
# | 18: func.func @large_const_shape() -> !tosa.shape<33> {
# | check:23'0 { search range start (exclusive)
# | check:23'1 error: no match found in search range
# | 19: %0 = tosa.const_shape values(dense<[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]> : tensor<33xindex>) {grapharm.graph_constant_id = 0 : i32} : () -> !tosa.shape<33>
# | check:23'2 ? possible intended match
# | 20: return %0 : !tosa.shape<33>
# | 21: }
# | 22: }
# | 23:
# | 24: // -----
# | 25: module {
# | 26: func.func @small_const_shape() -> !tosa.shape<32> {
# | check:23'3 } search range end (exclusive)
# | 27: %0 = tosa.const_shape values(dense<[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32]> : tensor<32xindex>) : () -> !tosa.shape<32>
# | 28: return %0 : !tosa.shape<32>
# | 29: }
# | 30: }
# | 31:
# | 32: // -----
# | 33: module {
# | 34: func.func @mixed_large_constants() -> (tensor<17xi32>, tensor<18xi32>, !tosa.shape<33>) {
# | 35: %0 = "tosa.const"() <{values = dense<[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]> : tensor<17xi32>}> {grapharm.graph_constant_id = 0 : i32} : () -> tensor<17xi32>
# | 36: %1 = "tosa.const"() <{values = dense<[20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37]> : tensor<18xi32>}> {grapharm.graph_constant_id = 1 : i32} : () -> tensor<18xi32>
# | check:45'0 { search range start (exclusive)
# | check:45'1 error: no match found in search range
# | 37: %2 = tosa.const_shape values(dense<[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]> : tensor<33xindex>) {grapharm.graph_constant_id = 2 : i32} : () -> !tosa.shape<33>
# | check:45'2 ? possible intended match
# | 38: return %0, %1, %2 : tensor<17xi32>, tensor<18xi32>, !tosa.shape<33>
# | 39: }
# | 40: }
# | 41:
# | check:45'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/TosaToSPIRVTosa/tosa-to-spirv.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --tosa-to-spirv-tosa C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file --tosa-to-spirv-tosa 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:23:46: error: custom op 'tosa.avg_pool2d' expected 'kernel'
# | %res = tosa.avg_pool2d %arg0, %arg1, %arg2 {kernel = array<i64: 2, 2>, stride = array<i64: 2, 2>, pad = array<i64: 0, 0, 0, 0>, acc_type = i32} : (tensor<1x4x4x1xi8>, tensor<1xi8>, tensor<1xi8>) -> tensor<1x2x2x1xi8>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:36:56: error: custom op 'tosa.conv2d' expected 'pad'
# | %res = tosa.conv2d %arg0, %arg1, %arg2, %arg3, %arg4 {pad = array<i64: 0, 0, 0, 0>, stride = array<i64: 1, 1>, dilation = array<i64: 1, 1>, acc_type = i32, local_bound = false} : (tensor<1x4x4x1xi8>, tensor<2x3x3x1xi8>, tensor<2xi32>, tensor<1xi8>, tensor<1xi8>) -> tensor<1x2x2x2xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:49:56: error: custom op 'tosa.conv3d' expected 'pad'
# | %res = tosa.conv3d %arg0, %arg1, %arg2, %arg3, %arg4 {pad = array<i64: 0, 0, 0, 0, 0, 0>, stride = array<i64: 1, 1, 1>, dilation = array<i64: 1, 1, 1>, acc_type = i32, local_bound = false} : (tensor<1x4x4x4x1xi8>, tensor<2x2x2x2x1xi8>, tensor<2xi32>, tensor<1xi8>, tensor<1xi8>) -> tensor<1x3x3x3x2xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:62:66: error: custom op 'tosa.depthwise_conv2d' expected 'pad'
# | %res = tosa.depthwise_conv2d %arg0, %arg1, %arg2, %arg3, %arg4 {pad = array<i64: 0, 0, 0, 0>, stride = array<i64: 1, 1>, dilation = array<i64: 1, 1>, acc_type = i32, local_bound = false} : (tensor<1x4x4x1xi8>, tensor<3x3x1x2xi8>, tensor<2xi32>, tensor<1xi8>, tensor<1xi8>) -> tensor<1x2x2x2xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:131:66: error: custom op 'tosa.transpose_conv2d' expected 'out_pad'
# | %res = tosa.transpose_conv2d %arg0, %arg1, %arg2, %arg3, %arg4 {out_pad = array<i64: 0, 0, 0, 0>, stride = array<i64: 1, 1>, acc_type = i32, local_bound = false} : (tensor<1x2x2x1xi8>, tensor<2x3x3x1xi8>, tensor<2xi32>, tensor<1xi8>, tensor<1xi8>) -> tensor<1x4x4x2xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:209:51: error: custom op 'tosa.arithmetic_right_shift' expected 'round'
# | %res = tosa.arithmetic_right_shift %arg0, %arg1 {round = true} : (tensor<1x4xi16>, tensor<3x4xi16>) -> tensor<3x4xi16>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:638:32: error: custom op 'tosa.reduce_all' expected 'axis'
# | %res = tosa.reduce_all %arg0 {axis = 1 : i32} : (tensor<2x3x4xi1>) -> tensor<2x1x4xi1>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:651:32: error: custom op 'tosa.reduce_any' expected 'axis'
# | %res = tosa.reduce_any %arg0 {axis = 1 : i32} : (tensor<2x3x4xi1>) -> tensor<2x1x4xi1>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:690:36: error: custom op 'tosa.reduce_product' expected 'axis'
# | %res = tosa.reduce_product %arg0 {axis = 1 : i32} : (tensor<2x3x4xf32>) -> tensor<2x1x4xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:703:32: error: custom op 'tosa.reduce_sum' expected 'axis'
# | %res = tosa.reduce_sum %arg0 {axis = 1 : i32} : (tensor<2x3x4xi32>) -> tensor<2x1x4xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:716:35: error: custom op 'tosa.concat' expected 'axis'
# | %res = tosa.concat %arg0, %arg1 {axis = 1 : i32} : (tensor<2x3xi8>, tensor<2x4xi8>) -> tensor<2x7xi8>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:751:14: error: custom op 'tosa.concat' expected 'axis'
# | %arg64 {axis = 0 : i32}
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:778:476: error: custom op 'tosa.concat' expected 'axis'
# | %res = tosa.concat %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0, %arg0 {axis = 0 : i32} : (tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>, tensor<?xi8>) -> tensor<?xi8>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:823:29: error: custom op 'tosa.reverse' expected 'axis'
# | %res = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<20x5x28x31xi32>) -> tensor<20x5x28x31xi32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:868:31: error: custom op 'tosa.transpose' expected 'perms'
# | %res = tosa.transpose %arg0 {perms = array<i32: 2, 0, 1, 3>} : (tensor<14x28x1x61xi16>) -> tensor<1x14x28x61xi16>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir:20:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: spirv.ARM.Graph @avg_pool2d_int
# | ^
# | <stdin>:3:29: note: scanning from here
# | spirv.ARM.Graph @argmax_int(%arg0: !spirv.arm.tensor<2x3x4xi8> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 0)>}) -> (!spirv.arm.tensor<2x4xi32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 1)>}) attributes {entry_point = true} {
# | ^
# | <stdin>:39:2: note: possible intended match here
# | spirv.ARM.Graph @max_pool2d_fp(%arg0: !spirv.arm.tensor<1x4x4x1xf32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 0)>}) -> (!spirv.arm.tensor<1x2x2x1xf32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 1)>}) attributes {entry_point = true} {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToSPIRVTosa\tosa-to-spirv.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: module {
# | 2: spirv.module @_spirv_tosa_argmax_int Logical Vulkan attributes {spirv.target_env = #spirv.target_env<#spirv.vce<v1.5, [VulkanMemoryModel, Shader, Int8, Int16, Int64, Float16, BFloat16TypeKHR, Float8EXT, TensorsARM, GraphARM, ReplicatedCompositesEXT], [SPV_ARM_tensors, SPV_ARM_graph, SPV_KHR_vulkan_memory_model, SPV_EXT_replicated_composites, SPV_KHR_bfloat16, SPV_EXT_float8, SPV_KHR_non_semantic_info]>, #spirv.resource_limits<>>} {
# | 3: spirv.ARM.Graph @argmax_int(%arg0: !spirv.arm.tensor<2x3x4xi8> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 0)>}) -> (!spirv.arm.tensor<2x4xi32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 1)>}) attributes {entry_point = true} {
# | label:20'0 { search range start (exclusive)
# | label:20'1 error: no match found in search range
# | 4: %0 = spirv.Tosa.ArgMax axis = 1, nan_mode = <Propagate>, %arg0 : !spirv.arm.tensor<2x3x4xi8> -> !spirv.arm.tensor<2x4xi32>
# | 5: spirv.ARM.GraphOutputs %0 : !spirv.arm.tensor<2x4xi32>
# | 6: }
# | 7: }
# | 8: }
# | .
# | .
# | .
# | 34: }
# | 35:
# | 36: // -----
# | 37: module {
# | 38: spirv.module @_spirv_tosa_max_pool2d_fp Logical Vulkan attributes {spirv.target_env = #spirv.target_env<#spirv.vce<v1.5, [VulkanMemoryModel, Shader, Int8, Int16, Int64, Float16, BFloat16TypeKHR, Float8EXT, TensorsARM, GraphARM, ReplicatedCompositesEXT], [SPV_ARM_tensors, SPV_ARM_graph, SPV_KHR_vulkan_memory_model, SPV_EXT_replicated_composites, SPV_KHR_bfloat16, SPV_EXT_float8, SPV_KHR_non_semantic_info]>, #spirv.resource_limits<>>} {
# | 39: spirv.ARM.Graph @max_pool2d_fp(%arg0: !spirv.arm.tensor<1x4x4x1xf32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 0)>}) -> (!spirv.arm.tensor<1x2x2x1xf32> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 1)>}) attributes {entry_point = true} {
# | label:20'2 ? possible intended match
# | 40: %0 = spirv.Tosa.MaxPool2D kernel = [2, 2], stride = [2, 2], pad = [0, 0, 0, 0], nan_mode = <Propagate>, %arg0 : !spirv.arm.tensor<1x4x4x1xf32> -> !spirv.arm.tensor<1x2x2x1xf32>
# | 41: spirv.ARM.GraphOutputs %0 : !spirv.arm.tensor<1x2x2x1xf32>
# | 42: }
# | 43: }
# | 44: }
# | .
# | .
# | .
# | 625: spirv.ARM.Graph @identity_int(%arg0: !spirv.arm.tensor<2x3xi8> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 0)>}) -> (!spirv.arm.tensor<2x3xi8> {spirv.interface_var_abi = #spirv.interface_var_abi<(0, 1)>}) attributes {entry_point = true} {
# | 626: spirv.ARM.GraphOutputs %arg0 : !spirv.arm.tensor<2x3xi8>
# | 627: }
# | 628: }
# | 629: }
# | 630:
# | label:20'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-downgrade-1-1-to-1-0.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --tosa-downgrade-1-1-to-1-0 C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file --tosa-downgrade-1-1-to-1-0 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:8:24: error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<13x21x3xi1>) -> tensor<13x21x3xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:19:24: error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<*xi1>) -> tensor<*xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:30:24: error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<13x?x3xf32>) -> tensor<13x?x3xi1>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:41:24: error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<*xf32>) -> tensor<*xi1>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:51:24: error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<13x21x3xi1>) -> tensor<13x21x3xi8>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir:3:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @test_bool_to_fp32
# | ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# | <stdin>:60:12: note: possible intended match here
# | func.func @test_matmul_t_static_batch(%arg0: tensor<4x14x19xf32>, %arg1: tensor<4x28x19xf32>, %arg2: tensor<1xf32>, %arg3: tensor<1xf32>) -> tensor<4x14x28xf32> {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-downgrade-1-1-to-1-0.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: // -----
# | label:3'0 { search range start (exclusive)
# | label:3'1 error: no match found in search range
# | 2: // -----
# | 3: // -----
# | 4: // -----
# | 5: // -----
# | 6: module {
# | .
# | .
# | .
# | 55: }
# | 56: }
# | 57:
# | 58: // -----
# | 59: module {
# | 60: func.func @test_matmul_t_static_batch(%arg0: tensor<4x14x19xf32>, %arg1: tensor<4x28x19xf32>, %arg2: tensor<1xf32>, %arg3: tensor<1xf32>) -> tensor<4x14x28xf32> {
# | label:3'2 ? possible intended match
# | 61: %0 = tosa.transpose %arg1 perms(array<i32: 0, 2, 1>) : (tensor<4x28x19xf32>) -> tensor<4x19x28xf32>
# | 62: %1 = tosa.matmul %arg0, %0, %arg2, %arg3 : (tensor<4x14x19xf32>, tensor<4x19x28xf32>, tensor<1xf32>, tensor<1xf32>) -> tensor<4x14x28xf32>
# | 63: return %1 : tensor<4x14x28xf32>
# | 64: }
# | 65: }
# | .
# | .
# | .
# | 88: func.func @test_preserve_matmul_t_block_scaled(%arg0: tensor<1x14x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>, %arg1: tensor<1x28x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>, %arg2: tensor<1xf32>, %arg3: tensor<1xf32>) -> tensor<1x14x28xf32> {
# | 89: %0 = tosa.matmul_t %arg0, %arg1, %arg2, %arg3 : (tensor<1x14x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>, tensor<1x28x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>, tensor<1xf32>, tensor<1xf32>) -> tensor<1x14x28xf32>
# | 90: return %0 : tensor<1x14x28xf32>
# | 91: }
# | 92: }
# | 93:
# | label:3'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-layerwise-constant-fold-dense-resource.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --split-input-file --tosa-layerwise-constant-fold C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file --tosa-layerwise-constant-fold 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:12:26: error: custom op 'tosa.transpose' expected 'perms'
# | %2 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf32>) -> tensor<2x2xf32>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:31:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf8E4M3FN>) -> tensor<2x2xf8E4M3FN>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:51:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf8E5M2>) -> tensor<2x2xf8E5M2>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:71:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf4E2M1FN>) -> tensor<2x2xf4E2M1FN>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:91:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf16>) -> tensor<2x2xf16>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:111:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xbf16>) -> tensor<2x2xbf16>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:131:26: error: custom op 'tosa.transpose' expected 'perms'
# | %1 = tosa.transpose %0 { perms = array<i32: 1, 0> }: (tensor<2x2xf64>) -> tensor<2x2xf64>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir:7:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @transpose_fold_dense_resource
# | ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-layerwise-constant-fold-dense-resource.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: // -----
# | label:7'0 { search range start (exclusive)
# | label:7'1 error: no match found in search range
# | 2: // -----
# | 3: // -----
# | 4: // -----
# | 5: // -----
# | 6: // -----
# | label:7'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-narrow-f64-to-f32-aggressive.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -split-input-file -verify-diagnostics -tosa-narrow-f64-to-f32="aggressive-rewrite=1" C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir --allow-unused-prefixes --check-prefixes=COMMON,DEFAULT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -split-input-file -verify-diagnostics -tosa-narrow-f64-to-f32=aggressive-rewrite=1 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir:54:21: error: unexpected error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %1 = tosa.cast %0 {input_unsigned = false} : (tensor<1x3xf64>) -> tensor<1x3xf32>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir' --allow-unused-prefixes --check-prefixes=COMMON,DEFAULT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir:46:13: error: DEFAULT: expected string not found in input
# | // DEFAULT: %[[IN:.*]]: tensor<1x3xf64>
# | ^
# | <stdin>:28:27: note: scanning from here
# | return %3 : tensor<1xf64>
# | ^
# | <stdin>:28:27: note: pattern attempts to capture variables: "IN"
# | return %3 : tensor<1xf64>
# | ^
# | <stdin>:47:9: note: possible intended match here
# | return %1 : tensor<1x2xf64>
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-f64-to-f32-aggressive.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 23: } else {
# | 24: %4 = tosa.sub %1, %0 : (tensor<1xf32>, tensor<1xf32>) -> tensor<1xf32>
# | 25: tosa.yield %4 : tensor<1xf32>
# | 26: }
# | 27: %3 = tosa.cast %2 : (tensor<1xf32>) -> tensor<1xf64>
# | 28: return %3 : tensor<1xf64>
# | check:46'0 { search range start (exclusive)
# | check:46'1 error: no match found in search range
# | check:46'2 pattern attempts to capture variables: "IN"
# | 29: }
# | 30: }
# | 31:
# | 32: // -----
# | 33: // -----
# | .
# | .
# | .
# | 42: // -----
# | 43: module {
# | 44: func.func @test_dense_ressource_f64() -> tensor<1x2xf64> {
# | 45: %0 = "tosa.const"() <{values = dense_resource<resource> : tensor<1x2xf32>}> : () -> tensor<1x2xf32>
# | 46: %1 = tosa.cast %0 : (tensor<1x2xf32>) -> tensor<1x2xf64>
# | 47: return %1 : tensor<1x2xf64>
# | check:46'3 ? possible intended match
# | 48: }
# | 49: }
# | 50:
# | 51: {-#
# | 52: dialect_resources: {
# | 53: builtin: {
# | 54: resource: "0x040000000000000000000000"
# | 55: }
# | 56: }
# | 57: #-}
# | 58:
# | check:46'4 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-narrow-i64-to-i32-aggressive.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -split-input-file -verify-diagnostics -tosa-narrow-i64-to-i32="aggressive-rewrite=1" C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir --allow-unused-prefixes --check-prefixes=COMMON,DEFAULT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -split-input-file -verify-diagnostics -tosa-narrow-i64-to-i32=aggressive-rewrite=1 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir:20:24: error: unexpected error: custom op 'tosa.cast' inherent attribute 'input_unsigned' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | %0 = tosa.cast %arg0 {input_unsigned = false} : (tensor<1x513x513x3xi64>) -> tensor<1x513x513x3xi32>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir' --allow-unused-prefixes --check-prefixes=COMMON,DEFAULT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir:14:13: error: DEFAULT: expected string not found in input
# | // DEFAULT: %[[IN:.*]]: tensor<1x513x513x3xi64>
# | ^
# | <stdin>:3:102: note: scanning from here
# | %0 = tosa.argmax %arg0 {axis = 3 : i32} : (tensor<1x513x513x2147483650xi8>) -> tensor<1x513x513xi32>
# | ^
# | <stdin>:3:102: note: pattern attempts to capture variables: "IN"
# | %0 = tosa.argmax %arg0 {axis = 3 : i32} : (tensor<1x513x513x2147483650xi8>) -> tensor<1x513x513xi32>
# | ^
# | <stdin>:5:9: note: possible intended match here
# | return %1 : tensor<1x513x513xi64>
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-narrow-i64-to-i32-aggressive.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: module {
# | 2: func.func @test_i64_argmax_large_axis_dim(%arg0: tensor<1x513x513x2147483650xi8>) -> tensor<1x513x513xi64> {
# | 3: %0 = tosa.argmax %arg0 {axis = 3 : i32} : (tensor<1x513x513x2147483650xi8>) -> tensor<1x513x513xi32>
# | check:14'0 { search range start (exclusive)
# | check:14'1 error: no match found in search range
# | check:14'2 pattern attempts to capture variables: "IN"
# | 4: %1 = tosa.cast %0 : (tensor<1x513x513xi32>) -> tensor<1x513x513xi64>
# | 5: return %1 : tensor<1x513x513xi64>
# | check:14'3 ? possible intended match
# | 6: }
# | 7: }
# | 8:
# | 9: // -----
# | 10: // -----
# | .
# | .
# | .
# | 68: builtin: {
# | 69: resource: "0x040000000000000000000000"
# | 70: }
# | 71: }
# | 72: #-}
# | 73:
# | check:14'4 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-validation-validate-func-signature-invalid.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-validate-func-signature-invalid.mlir -split-input-file -verify-diagnostics -tosa-attach-target="specification_version=1.1.draft profiles=pro_int,pro_fp extensions=shape level=8k" -tosa-validate="strict-op-spec-alignment validate-function-signature"
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-validate-func-signature-invalid.mlir' -split-input-file -verify-diagnostics '-tosa-attach-target=specification_version=1.1.draft profiles=pro_int,pro_fp extensions=shape level=8k' '-tosa-validate=strict-op-spec-alignment validate-function-signature'
# .---command stdout------------
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# `-----------------------------
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-validate-func-signature-invalid.mlir:12:27: error: unexpected error: custom op 'tosa.const_shape' expected 'values'
# | %cst = tosa.const_shape {values = dense<[1, 2, 3, 4]> : tensor<4xindex>} : () -> !tosa.shape<4>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-validate-func-signature-invalid.mlir:10:4: error: expected error "'func.func' op Function return types must be a tensor type to be TOSA compliant, got !tosa.shape type" was not produced
# | // expected-error at +1 {{'func.func' op Function return types must be a tensor type to be TOSA compliant, got !tosa.shape type}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# 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/217291
More information about the Mlir-commits
mailing list