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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]Failed to materialize error on `-convert-tensor-to-spirv` pass
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    I ran into an error on llvm 15, and this bug is fixed in new version.
IR:
```
//mlir-opt test.mlir -convert-tensor-to-spirv
module {
  func.func @main(%arg0: memref<4xi64>, %arg1: memref<92xi64>) {
    %4 = bufferization.to_tensor %arg0 : memref<4xi64>
    return
 }
}
```
Output:
```
tes.mlir:4:19: error: failed to materialize conversion for block argument #0 that remained live after conversion, type was 'memref<4xi64>', with target type '!spv.ptr<!spv.struct<(!spv.array<8 x i32, stride=4> [0])>, StorageBuffer>'
  func.func @main(%arg0: memref<4xi64>, %arg1: memref<92xi64>) {
                  ^
test.mlir:5:10: note: see existing live user here: %0 = "bufferization.to_tensor"(<<UNKNOWN SSA VALUE>>) : (memref<4xi64>) -> tensor<4xi64>
    %4 = bufferization.to_tensor %arg0 : memref<4xi64>
         ^
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8VF9v4zYM_zT0C5FAlqzEefBDmjRAsVsPuOK2x0G2GUebbRkSnbb36QfZXnYF0rdhSRCJIsU_P1I_E4JteqIC9APoY2JGvjhfhFciUyelq9-LJ_SmR9uzQ9Mjee88uh7b9tphqkEe0PQ18sUGLMcGbcCzfaMabY89veKVfLCuX4M4gtg_fQO1n7ewEctvFuUJ5KlrrV-5gZEp8DpKuKpcfyXPK6Y-OL9itwqD9df5WufqsSWE7cMsI57HvlrHP4RMdMb2IHOQ2vhGgNpjR52nM6hD9mY3GajHWMGsTz_od_JmsPvZP0brDEEdsRzPZ_L2h-FYIbs_5hQXdwLvx7v58cSj7xcZtscFiNvmI0BfRx5G_gw-pjDBBWqfgdqnuxh7albcnI1tqUZ22Bkmb01rfxDOwMbu4Nl5LFtX_YXGN2NHPSNIJZAvhtFThJFqbO2V0JyZ_E93I378PhC-moAgt3cA3kabV8sXZOMb4tl-Ok_DcF0P7EEdFiGwHyue5Hw5Mt6bd1CHHN_QKhm9Bfa2JlDHGAFBPwjQR5C7paEv7Lxp6GFq0JLD_zYfHz-gH28t4n96pGOPpni9Y4prIEJ6s4Ft38xAj4E8XshPapBaTDMHUn4ydiBlLEUdQB2-P__y_PX3Z3x52eNv-y_fH2OeS6qTt_xOnTtcRTAXb_cm9r-a_I_A3EY5qQtV79TOJFSkm-02V0JomVwKXeckdVYKqjJd6U2d15sq1xtSu63eVWliCymkEvG71Vkq17mp87yURqW1MVtNkIk4xe068tba-SaxIYxUbNI0y5PWlNSGiQSljKw1KSOg-pj4It5ZlWMTIBOtDRz-9cKW24k9f_3y9A308XT3pd1YEzbiUz7bCBxMCMno2-LCPIT41idWbCxfxnJduQ7kKYZeltXg3Z9UMcjTlHAAeZoK-jsAAP__mna6Xw">