[Mlir-commits] [mlir] [mlir][tosa] Preserve all-NaN max-pool windows (PR #225744)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Wed Sep 23 07:12:55 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 4201 tests passed
* 455 tests skipped
* 7 tests failed
## Failed Tests
(click on a test name to see its output)
### MLIR
<details>
<summary>MLIR.Conversion/TosaToLinalg/tosa-to-linalg-named.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --verify-each --split-input-file -pass-pipeline="builtin.module(func.func(tosa-to-linalg-named))" C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir -verify-diagnostics -o -| c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --verify-each --split-input-file '-pass-pipeline=builtin.module(func.func(tosa-to-linalg-named))' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir' -verify-diagnostics -o -
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir:122:30: error: unexpected error: custom op 'tosa.const_shape' expected 'values'
# | %kernel = tosa.const_shape {values = dense<2> : tensor<2xindex>} : () -> !tosa.shape<2>
# | ^
# `-----------------------------
# 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\TosaToLinalg\tosa-to-linalg-named.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir:112:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @max_pool_adaptive_ignore
# | ^
# | <stdin>:88:21: note: scanning from here
# | func.func @max_pool(%arg0: tensor<1x6x34x62xf32>) {
# | ^
# | <stdin>:169:12: note: possible intended match here
# | func.func @avg_pool_f16_f32acc(%arg0: tensor<1x6x34x62xf16>) -> tensor<1x5x33x62xf16> {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\TosaToLinalg\tosa-to-linalg-named.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 83: }
# | 84: }
# | 85:
# | 86: // -----
# | 87: module {
# | 88: func.func @max_pool(%arg0: tensor<1x6x34x62xf32>) {
# | label:112'0 { search range start (exclusive)
# | label:112'1 error: no match found in search range
# | 89: %cst = arith.constant -3.40282347E+38 : f32
# | 90: %0 = tensor.empty() : tensor<1x4x32x62xf32>
# | 91: %1 = linalg.fill ins(%cst : f32) outs(%0 : tensor<1x4x32x62xf32>) -> tensor<1x4x32x62xf32>
# | 92: %2 = tensor.empty() : tensor<3x3xf32>
# | 93: %3 = linalg.pooling_nhwc_max {dilations = dense<1> : vector<2xi64>, strides = dense<1> : vector<2xi64>} ins(%arg0, %2 : tensor<1x6x34x62xf32>, tensor<3x3xf32>) outs(%1 : tensor<1x4x32x62xf32>) -> tensor<1x4x32x62xf32>
# | .
# | .
# | .
# | 164: }
# | 165:
# | 166: // -----
# | 167: #map = affine_map<(d0, d1, d2, d3) -> (d0, d1, d2, d3)>
# | 168: module {
# | 169: func.func @avg_pool_f16_f32acc(%arg0: tensor<1x6x34x62xf16>) -> tensor<1x5x33x62xf16> {
# | label:112'2 ? possible intended match
# | 170: %0 = "tosa.const"() <{values = dense<0.000000e+00> : tensor<1xf16>}> : () -> tensor<1xf16>
# | 171: %1 = "tosa.const"() <{values = dense<0.000000e+00> : tensor<1xf16>}> : () -> tensor<1xf16>
# | 172: %cst = arith.constant 0.000000e+00 : f16
# | 173: %padded = tensor.pad %arg0 low[0, 1, 1, 0] high[0, 1, 1, 0] {
# | 174: ^bb0(%arg1: index, %arg2: index, %arg3: index, %arg4: index):
# | .
# | .
# | .
# | 1064: linalg.yield %8 : f32
# | 1065: } -> tensor<1x4x32x62xf32>
# | 1066: return %3 : tensor<1x4x32x62xf32>
# | 1067: }
# | 1068: }
# | 1069:
# | label:112'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/canonicalize.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 -canonicalize="test-convergence" C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --split-input-file -canonicalize=test-convergence 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir:2335:24: error: custom op 'tosa.reverse' expected 'axis'
# | %1 = tosa.reverse %0 {axis = 0 : i32} : (tensor<64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir:2345:27: error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 0 : i32} : (tensor<1x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<1x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# `-----------------------------
# 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\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir:2329:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @reverse_block_scaled_splat
# | ^
# | <stdin>:1730:36: note: scanning from here
# | func.func @test_partially_foldable(%arg0: tensor<1x1x8x8xf32>, %arg1: tensor<1x2x4x8xf32>) -> tensor<1x4x8x8xf32> {
# | ^
# | <stdin>:1730:41: note: possible intended match here
# | func.func @test_partially_foldable(%arg0: tensor<1x1x8x8xf32>, %arg1: tensor<1x2x4x8xf32>) -> tensor<1x4x8x8xf32> {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\canonicalize.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 1725: }
# | 1726: }
# | 1727:
# | 1728: // -----
# | 1729: module {
# | 1730: func.func @test_partially_foldable(%arg0: tensor<1x1x8x8xf32>, %arg1: tensor<1x2x4x8xf32>) -> tensor<1x4x8x8xf32> {
# | label:2329'0 { search range start (exclusive)
# | label:2329'1 error: no match found in search range
# | label:2329'2 ? possible intended match
# | 1731: %0 = tosa.concat %arg1, %arg1 axis(2) : (tensor<1x2x4x8xf32>, tensor<1x2x4x8xf32>) -> tensor<1x2x8x8xf32>
# | 1732: %1 = tosa.concat %arg0, %arg0, %0 axis(1) : (tensor<1x1x8x8xf32>, tensor<1x1x8x8xf32>, tensor<1x2x8x8xf32>) -> tensor<1x4x8x8xf32>
# | 1733: return %1 : tensor<1x4x8x8xf32>
# | 1734: }
# | 1735: }
# | 1736:
# | 1737: // -----
# | 1738: // -----
# | label:2329'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/invalid_extension.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 5
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\invalid_extension.mlir -split-input-file -verify-diagnostics -tosa-attach-target="specification_version=1.1.draft profiles=pro_int,pro_fp" -tosa-validate="strict-op-spec-alignment"
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\invalid_extension.mlir' -split-input-file -verify-diagnostics '-tosa-attach-target=specification_version=1.1.draft profiles=pro_int,pro_fp' -tosa-validate=strict-op-spec-alignment
# .---command stdout------------
# | module attributes {tosa.target_env = #tosa.target_env<specification_version = "1.1.draft", level = "8k", profiles = [pro_int, pro_fp], extensions = []>} {
# | }
# |
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | module attributes {tosa.target_env = #tosa.target_env<specification_version = "1.1.draft", level = "8k", profiles = [pro_int, pro_fp], extensions = []>} {
# | func.func @test_single_round_rescale(%arg0: tensor<13x21x3xi8>) -> tensor<13x21x3xi8> {
# | %0 = "tosa.const"() <{values = dense<1073741824> : tensor<1xi32>}> : () -> tensor<1xi32>
# | %1 = "tosa.const"() <{values = dense<30> : tensor<1xi8>}> : () -> tensor<1xi8>
# | %2 = "tosa.const"() <{values = dense<0> : tensor<1xi8>}> : () -> tensor<1xi8>
# | %3 = "tosa.const"() <{values = dense<0> : tensor<1xi8>}> : () -> tensor<1xi8>
# | %4 = tosa.rescale %arg0, %0, %1, %2, %3 scale32(true) rounding_mode<SINGLE_ROUND> per_channel(false) input_unsigned(false) output_unsigned(false) : (tensor<13x21x3xi8>, tensor<1xi32>, tensor<1xi8>, tensor<1xi8>, tensor<1xi8>) -> tensor<13x21x3xi8>
# | return %4 : tensor<13x21x3xi8>
# | }
# | }
# |
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# `-----------------------------
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\invalid_extension.mlir:760:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\invalid_extension.mlir:759:6: error: expected error "'tosa.reverse' op illegal: requires all of [mx_common, mx_fp8e4m3] profiles/extensions to be specified in the target environment" was not produced
# | // expected-error at +1 {{'tosa.reverse' op illegal: requires all of [mx_common, mx_fp8e4m3] profiles/extensions to be specified in the target environment}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/ops.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\ops.mlir --verify-each | c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\ops.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\ops.mlir' --verify-each
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\ops.mlir:2171:27: error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 0 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
# 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\Dialect\Tosa\ops.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\ops.mlir:6:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: argmax
# | ^
# | <stdin>:1:1: note: scanning from here
# | module {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\ops.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: module {
# | label:6'0 { search range start (exclusive)
# | label:6'1 error: no match found in search range
# | 2: }
# | 3:
# | label:6'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-validation-version-1p0-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-version-1p0-invalid.mlir -split-input-file -verify-diagnostics -tosa-attach-target="specification_version=1.0 profiles=pro_int,pro_fp extensions=int16,int4,bf16,fp8e4m3,fp8e5m2,fft,variable,controlflow,dynamic,doubleround,inexactround" -tosa-validate="strict-op-spec-alignment"
# 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-version-1p0-invalid.mlir' -split-input-file -verify-diagnostics '-tosa-attach-target=specification_version=1.0 profiles=pro_int,pro_fp extensions=int16,int4,bf16,fp8e4m3,fp8e5m2,fft,variable,controlflow,dynamic,doubleround,inexactround' -tosa-validate=strict-op-spec-alignment
# .---command stdout------------
# | module attributes {tosa.target_env = #tosa.target_env<specification_version = "1.0", level = "8k", profiles = [pro_int, pro_fp], extensions = [int16, int4, bf16, fp8e4m3, fp8e5m2, fft, variable, controlflow, dynamic, doubleround, inexactround]>} {
# | }
# |
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# `-----------------------------
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p0-invalid.mlir:381:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p0-invalid.mlir:380:6: error: expected error "'tosa.reverse' op illegal: requires specification version compatible with 1.1.draft (got 1.0) and requires all of [mx_common, mx_fp8e4m3] profiles/extensions to be specified in the target environment" was not produced
# | // expected-error at +1 {{'tosa.reverse' op illegal: requires specification version compatible with 1.1.draft (got 1.0) and requires all of [mx_common, mx_fp8e4m3] profiles/extensions to be specified in the target environment}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/tosa-validation-version-1p1-valid.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-version-1p1-valid.mlir -split-input-file -verify-diagnostics -tosa-attach-target="specification_version=1.1.draft profiles=pro_int,pro_fp extensions=int16,int4,bf16,fp8e4m3,fp8e5m2,fft,variable,controlflow,doubleround,inexactround,mxfp,int64,mxfp_conv,shape,mx_common,mx_fp4e2m1,mx_fp6e2m3,mx_fp6e3m2,mx_fp8e4m3,mx_fp8e5m2,mx_int8" -tosa-validate="strict-op-spec-alignment" | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir
# 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-version-1p1-valid.mlir' -split-input-file -verify-diagnostics '-tosa-attach-target=specification_version=1.1.draft profiles=pro_int,pro_fp extensions=int16,int4,bf16,fp8e4m3,fp8e5m2,fft,variable,controlflow,doubleround,inexactround,mxfp,int64,mxfp_conv,shape,mx_common,mx_fp4e2m1,mx_fp6e2m3,mx_fp6e3m2,mx_fp8e4m3,mx_fp8e5m2,mx_int8' -tosa-validate=strict-op-spec-alignment
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:728:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 0 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:736:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 1 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E5M2>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E5M2>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:744:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f6E3M2FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f6E3M2FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:752:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 0 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f6E2M3FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f6E2M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:760:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 1 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f4E2M1FN>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f4E2M1FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:768:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:!tosa.mxint8>>) -> tensor<2x3x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:!tosa.mxint8>>
# | ^
# `-----------------------------
# 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-validation-version-1p1-valid.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir:726:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: test_reverse_block_scaled_0
# | ^
# | <stdin>:711:36: note: scanning from here
# | func.func @test_block_scaled_slice(%arg0: tensor<13x21x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<4x11x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>> {
# | ^
# | <stdin>:711:53: note: possible intended match here
# | func.func @test_block_scaled_slice(%arg0: tensor<13x21x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<4x11x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>> {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-validation-version-1p1-valid.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 706: }
# | 707: }
# | 708:
# | 709: // -----
# | 710: module attributes {tosa.target_env = #tosa.target_env<specification_version = "1.1.draft", level = "8k", profiles = [pro_int, pro_fp], extensions = [int16, int4, bf16, fp8e4m3, fp8e5m2, fft, variable, controlflow, doubleround, inexactround, mxfp, int64, mxfp_conv, shape, mx_common, mx_fp4e2m1, mx_fp6e2m3, mx_fp6e3m2, mx_fp8e4m3, mx_fp8e5m2, mx_int8]>} {
# | 711: func.func @test_block_scaled_slice(%arg0: tensor<13x21x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<4x11x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>> {
# | label:726'0 { search range start (exclusive)
# | label:726'1 error: no match found in search range
# | label:726'2 ? possible intended match
# | 712: %0 = tosa.const_shape values(dense<[4, 11, 32]> : tensor<3xindex>) : () -> !tosa.shape<3>
# | 713: %1 = tosa.const_shape values(dense<[6, 8, 0]> : tensor<3xindex>) : () -> !tosa.shape<3>
# | 714: %2 = tosa.slice %arg0, %1, %0 : (tensor<13x21x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>, !tosa.shape<3>, !tosa.shape<3>) -> tensor<4x11x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | 715: return %2 : tensor<4x11x32x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | 716: }
# | 717: }
# | 718:
# | 719: // -----
# | 720: // -----
# | 721: // -----
# | 722: // -----
# | 723: // -----
# | 724: // -----
# | label:726'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Tosa/verifier.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 5
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir -split-input-file -verify-diagnostics
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir' -split-input-file -verify-diagnostics
# .---command stdout------------
# | module {
# | }
# |
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# `-----------------------------
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2455:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = -1 : i32} : (tensor<2x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2463:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 2 : i32} : (tensor<2x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x64x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2471:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 1 : i32} : (tensor<2x33x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<2x33x!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2479:27: error: unexpected error: custom op 'tosa.reverse' expected 'axis'
# | %0 = tosa.reverse %arg0 {axis = 0 : i32} : (tensor<!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>) -> tensor<!tosa.block_scaled<BLOCK_SHAPE_32:f8E8M0FNU:f8E4M3FN>>
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2454:6: error: expected error "'tosa.reverse' op expected non-negative reverse axis" was not produced
# | // expected-error at +1 {{'tosa.reverse' op expected non-negative reverse axis}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2462:6: error: expected error "'tosa.reverse' op expect input tensor rank (2) to be larger than reverse axis (2)" was not produced
# | // expected-error at +1 {{'tosa.reverse' op expect input tensor rank (2) to be larger than reverse axis (2)}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2470:6: error: expected error "'tosa.reverse' op operand #0 must be tosa-conformant tensor of at least rank 1" was not produced
# | // expected-error at +1 {{'tosa.reverse' op operand #0 must be tosa-conformant tensor of at least rank 1}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\verifier.mlir:2478:6: error: expected error "'tosa.reverse' op operand #0 must be tosa-conformant tensor of at least rank 1" was not produced
# | // expected-error at +1 {{'tosa.reverse' op operand #0 must be tosa-conformant tensor of at least rank 1}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# 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/225744
More information about the Mlir-commits
mailing list