github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 3374 tests passed
* 411 tests skipped
* 7 tests failed
## Failed Tests
(click on a test name to see its output)
### MLIR
<details>
<summary>MLIR.Dialect/SCF/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\SCF\canonicalize.mlir
-pass-pipeline='builtin.module(func.func(canonicalize{test-convergence}))'
-split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SCF\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SCF\canonicalize.mlir'
'-pass-pipeline=builtin.module(func.func(canonicalize{test-convergence}))'
-split-input-file
# 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\SCF\canonicalize.mlir'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SCF\canonicalize.mlir:827:17:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[RES:%.*]]:2 = scf.for {{.*}} iter_args([[K0:%.*]] =
[[A]], [[K1:%.*]] = [[B]])
# | ^
# | <stdin>:452:109: note: scanning from here
# | func.func @replace_duplicate_iter_args(%arg0: index, %arg1: index, %arg2:
index, %arg3: index, %arg4: index) -> (index, index, index, index) {
# |
^
# | <stdin>:452:109: note: with "A" equal to "%arg3"
# | func.func @replace_duplicate_iter_args(%arg0: index, %arg1: index, %arg2:
index, %arg3: index, %arg4: index) -> (index, index, index, index) {
# |
^
# | <stdin>:452:109: note: with "B" equal to "%arg4"
# | func.func @replace_duplicate_iter_args(%arg0: index, %arg1: index, %arg2:
index, %arg3: index, %arg4: index) -> (index, index, index, index) {
# |
^
# | <stdin>:453:31: note: possible intended match here
# | %0:4 = scf.for %arg5 = %arg0 to %arg1 step %arg2 iter_args(%arg6 = %arg3,
%arg7 = %arg4, %arg8 = %arg4, %arg9 = %arg3) -> (index, index, index, index) {
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SCF\canonicalize.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 447: }
# | 448: }
# | 449:
# | 450: // -----
# | 451: module {
# | 452: func.func @replace_duplicate_iter_args(%arg0: index, %arg1:
index, %arg2: index, %arg3: index, %arg4: index) -> (index, index, index,
index) {
# | next:827'0
X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | next:827'1
with "A" equal to "%arg3"
# | next:827'2
with "B" equal to "%arg4"
# | 453: %0:4 = scf.for %arg5 = %arg0 to %arg1 step %arg2
iter_args(%arg6 = %arg3, %arg7 = %arg4, %arg8 = %arg4, %arg9 = %arg3) ->
(index, index, index, index) {
# | next:827'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:827'3 ?
possible intended match
# | 454: %1 = arith.addi %arg6, %arg7 : index
# | next:827'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 455: %2 = arith.addi %arg8, %arg9 : index
# | next:827'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 456: scf.yield %1, %2, %2, %1 : index, index, index, index
# | next:827'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 457: }
# | next:827'0 ~~~
# | 458: return %0#0, %0#1, %0#2, %0#3 : index, index, index, index
# | next:827'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_iteration_to_scf.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\SparseTensor\sparse_iteration_to_scf.mlir
--lower-sparse-iteration-to-scf |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir'
--lower-sparse-iteration-to-scf
# 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\SparseTensor\sparse_iteration_to_scf.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
--sparse-space-collapse --lower-sparse-iteration-to-scf |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
--check-prefix COLLAPSED
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir'
--sparse-space-collapse --lower-sparse-iteration-to-scf
# 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\SparseTensor\sparse_iteration_to_scf.mlir'
--check-prefix COLLAPSED
# note: command had no output on stdout or stderr
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
--sparsification-and-bufferization="sparse-emit-strategy=sparse-iterator" |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
--check-prefix COLLAPSED
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir'
--sparsification-and-bufferization=sparse-emit-strategy=sparse-iterator
# 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\SparseTensor\sparse_iteration_to_scf.mlir'
--check-prefix COLLAPSED
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir:32:15:
error: COLLAPSED: expected string not found in input
# | // COLLAPSED: %[[RET:.*]] = scf.for {{.*}} {
# | ^
# | <stdin>:3:36: note: scanning from here
# | func.func @sparse_iteration_to_scf(%arg0: memref<?xindex>, %arg1:
memref<?xindex>, %arg2: memref<?xindex>, %arg3: memref<?xf32>, %arg4:
!sparse_tensor.storage_specifier<#sparse>) -> index {
# | ^
# | <stdin>:3:175: note: possible intended match here
# | func.func @sparse_iteration_to_scf(%arg0: memref<?xindex>, %arg1:
memref<?xindex>, %arg2: memref<?xindex>, %arg3: memref<?xf32>, %arg4:
!sparse_tensor.storage_specifier<#sparse>) -> index {
# |
^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_iteration_to_scf.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: #sparse = #sparse_tensor.encoding<{ map = (d0, d1) -> (d0 :
compressed, d1 : singleton(soa)) }>
# | 2: module {
# | 3: func.func @sparse_iteration_to_scf(%arg0: memref<?xindex>,
%arg1: memref<?xindex>, %arg2: memref<?xindex>, %arg3: memref<?xf32>, %arg4:
!sparse_tensor.storage_specifier<#sparse>) -> index {
# | check:32'0
X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: no match found
# | check:32'1
? possible intended match
# | 4: %c0 = arith.constant 0 : index
# | check:32'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 5: return %c0 : index
# | check:32'0 ~~~~~~~~~~~~~~~~~~~~
# | 6: }
# | check:32'0 ~~~
# | 7: }
# | check:32'0 ~~
# | 8:
# | check:32'0 ~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_kernels.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\SparseTensor\sparse_kernels.mlir
--linalg-generalize-named-ops --linalg-fuse-elementwise-ops
--sparse-reinterpret-map --sparsification |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels.mlir'
--linalg-generalize-named-ops --linalg-fuse-elementwise-ops
--sparse-reinterpret-map --sparsification
# 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\SparseTensor\sparse_kernels.mlir'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels.mlir:132:11:
error: CHECK: expected string not found in input
# | // CHECK: %[[VAL_32:.*]]:4 = scf.while (%[[VAL_33:.*]] = %[[VAL_27]],
%[[VAL_34:.*]] = %[[VAL_30]], %[[VAL_35:.*]] = %[[VAL_26]], %[[VAL_36:.*]] =
%[[VAL_21]]) : (index, index, index, tensor<4x4xf64, #sparse{{[0-9]*}}>) ->
(index, index, index, tensor<4x4xf64, #sparse{{[0-9]*}}>) {
# | ^
# | <stdin>:95:45: note: scanning from here
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:95:45: note: with "VAL_27" equal to "16"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:95:45: note: with "VAL_30" equal to "19"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:95:45: note: with "VAL_26" equal to "count"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:95:45: note: with "VAL_21" equal to "arg3"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 90: %values, %filled, %added, %count = sparse_tensor.expand %0
: tensor<4x4xf64, #sparse> to memref<?xf64>, memref<?xi1>, memref<?xindex>
# | 91: %16 = memref.load %5[%arg2] : memref<?xindex>
# | 92: %17 = arith.addi %arg2, %c1 : index
# | 93: %18 = memref.load %5[%17] : memref<?xindex>
# | 94: %19 = memref.load %7[%c0] : memref<?xindex>
# | 95: %20 = memref.load %7[%c1] : memref<?xindex>
# | check:132'0 X error: no
match found
# | check:132'1 with "VAL_27"
equal to "16"
# | check:132'2 with "VAL_30"
equal to "19"
# | check:132'3 with "VAL_26"
equal to "count"
# | check:132'4 with "VAL_21"
equal to "arg3"
# | 96: %21:3 = scf.while (%arg4 = %16, %arg5 = %19, %arg6 =
%count) : (index, index, index) -> (index, index, index) {
# | check:132'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 97: %23 = arith.cmpi ult, %arg4, %18 : index
# | check:132'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 98: %24 = arith.cmpi ult, %arg5, %20 : index
# | check:132'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 99: %25 = arith.andi %23, %24 : i1
# | check:132'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 100: scf.condition(%25) %arg4, %arg5, %arg6 : index, index,
index
# | check:132'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_kernels_to_iterator.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\SparseTensor\sparse_kernels_to_iterator.mlir
--sparse-reinterpret-map
-sparsification="sparse-emit-strategy=sparse-iterator" --cse |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels_to_iterator.mlir
--check-prefix="ITER"
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels_to_iterator.mlir'
--sparse-reinterpret-map -sparsification=sparse-emit-strategy=sparse-iterator
--cse
# 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\SparseTensor\sparse_kernels_to_iterator.mlir'
--check-prefix=ITER
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels_to_iterator.mlir:39:10:
error: ITER: expected string not found in input
# | // ITER: sparse_tensor.iterate
# | ^
# | <stdin>:4:19: note: scanning from here
# | func.func @sqsum(%arg0: tensor<?x?x?x?xi32, #sparse>) -> tensor<i32> {
# | ^
# | <stdin>:4:47: note: possible intended match here
# | func.func @sqsum(%arg0: tensor<?x?x?x?xi32, #sparse>) -> tensor<i32> {
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_kernels_to_iterator.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: #sparse = #sparse_tensor.encoding<{ map = (d0, d1, d2, d3)
-> (d0 : compressed(nonunique), d1 : singleton(nonunique, soa), d2 :
singleton(nonunique, soa), d3 : singleton(soa)) }>
# | 2: #sparse1 = #sparse_tensor.encoding<{ map = (d0) -> (d0 :
compressed) }>
# | 3: module {
# | 4: func.func @sqsum(%arg0: tensor<?x?x?x?xi32, #sparse>) ->
tensor<i32> {
# | check:39'0
X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:39'1 ?
possible intended match
# | 5: %cst = arith.constant dense<0> : tensor<i32>
# | check:39'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 6: %0 = bufferization.to_buffer %cst : tensor<i32> to
memref<i32>
# | check:39'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 7: %1 = memref.load %0[] : memref<i32>
# | check:39'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 8: memref.store %1, %0[] : memref<i32>
# | check:39'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 9: %2 = bufferization.to_tensor %0 : memref<i32> to
tensor<i32>
# | check:39'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_out.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\SparseTensor\sparse_out.mlir
--sparse-reinterpret-map -sparsification |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_out.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_out.mlir'
--sparse-reinterpret-map -sparsification
# 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\SparseTensor\sparse_out.mlir'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_out.mlir:219:11:
error: CHECK: expected string not found in input
# | // CHECK: %[[VAL_74:.*]]:5 = scf.while (%[[VAL_75:.*]] = %[[VAL_68]],
%[[VAL_76:.*]] = %[[VAL_71]], %[[VAL_77:.*]] = %[[VAL_4]], %[[VAL_200:.*]] =
%[[VAL_FALSE]], %[[VAL_78:.*]] = %[[VAL_59]]) : (index, index, i32, i1,
tensor<?x?xi32, #sparse{{[0-9]*}}>) -> (index, index, i32, i1, tensor<?x?xi32,
#sparse{{[0-9]*}}>) {
# | ^
# | <stdin>:142:46: note: scanning from here
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# | <stdin>:142:46: note: with "VAL_68" equal to "56"
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# | <stdin>:142:46: note: with "VAL_71" equal to "59"
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# | <stdin>:142:46: note: with "VAL_4" equal to "c0_i32"
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# | <stdin>:142:46: note: with "VAL_FALSE" equal to "false"
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# | <stdin>:142:46: note: with "VAL_59" equal to "arg7"
# | %61 = memref.load %13[%60] : memref<?xindex>
# | ^
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_out.mlir:342:11:
error: CHECK: expected string not found in input
# | // CHECK: %[[VAL_34:.*]]:4 = scf.while (%[[VAL_35:.*]] = %[[VAL_29]],
%[[VAL_36:.*]] = %[[VAL_32]], %[[VAL_37:.*]] = %[[VAL_28]], %[[VAL_38:.*]] =
%[[VAL_23]]) : (index, index, index, tensor<?x?xf32, #sparse{{[0-9]*}}>) ->
(index, index, index, tensor<?x?xf32, #sparse{{[0-9]*}}>) {
# | ^
# | <stdin>:234:45: note: scanning from here
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:234:45: note: with "VAL_29" equal to "16"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:234:45: note: with "VAL_32" equal to "19"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:234:45: note: with "VAL_28" equal to "count"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# | <stdin>:234:45: note: with "VAL_23" equal to "arg3"
# | %20 = memref.load %7[%c1] : memref<?xindex>
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_out.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 137: %56 = memref.load %7[%arg5] : memref<?xindex>
# | 138: %57 = arith.addi %arg5, %c1 : index
# | 139: %58 = memref.load %7[%57] : memref<?xindex>
# | 140: %59 = memref.load %13[%arg6] : memref<?xindex>
# | 141: %60 = arith.addi %arg6, %c1 : index
# | 142: %61 = memref.load %13[%60] : memref<?xindex>
# | check:219'0 X error: no
match found
# | check:219'1 with
"VAL_68" equal to "56"
# | check:219'2 with
"VAL_71" equal to "59"
# | check:219'3 with "VAL_4"
equal to "c0_i32"
# | check:219'4 with
"VAL_FALSE" equal to "false"
# | check:219'5 with
"VAL_59" equal to "arg7"
# | 143: %62:4 = scf.while (%arg8 = %56, %arg9 = %59, %arg10 =
%c0_i32, %arg11 = %false) : (index, index, i32, i1) -> (index, index, i32, i1)
{
# | check:219'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 144: %64 = arith.cmpi ult, %arg8, %58 : index
# | check:219'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 145: %65 = arith.cmpi ult, %arg9, %61 : index
# | check:219'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 146: %66 = arith.andi %64, %65 : i1
# | check:219'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 147: scf.condition(%66) %arg8, %arg9, %arg10, %arg11 : index,
index, i32, i1
# | check:219'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 229: %values, %filled, %added, %count = sparse_tensor.expand %0
: tensor<?x?xf32, #sparse> to memref<?xf32>, memref<?xi1>, memref<?xindex>
# | 230: %16 = memref.load %5[%arg2] : memref<?xindex>
# | 231: %17 = arith.addi %arg2, %c1 : index
# | 232: %18 = memref.load %5[%17] : memref<?xindex>
# | 233: %19 = memref.load %7[%c0] : memref<?xindex>
# | 234: %20 = memref.load %7[%c1] : memref<?xindex>
# | check:342'0 X error: no
match found
# | check:342'1 with "VAL_29"
equal to "16"
# | check:342'2 with "VAL_32"
equal to "19"
# | check:342'3 with "VAL_28"
equal to "count"
# | check:342'4 with "VAL_23"
equal to "arg3"
# | 235: %21:3 = scf.while (%arg4 = %16, %arg5 = %19, %arg6 =
%count) : (index, index, index) -> (index, index, index) {
# | check:342'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 236: %23 = arith.cmpi ult, %arg4, %18 : index
# | check:342'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 237: %24 = arith.cmpi ult, %arg5, %20 : index
# | check:342'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 238: %25 = arith.andi %23, %24 : i1
# | check:342'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 239: scf.condition(%25) %arg4, %arg5, %arg6 : index, index,
index
# | check:342'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Dialect/Vector/vector-warp-distribute.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\Vector\vector-warp-distribute.mlir
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute=rewrite-warp-ops-to-scf-if |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
--check-prefix=CHECK-SCF-IF
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute=rewrite-warp-ops-to-scf-if
# 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\Vector\vector-warp-distribute.mlir'
--check-prefix=CHECK-SCF-IF
# note: command had no output on stdout or stderr
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute="hoist-uniform" |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
--check-prefixes=CHECK-HOIST
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute=hoist-uniform
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
--check-prefixes=CHECK-HOIST
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 7
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute="hoist-uniform distribute-transfer-write
max-transfer-write-elements=4" |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
--check-prefixes=CHECK-D
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
--allow-unregistered-dialect --split-input-file
'--test-vector-warp-distribute=hoist-uniform distribute-transfer-write
max-transfer-write-elements=4'
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
--check-prefixes=CHECK-D
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 11
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute=propagate-distribution --canonicalize |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
--check-prefixes=CHECK-PROP
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
--allow-unregistered-dialect --split-input-file
--test-vector-warp-distribute=propagate-distribution --canonicalize
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
--check-prefixes=CHECK-PROP
'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir:1333:16:
error: CHECK-PROP: expected string not found in input
# | // CHECK-PROP: %[[W:.*]]:2 = gpu.warp_execute_on_lane_0{{.*}} ->
(vector<f32>, f32)
# | ^
# | <stdin>:833:30: note: scanning from here
# | func.func @vector_insert_0d(%arg0: index) -> vector<f32> {
# | ^
# | <stdin>:834:2: note: possible intended match here
# | %0 = gpu.warp_execute_on_lane_0(%arg0)[32] -> (f32) {
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Vector\vector-warp-distribute.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 828: }
# | 829: }
# | 830:
# | 831: // -----
# | 832: module {
# | 833: func.func @vector_insert_0d(%arg0: index) -> vector<f32>
{
# | check:1333'0
X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 834: %0 = gpu.warp_execute_on_lane_0(%arg0)[32] -> (f32) {
# | check:1333'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:1333'1 ?
possible intended match
# | 835: %2 = "some_def"() : () -> vector<f32>
# | check:1333'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 836: %3 = "another_def"() : () -> f32
# | check:1333'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 837: gpu.yield %3 : f32
# | check:1333'0 ~~~~~~~~~~~~~~~~~~~~
# | 838: }
# | check:1333'0 ~~~
# | 839: %1 = vector.broadcast %0 : f32 to vector<f32>
# | check:1333'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>MLIR.Transforms/remove-dead-values.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\Transforms\remove-dead-values.mlir
-remove-dead-values="canonicalize=0" -split-input-file |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir'
-remove-dead-values=canonicalize=0 -split-input-file
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe
C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir
-remove-dead-values="canonicalize=1" -split-input-file |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir
--check-prefix=CHECK-CANONICALIZE
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir'
-remove-dead-values=canonicalize=1 -split-input-file
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir'
--check-prefix=CHECK-CANONICALIZE
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir:253:29:
error: CHECK-CANONICALIZE-NEXT: is not on the line after the previous match
# | // CHECK-CANONICALIZE-NEXT: %[[live_and_non_live:.*]]:2 = scf.while
(%[[arg4:.*]] = %[[arg2]]) : (i32) -> (i32, i32) {
# | ^
# | <stdin>:112:2: note: 'next' match was here
# | %1:2 = scf.while (%arg3 = %arg2) : (i32) -> (i32, i32) {
# | ^
# | <stdin>:110:132: note: previous match ended here
# | func.func
@clean_region_branch_op_dont_remove_first_2_results_but_remove_first_operand(%arg0:
i1, %arg1: i32, %arg2: i32) -> i32 {
# |
^
# | <stdin>:111:1: note: non-matching line after previous match is here
# | %0 = ub.poison : i32
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\mlir\test\Transforms\remove-dead-values.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 107:
# | 108: // -----
# | 109: module {
# | 110: func.func
@clean_region_branch_op_dont_remove_first_2_results_but_remove_first_operand(%arg0:
i1, %arg1: i32, %arg2: i32) -> i32 {
# | 111: %0 = ub.poison : i32
# | 112: %1:2 = scf.while (%arg3 = %arg2) : (i32) -> (i32, i32) {
# | next:253 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: match on wrong line
# | 113: %2 = arith.addi %arg3, %arg3 : i32
# | 114: %3 = ub.poison : i32
# | 115: scf.condition(%arg0) %2, %arg3 : i32, i32
# | 116: } do {
# | 117: ^bb0(%arg3: i32, %arg4: i32):
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# 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/174094
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
