[Mlir-commits] [mlir] [mlir][sparse] Fix crash in sparsification when disjunctive op has sparse operand (PR #184599)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3501 tests passed
* 416 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_fusion.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_fusion.mlir --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_fusion.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_fusion.mlir' --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_fusion.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_fusion.mlir:17:15: error: CHECK-DAG: expected string not found in input
# | // CHECK-DAG: %[[VAL_1:.*]] = arith.constant true
# |               ^
# | <stdin>:4:80: note: scanning from here
# |  func.func @sparse_fusion(%arg0: tensor<100xf64, #sparse>) -> tensor<100xf64> {
# |                                                                                ^
# | <stdin>:6:2: note: possible intended match here
# |  %cst_0 = arith.constant 1.000000e+02 : f64
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\SparseTensor\sparse_fusion.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           1: #map = affine_map<(d0) -> (d0)> 
# |           2: #sparse = #sparse_tensor.encoding<{ map = (d0) -> (d0 : compressed) }> 
# |           3: module { 
# |           4:  func.func @sparse_fusion(%arg0: tensor<100xf64, #sparse>) -> tensor<100xf64> { 
# | dag:17'0                                                                                    X error: no match found
# |           5:  %cst = arith.constant 1.000000e+00 : f64 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           6:  %cst_0 = arith.constant 1.000000e+02 : f64 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | dag:17'1      ?                                           possible intended match
# |           7:  %0 = tensor.empty() : tensor<100xf64> 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           8:  %1 = linalg.generic {indexing_maps = [#map, #map], iterator_types = ["parallel"]} ins(%arg0 : tensor<100xf64, #sparse>) outs(%0 : tensor<100xf64>) attrs = {sorted = true} { 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           9:  ^bb0(%in: f64, %out: f64): 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |          10:  %2 = arith.addf %in, %cst : f64 
# | dag:17'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |          11:  %3 = math.exp %2 : f64 
# | dag:17'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/184599