<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/148354>148354</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] Inconsistent output when executing MLIR program with and without `-convert-math-to-spirv`
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          sweead
      </td>
    </tr>
</table>

<pre>
    test commit: [f2e244f](https://github.com/llvm/llvm-project/commit/f2e244f443c99f814216bef37a82f1b8d3e5975d)

## Description:

I am experiencing an inconsistent result when executing the same MLIR program with and without the -convert-math-to-spirv.


## Steps to Reproduce:

### Minimal MLIR program (test.mlir):

```
module {
 func.func private @printMemrefF32(tensor<*xf32>)
  func.func @main() {
 %0 = "tosa.const"() <{values = dense<7.077000e+01> : tensor<2x3x4x2x3xf32>}> : () -> tensor<2x3x4x2x3xf32>
    %1 = tosa.tanh %0 : (tensor<2x3x4x2x3xf32>) -> tensor<2x3x4x2x3xf32>
    %cast = tensor.cast %1 : tensor<2x3x4x2x3xf32> to tensor<*xf32>
    call @printMemrefF32(%cast) : (tensor<*xf32>) -> ()
    return
  }
}
```
### 1. Without -convert-math-to-spirv:

#### Command:
```
/home/workdir/llvm-project/build/bin/mlir-opt test.mlir --pass-pipeline="builtin.module(func.func(tosa-to-linalg))"| \
/home/workdir/llvm-project/build/bin/mlir-opt    -convert-spirv-to-llvm -sparsifier="vl=8" | \
/home/workdir/llvm-project/build/bin/mlir-runner -e main -entry-point-result=void -shared-libs=/home/workdir/llvm-project/build/lib/libmlir_runner_utils.so
```
#### Output:
```
[[[[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]], [[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]], [[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]]], [[[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]], [[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]], [[[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1]]]]]
```

```
/home/workdir/llvm-project/build/bin/mlir-opt test.mlir --pass-pipeline="builtin.module(func.func(tosa-to-linalg))"| \
/home/workdir/llvm-project/build/bin/mlir-opt  -convert-math-to-spirv -convert-spirv-to-llvm  -sparsifier="vl=8" | \
/home/workdir/llvm-project/build/bin/mlir-runner -e main -entry-point-result=void -shared-libs=/home/workdir/llvm-project/build/lib/libmlir_runner_utils.so
```
#### Output:
```
[[[[[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]], [[[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]], [[[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]]], [[[[ -nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]], [[[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]], [[[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]], [[-nan, -nan, -nan], [-nan, -nan, -nan]]]]]
```
I'm not sure if there is any bug in my program or if the wrong usage of the above passes caused this result.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWF9vo7oT_TSTlxHI2BDCQx7SZCNV2uon7e_hPq4MTILvBRvZJm2__ZWBpm3aru5q75W2u5Us8288c-b4wKCRzqmjJlpDdgXZbiEH3xi7drdEsl6Upr5fe3IeK9N1yoPYIGRXB048TQ-Q7YCvGu97B2IDfA98f1S-Gcq4Mh3wfdueHg5Rb82fVHng-9kV389u0lRURXFYJSlPliUdRC5X_JCUq1pQVuRZDbwAtgmDC-ACd-Qqq3qvjA5xx0fXKDuku56sIl0pfUSpUenKaKecJ-3Rkhtaj7cNaaQ7qgYfrHxD6GRHePP5-gv21hyt7PBW-QalrscTM_jRLKqMPpH1USd9E3kTuV7ZUzxDO6P7v6feoTf4hXpr6qGiM8jJIhjdKK062T6PCnwVuI67VtmQ83nZks2DbTpTDy0h5FfANngYdBWHCXurTtITQsp6q7S_oc7SYS_46FQ7Y0FsgW_uDoKD-DRRik8cQMo6qTTwFfDiwT_wjCGIHQLn3jgZBz49cP5gJraQX51kO5Ab7WrSjkBs85jlOWOMgF-xBMQnDNI5A-F34i69C_MMJ9892Myeo3D9tn3AjgFeMoYdsXmpmwfEG3ya94vl3xGgks5PMUbbeLqeAn8joyCA13if_FaybV_dqjngxO3zJJ5t3gR_4mr2ackPVo8XgU62mecn4nnUXxLjH7O0X5f1S82GZVvTdVLX88NnnveN6Qj4_tbYv-qg38vXvhxUW4djENk-aDwyvcez4jGKeulc1KueWqUJxA44D6u80vGke-Crs2IDN8bJgLhVWrbHQEUYHPItQrb9IViIj8SMhIxx2lOHkeuldeqgyE4QTy2I3Qo4xx8NbAetyWJEGF5FjEh7ex_1RmkfTZ8vELuTUTVGrpGW6qhVpRtR_ONwrSqnOUT8OkX8OnjVutiZt_QS9v5_g-8H_8rWh8LxOBLgW5ynUB8CI5c3z_d_HvunS34eVL9tFheJ_DzYftsd-TWymMbFB-xXL2WvV_i36ttHgft2gYu01EFVz45n1b319Klc37WHi0_Bu87lg41_nY2XhRvfdUofEvlg479-YV78kVwDzzvUxqMbLKE6oG8onDiU-h7L4YhKY3d_7hwZOxvhrTX6iIOTR0Iz3ZKlORGGHxJyWMnBUY2-UW7uiMWLei3qQhRyQeskz7hIsiVji2a9rJYyTXm1EkUl8qoUJRXZsqC0qupC8mKh1pzxjOUJTxhnjMW1EPLAqmW-YgmtqIaUUSdVG4daHRt7XCjnBlon6Upk6aKVJbVubD1yPnW9OGS7hV2Ptb0cjg5S1irn3aMHr3w7titvPl9_gWyH10-7fGYs4pddvm8392DJ3miCLNlisO36u1ucY5YO-H5O9LTmfwcAAP__Dmm7Sw">