[Mlir-commits] [mlir] [mlir][TOSA] Fix folding of fp casts to bool (PR #232254)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Fri Oct 16 04:04:22 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 4311 tests passed
* 464 tests skipped
* 10 tests failed
## Failed Tests
(click on a test name to see its output)
### MLIR
<details>
<summary>MLIR.Bytecode/dlti-query-op-interface-roundtrip.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -emit-bytecode C:\_work\llvm-project\llvm-project\mlir\test\Bytecode\dlti-query-op-interface-roundtrip.mlir | 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\Bytecode\dlti-query-op-interface-roundtrip.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -emit-bytecode 'C:\_work\llvm-project\llvm-project\mlir\test\Bytecode\dlti-query-op-interface-roundtrip.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Bytecode\dlti-query-op-interface-roundtrip.mlir:4:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"module" = 1 : i32>, gpu.container_module} {
# | ^
# `-----------------------------
# 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\Bytecode\dlti-query-op-interface-roundtrip.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Bytecode\dlti-query-op-interface-roundtrip.mlir:3:11: error: CHECK: expected string not found in input
# | // CHECK: module attributes {dlti = #dlti.map<"module" = 1 : i32>, gpu.container_module}
# | ^
# | <stdin>:1:1: note: scanning from here
# | module {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Bytecode\dlti-query-op-interface-roundtrip.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: module {
# | check:3'0 { search range start (exclusive)
# | check:3'1 error: no match found in search range
# | 2: }
# | 3:
# | check:3'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/MPIToLLVM/mpitollvm.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -split-input-file -convert-to-llvm="dynamic=true" C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -split-input-file -convert-to-llvm=dynamic=true 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:17:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH">} {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:172:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:Implementation" = "OpenMPI"> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:318:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH", "MPI:comm_world_size" = 4, "MPI:comm_world_rank" = 1> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:335:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH">,
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:360:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH">,
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:383:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH">} {
# | ^
# `-----------------------------
# 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\MPIToLLVM\mpitollvm.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir:6:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: module attributes {dlti = #dlti.map<"MPI:Implementation" = "MPICH">} {
# | ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\MPIToLLVM\mpitollvm.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: // -----
# | label:6'0 { search range start (exclusive)
# | label:6'1 error: no match found in search range
# | 2: // -----
# | 3: // -----
# | 4: // -----
# | 5: // -----
# | label:6'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/ShardToMPI/convert-shard-to-mpi.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\Conversion\ShardToMPI\convert-shard-to-mpi.mlir -convert-shard-to-mpi -canonicalize -split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir' -convert-shard-to-mpi -canonicalize -split-input-file
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir:72:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_rank" = 24> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir:110:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_rank" = 7> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir:294:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_rank" = 1> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir:319:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_rank" = 24> } {
# | ^
# `-----------------------------
# 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\ShardToMPI\convert-shard-to-mpi.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir:83:18: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func @process_linear_index
# | ^
# | <stdin>:37:27: note: scanning from here
# | func.func @neighbors_dim2(%arg0: tensor<120x120x120xi8>) -> (index, index) {
# | ^
# | <stdin>:52:7: note: possible intended match here
# | %2:3 = affine.delinearize_index %1 into (3, 4, 5) : index, index, index
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shard-to-mpi.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 32: func.func @neighbors_dim1(%arg0: tensor<120x120x120xi8>) -> (index, index) {
# | 33: %c29 = arith.constant 29 : index
# | 34: %c-1 = arith.constant -1 : index
# | 35: return %c-1, %c29 : index, index
# | 36: }
# | 37: func.func @neighbors_dim2(%arg0: tensor<120x120x120xi8>) -> (index, index) {
# | label:83'0 { search range start (exclusive)
# | label:83'1 error: no match found in search range
# | 38: %c23 = arith.constant 23 : index
# | 39: %c-1 = arith.constant -1 : index
# | 40: return %c23, %c-1 : index, index
# | 41: }
# | 42: }
# | .
# | .
# | .
# | 47: shard.grid @grid0(shape = 3x4x5)
# | 48: func.func @all_slice(%arg0: tensor<3x5xf32>) -> tensor<3x1xf32> {
# | 49: %0 = mpi.comm_world : !mpi.comm
# | 50: %retval, %rank = mpi.comm_rank(%0) : !mpi.retval, i32
# | 51: %1 = arith.index_cast %rank : i32 to index
# | 52: %2:3 = affine.delinearize_index %1 into (3, 4, 5) : index, index, index
# | label:83'2 ? possible intended match
# | 53: %extracted_slice = tensor.extract_slice %arg0[0, %2#2] [3, 1] [1, 1] : tensor<3x5xf32> to tensor<3x1xf32>
# | 54: return %extracted_slice : tensor<3x1xf32>
# | 55: }
# | 56: }
# | 57:
# | .
# | .
# | .
# | 231: mpi.allreduce(%alloc_0, %alloc_0, MPI_SUM, %18) : memref<512x2048xf32>, memref<512x2048xf32>
# | 232: %19 = bufferization.to_tensor %alloc_0 restrict : memref<512x2048xf32> to tensor<512x2048xf32>
# | 233: return %19 : tensor<512x2048xf32>
# | 234: }
# | 235: }
# | 236:
# | label:83'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Conversion/ShardToMPI/convert-shardshape-to-mpi.mlir</summary>
```
Exit Code: 2
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\Conversion\ShardToMPI\convert-shardshape-to-mpi.mlir --convert-shard-to-mpi -canonicalize | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shardshape-to-mpi.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shardshape-to-mpi.mlir' --convert-shard-to-mpi -canonicalize
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shardshape-to-mpi.mlir:3:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_rank" = 24> } {
# | ^
# `-----------------------------
# 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\ShardToMPI\convert-shardshape-to-mpi.mlir'
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line: c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Conversion\ShardToMPI\convert-shardshape-to-mpi.mlir
# `-----------------------------
# error: command failed with exit status: 2
--
```
</details>
<details>
<summary>MLIR.Dialect/DLTI/invalid.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 C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\invalid.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -split-input-file -verify-diagnostics 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\invalid.mlir'
# .---command stdout------------
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# | // -----
# `-----------------------------
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\invalid.mlir:14:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = 42 : i32} {}
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\invalid.mlir:13:4: error: expected error "attribute 'dlti' failed to satisfy constraint" was not produced
# | // expected-error at below {{attribute 'dlti' failed to satisfy constraint}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/DLTI/query-op-interface.mlir</summary>
```
Exit Code: 2
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\DLTI\query-op-interface.mlir -test-dlti-query-op-interface --mlir-print-op-generic | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query-op-interface.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query-op-interface.mlir' -test-dlti-query-op-interface --mlir-print-op-generic
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query-op-interface.mlir:5:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"module" = 1 : i32>} {
# | ^
# `-----------------------------
# 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\DLTI\query-op-interface.mlir'
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line: c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query-op-interface.mlir
# `-----------------------------
# error: command failed with exit status: 2
--
```
</details>
<details>
<summary>MLIR.Dialect/DLTI/query.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -transform-interpreter -canonicalize -split-input-file -verify-diagnostics C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -transform-interpreter -canonicalize -split-input-file -verify-diagnostics 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:4:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:21:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<i32 = unit> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:56:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:75:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"root" = #dlti.map<"leaf" = 42 : i32>> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:95:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<i32 = #dlti.map<"width_in_bits" = 32 : i32>> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:113:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"width_in_bits" = #dlti.map<i32 = 32, f64 = 64>> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:132:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:148:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:165:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:181:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:204:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:228:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti =
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:246:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<"CPU" = #dlti.target_device_spec<"test.id" = 42 : i32>,
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:263:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<"CPU" = #dlti.target_device_spec<"test.id" = 42 : i32>,
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:280:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:304:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti =
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:327:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:358:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:378:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:396:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.target_system_spec<
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:415:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:433:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"CPU" = 42 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:450:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<i32 = 32 : i32> } {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:484:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"width_in_bits" = #dlti.map<i32 = 32>>} {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:500:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<"test.id" = 42 : i32>} {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:515:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<#dlti.dl_entry<"test.id", 42 : i32>>} {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:532:8: error: unexpected error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.dl_spec<#dlti.dl_entry<"test.id", 42 : i32>>} {
# | ^
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:3:4: error: expected remark "attr associated to "test.id" = 42 : i32" was not produced
# | // expected-remark @below {{attr associated to "test.id" = 42 : i32}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:20:4: error: expected remark "i32 present in set : unit" was not produced
# | // expected-remark @below {{i32 present in set : unit}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:57:6: error: expected remark "associated attr 42 : i32" was not produced
# | // expected-remark @below {{associated attr 42 : i32}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:76:6: error: expected error "target op of failed DLTI query" was not produced
# | // expected-error @below {{target op of failed DLTI query}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:77:6: error: expected note "key "leaf" has no DLTI-mapping per attr: #dlti.map<"other" = 24 : i32>" was not produced
# | // expected-note @below {{key "leaf" has no DLTI-mapping per attr: #dlti.map<"other" = 24 : i32>}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:86:8: error: expected error "'transform.dlti.query' op failed to apply" was not produced
# | // expected-error @below {{'transform.dlti.query' op failed to apply}}
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\m
# | ...
# `---data was truncated (10240/22048) (change limit with -D output_limit=N)
# 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\DLTI\query.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir:329:18: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func @matmul_tensors
# | ^
# | <stdin>:1:1: note: scanning from here
# | // -----
# | ^
# | <stdin>:9:19: note: possible intended match here
# | transform.named_sequence @__transform_main(%arg0: !transform.any_op) {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\DLTI\query.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: // -----
# | label:329'0 { search range start (exclusive)
# | label:329'1 error: no match found in search range
# | 2: // -----
# | 3: module {
# | 4: module {
# | 5: gpu.module @gpu dlti = #dlti.map<"test.id" = 7 : i32> {
# | 6: }
# | 7: }
# | 8: module attributes {transform.with_named_sequence} {
# | 9: transform.named_sequence @__transform_main(%arg0: !transform.any_op) {
# | label:329'2 ? possible intended match
# | 10: transform.yield
# | 11: }
# | 12: }
# | 13: }
# | 14:
# | .
# | .
# | .
# | 35: // -----
# | 36: // -----
# | 37: // -----
# | 38: // -----
# | 39: // -----
# | 40: // -----
# | label:329'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/MPI/canonicalize.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\MPI\canonicalize.mlir -canonicalize | 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\MPI\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MPI\canonicalize.mlir' -canonicalize
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MPI\canonicalize.mlir:3:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:comm_world_size" = 12, "MPI:comm_world_rank" = 5> } {
# | ^
# `-----------------------------
# 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\MPI\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MPI\canonicalize.mlir:4:18: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func.func @mpi_test
# | ^
# | <stdin>:1:1: note: scanning from here
# | module {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MPI\canonicalize.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: module {
# | label:4'0 { search range start (exclusive)
# | label:4'1 error: no match found in search range
# | 2: }
# | 3:
# | label:4'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Shard/forward-sharding-propagation.mlir</summary>
```
Exit Code: 2
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --pass-pipeline="builtin.module(func.func(sharding-propagation{traversal=forward}))" C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Shard\forward-sharding-propagation.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Shard\forward-sharding-propagation.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' '--pass-pipeline=builtin.module(func.func(sharding-propagation{traversal=forward}))' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Shard\forward-sharding-propagation.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Shard\forward-sharding-propagation.mlir:4:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes {dlti = #dlti.map<"MPI:Implementation" = "mpich", "MPI:comm_world_rank" = 0 : i32>} {
# | ^
# `-----------------------------
# 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\Shard\forward-sharding-propagation.mlir'
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line: c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Shard\forward-sharding-propagation.mlir
# `-----------------------------
# error: command failed with exit status: 2
--
```
</details>
<details>
<summary>MLIR.Target/LLVMIR/target-to-data-layout-and-target-features.mlir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -llvm-target-to-data-layout -split-input-file C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --check-prefix=DATA-LAYOUT C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -llvm-target-to-data-layout -split-input-file 'C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir:141:8: error: custom op 'builtin.module' inherent attribute 'dlti' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# | module attributes { dlti = #dlti.map<"MPI:comm_world_size" = 4,
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --check-prefix=DATA-LAYOUT 'C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir:115:17: error: DATA-LAYOUT: expected string not found in input
# | // DATA-LAYOUT: module attributes
# | ^
# | <stdin>:13:806: note: scanning from here
# | module attributes {dlti.dl_spec = #dlti.dl_spec<!llvm.ptr<270> = dense<32> : vector<4xi64>, !llvm.ptr<271> = dense<32> : vector<4xi64>, !llvm.ptr<272> = dense<64> : vector<4xi64>, i64 = dense<64> : vector<2xi64>, i128 = dense<128> : vector<2xi64>, f80 = dense<128> : vector<2xi64>, !llvm.ptr = dense<64> : vector<4xi64>, i1 = dense<8> : vector<2xi64>, i8 = dense<8> : vector<2xi64>, i16 = dense<16> : vector<2xi64>, i32 = dense<32> : vector<2xi64>, f16 = dense<16> : vector<2xi64>, f64 = dense<64> : vector<2xi64>, f128 = dense<128> : vector<2xi64>, "dlti.endianness" = "little", "dlti.mangling_mode" = "e", "dlti.legal_int_widths" = array<i32: 8, 16, 32, 64>, "dlti.stack_alignment" = 128 : i64>, llvm.target = #llvm.target<triple = "x86_64-unknown-linux", chip = "skylake", features = <["-sse", "-avx"]>>} {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\target-to-data-layout-and-target-features.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 8: // -----
# | 9: module attributes {dlti.dl_spec = #dlti.dl_spec<!llvm.ptr<270> = dense<32> : vector<4xi64>, !llvm.ptr<271> = dense<32> : vector<4xi64>, !llvm.ptr<272> = dense<64> : vector<4xi64>, i64 = dense<64> : vector<2xi64>, i128 = dense<128> : vector<2xi64>, f80 = dense<128> : vector<2xi64>, !llvm.ptr = dense<64> : vector<4xi64>, i1 = dense<8> : vector<2xi64>, i8 = dense<8> : vector<2xi64>, i16 = dense<16> : vector<2xi64>, i32 = dense<32> : vector<2xi64>, f16 = dense<16> : vector<2xi64>, f64 = dense<64> : vector<2xi64>, f128 = dense<128> : vector<2xi64>, "dlti.endianness" = "little", "dlti.mangling_mode" = "e", "dlti.legal_int_widths" = array<i32: 8, 16, 32, 64>, "dlti.stack_alignment" = 128 : i64>, llvm.target = #llvm.target<triple = "x86_64-unknown-linux", chip = "skylake">} {
# | 10: }
# | 11:
# | 12: // -----
# | 13: module attributes {dlti.dl_spec = #dlti.dl_spec<!llvm.ptr<270> = dense<32> : vector<4xi64>, !llvm.ptr<271> = dense<32> : vector<4xi64>, !llvm.ptr<272> = dense<64> : vector<4xi64>, i64 = dense<64> : vector<2xi64>, i128 = dense<128> : vector<2xi64>, f80 = dense<128> : vector<2xi64>, !llvm.ptr = dense<64> : vector<4xi64>, i1 = dense<8> : vector<2xi64>, i8 = dense<8> : vector<2xi64>, i16 = dense<16> : vector<2xi64>, i32 = dense<32> : vector<2xi64>, f16 = dense<16> : vector<2xi64>, f64 = dense<64> : vector<2xi64>, f128 = dense<128> : vector<2xi64>, "dlti.endianness" = "little", "dlti.mangling_mode" = "e", "dlti.legal_int_widths" = array<i32: 8, 16, 32, 64>, "dlti.stack_alignment" = 128 : i64>, llvm.target = #llvm.target<triple = "x86_64-unknown-linux", chip = "skylake", features = <["-sse", "-avx"]>>} {
# | check:115'0 { search range start (exclusive)
# | check:115'1 error: no match found in search range
# | 14: }
# | 15:
# | 16: // -----
# | check:115'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# 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/232254
More information about the Mlir-commits
mailing list