[Mlir-commits] [mlir] [mlir][ArithToSPIRV] Fix handling of unsigned integers in `convertIntegerAttr` (PR #204937)

llvmlistbot at llvm.org llvmlistbot at llvm.org
Sat Jun 20 23:47:08 PDT 2026


github-actions[bot] wrote:

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

* 3829 tests passed
* 439 tests skipped
* 2 tests failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Tosa/tosa-arith-const-to-tosa-const.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-arith-const-to-tosa-const.mlir --tosa-arith-const-to-tosa-const --split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-arith-const-to-tosa-const.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-arith-const-to-tosa-const.mlir' --tosa-arith-const-to-tosa-const --split-input-file
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-arith-const-to-tosa-const.mlir:71:8: error: 'arith.constant' op integer return type must be signless
# |   %c = arith.constant dense<[10, 20]> : tensor<2xui8>
# |        ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-arith-const-to-tosa-const.mlir:71:8: note: see current operation: %0 = "arith.constant"() <{value = dense<[10, 20]> : tensor<2xui8>}> : () -> tensor<2xui8>
# `-----------------------------
# 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-arith-const-to-tosa-const.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-arith-const-to-tosa-const.mlir:68:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func.func @rewrite_quant_tensor
# |                 ^
# | <stdin>:50:36: note: scanning from here
# |  func.func @rewrite_resource_tensor() -> tensor<4xf32> {
# |                                    ^
# | <stdin>:59:2: note: possible intended match here
# |  func.func @rewrite_quant_uniform_tensor() -> tensor<2x!quant.uniform<i8:f32, 5.000000e-01>> {
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Tosa\tosa-arith-const-to-tosa-const.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |            45:  } 
# |            46: } 
# |            47:  
# |            48: // ----- 
# |            49: module { 
# |            50:  func.func @rewrite_resource_tensor() -> tensor<4xf32> { 
# | label:68'0                                        X~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            51:  %0 = "tosa.const"() <{values = dense_resource<blob1> : tensor<4xf32>}> : () -> tensor<4xf32> 
# | label:68'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            52:  return %0 : tensor<4xf32> 
# | label:68'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            53:  } 
# | label:68'0     ~~~
# |            54: } 
# | label:68'0     ~~
# |            55:  
# | label:68'0     ~
# |            56: // ----- 
# | label:68'0     ~~~~~~~~~
# |            57: // ----- 
# | label:68'0     ~~~~~~~~~
# |            58: module { 
# | label:68'0     ~~~~~~~~~
# |            59:  func.func @rewrite_quant_uniform_tensor() -> tensor<2x!quant.uniform<i8:f32, 5.000000e-01>> { 
# | label:68'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:68'1      ?                                                                                              possible intended match
# |            60:  %0 = "tosa.const"() <{values = dense<["10", "20"]> : tensor<2x!quant.uniform<i8:f32, 5.000000e-01>>}> : () -> tensor<2x!quant.uniform<i8:f32, 5.000000e-01>> 
# | label:68'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            61:  return %0 : tensor<2x!quant.uniform<i8:f32, 5.000000e-01>> 
# | label:68'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            62:  } 
# | label:68'0     ~~~
# |            63: } 
# | label:68'0     ~~
# |            64:  
# | label:68'0     ~
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>MLIR.Dialect/common_folders.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\common_folders.mlir --test-fold-type-converting-op --split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir' --test-fold-type-converting-op --split-input-file
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir:8:11: error: 'arith.constant' op integer return type must be signless
# |   %sign = test.sign %operand : (tensor<4x2xf32>) -> tensor<4x2xsi32>
# |           ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir:8:11: note: see current operation: %0 = "arith.constant"() <{value = dense<1> : tensor<4x2xsi32>}> : () -> tensor<4x2xsi32>
# `-----------------------------
# 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\common_folders.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir:3:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @test_fold_unary_op_f32_to_si32(
# |                 ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# | <stdin>:3:12: note: possible intended match here
# |  func.func @test_fold_binary_op_f32_to_i1() -> tensor<8xi1> {
# |            ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\common_folders.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: // ----- 
# | label:3'0     X~~~~~~~~ error: no match found
# |            2: module { 
# | label:3'0     ~~~~~~~~~
# |            3:  func.func @test_fold_binary_op_f32_to_i1() -> tensor<8xi1> { 
# | label:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:3'1                ?                                                   possible intended match
# |            4:  %cst = arith.constant dense<false> : tensor<8xi1> 
# | label:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            5:  return %cst : tensor<8xi1> 
# | label:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            6:  } 
# | label:3'0     ~~~
# |            7: } 
# | label:3'0     ~~
# |            8:  
# | label:3'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/204937


More information about the Mlir-commits mailing list