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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]`one-shot-bufferize` crashed with failure message 'bufferize not implemented'
        </td>
    </tr>

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

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

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

<pre>
    Test on commit: https://github.com/llvm/llvm-project/commit/22c0ce96912f55f48ba4535800bacc0c48fe9832
The same crash occurred in [llvm16](https://github.com/llvm/llvm-project/tree/release/16.x)

Steps to reproduce：
```
mlir-opt test.mlir -one-shot-bufferize="allow-unknown-ops"
```
test case:
```
#SparseVector = #sparse_tensor.encoding<{
  dimLevelType = ["compressed"]
}>
func.func @sparse_convert_1d(%arg0: tensor<13xi32, #SparseVector>) -> tensor<13xi32> {
  %0 = sparse_tensor.convert %arg0 : tensor<13xi32, #SparseVector> to tensor<13xi32>
  return %0 : tensor<13xi32>
}
```
crash trace:
```
bufferize not implemented
UNREACHABLE executed at /home/verify/llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/tools/mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.h.inc:913!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt test.mlir -one-shot-bufferize=allow-unknown-ops
 #0 0x00005560dc5d3aaa llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x221aaa)
 #1 0x00005560dc5d0fac SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f9cec8a8980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #3 0x00007f9ceb9a0e87 raise /build/glibc-CVJwZb/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007f9ceb9a27f1 abort /build/glibc-CVJwZb/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00005560dc5ed92a (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x23b92a)
 #6 0x00005560dd1f966c (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0xe4766c)
 #7 0x00005560dd1f9689 (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0xe47689)
 #8 0x00005560dc8a1d22 mlir::bufferization::bufferizeOp(mlir::Operation*, mlir::bufferization::BufferizationOptions const&, bool, mlir::bufferization::OpFilter const*, mlir::bufferization::BufferizationStatistics*) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x4efd22)
 #9 0x00005560dc8a0a31 (anonymous namespace)::OneShotBufferizePass::runOnOperation() Bufferize.cpp:0:0
#10 0x00005560dde7de59 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1acbe59)
#11 0x00005560dde7ecb3 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (.constprop.495) Pass.cpp:0:0
#12 0x00005560dde7f39d mlir::PassManager::run(mlir::Operation*) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1acd39d)
#13 0x00005560dde723a3 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#14 0x00005560dde72ad9 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPool*) MlirOptMain.cpp:0:0
#15 0x00005560dde72e01 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#16 0x00005560ddf379b0 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1b859b0)
#17 0x00005560dde6fae3 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1abdae3)
#18 0x00005560dde731e8 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1ac11e8)
#19 0x00005560dc59fec0 main (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x1edec0)
#20 0x00007f9ceb983c87 __libc_start_main /build/glibc-CVJwZb/glibc-2.27/csu/../csu/libc-start.c:344:0
#21 0x00005560dc5b2b5a _start (llvm-project-22c0ce96912f55f48ba4535800bacc0c48fe9832/build/bin/mlir-opt+0x200b5a)
Aborted (core dumped)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWUtz47gR_jXwBSUVCIgUedBBfqh2UuPYZTt72IsKBJoSMiTAAKAf-fUpgJQlyvaMJ1ltNpkaSyTR6K_fbLS4c2qjARYoPUfp5Rnv_NbYxTnw-jdoty_2rDTyZfEAzmOjsTBNozxiS7z1vnWILRFdIbraKL_tyqkwDaKrun7cfU1aa_4OwiO6GrbSFaWCCCiyIqFVmlazvOSzlKU5ISUXgohZXkGRM4rIJSLLhy1gxxvAwnK3xUaIzlqQWGmM0vOAkWQovUQ0_2mJvAVAdGWhBu7CVZJNnxEteuD-895D67A32EJrjewEoKsVOr9AxUCAMjL8j7dNrezEtB57cH4a7vDEaJi4rfGTsqsqsOqfgNglopTXtXmadPqbNk96YlqHKH2XaeCFRZCRvY-KKLtvuXXwKwhvLEbsEiPKXHy29qCdsVPQwkilN4hdoPl5vxFjqZqv8Aj1w0sL_b70HFEqTNNacA5kECq9HHDml4hd9ddVp8U0fGA0IwOSMPoRrF8nEtEc0ZTbDQnB0kuA2EXCnhWjiF7gI5EDW1rgCWJXb6jZFT4QGNGUREHH2g3QeEDFn4YNzn2LuEOz4Durd6BvWe4og2Xe80wftd5y8aHzXqMCa-OxatoaGtAeZL_8t7_eXS0vflmef73C8Ayi8yAxD4qutqYJYfsIVlUvR_E9-XSa0VXZqVqGhDCmdoiuQtgiulJa1J2E_YNLxes-dc4HmblXRiO6-nJ3-LCs4ab9oj3YiguYbqdKC8SWRcIQTXqtbr9eLe-vsOvKRnnMcdltQooZ64M_fjqVlXMdBNEx16E2RMGx3-7KRsnFt-iE6S6tufiGZde0r14hUxz_3VqzsbzB3G664IcgB_5PLVsqPZjxU8XhbWXowxFRRjB5JoSQNM2IFKlknPMoXlCELd2L6y9urdI-qvkQg4_meyLLn9bGeQu8QTQLaaG0D-k3UP1-miJ6Tp4pTTjnr4U1aJEcaUEqLvC92mhe_8K1rMEimg9C9Y_dVLTBWST-vTKiA6N5VQgQOc-LnOD12oLzxsI6FoQ8xIsqEV0959k6m01qpbvnyUZ3_ULrtxa4nDozJVHghBY5GcnLDmHKghPI59hy5QAf6L6pVSkmF7_-5em38vWWTukc0ZWLWiC6mk7D3YuTEAr-qtPquX_wGKXRXbiNrKchadJkrPDsSBI6rxLMSxM1_ZwkXvbWiLsiSH4Eko7dA7Kg_FTBwcqCjoMjO0SXSVVkmTgROszmWSZG6PM36PmpEiOg58UIPR9ZPueJpBTH8hsztxzV3dEjuGkRzfekNy3YoTwvQ4p_l8mont-04dNhYbTzQ4Eojal_yOWmXanag93t_Ence8-9cl4JF7eeyuozqCSlI6sXR1YnnCUBnWujXxrTOax5A66NhbQYlNVwvzV-pwHccjeUXtvpG31g_jzo8kr3to6Fejgq6xLmEtLiwHQSPFf1zsoP5qYNcEvJ29jEDKgj_0d5jl3wcVAsNa9fnHLXXPNNKL97n3c6nhHkad8SCRclpPtsCFZJjqwComQ_bZVb1UKtNBxlRyB9VTb73c10uClAfdHO29hQGPuG65jgID92st9yC9p_0ZU5yK3oiWm8b61pp7MiDQ8Ds_eDjB6Zs2KFPJJip9e7ITU2ywkDQbJCjgKBHUlOGWe4BVsZ2yxFLFc_6HCcl0OHtOUW5Lr1oYvf77g3nRVwvYlHgsPKt1f_-uuXuwujPTy_rW3XtbI3rb_mSl8YXanNAY8CH6y-75nZsX5cFri1RoBzfeX4rHqdVv_o4I1619AY-7JjdUAvoeJd7dcSavDw8R52FY9on9X5kG44NtzBRjlvX4b1Pc5DbL9uYxotP2Wu9NhcQJIDwK9mowSv78B1tT8ACqfVECtrCxViFx9tQDT_48z5sVOLSBRWBK_rcIJZV3ok9oGd_oTh8b7bP5kyPQmi85o3peQodK5_Hq_QvDZ688ca9jsi_Thhxi11xeZFSQ5c4dpa-aWWt0cV57-h3f9gkn6XYt8g9N8ne22WeVqUZPTaHJ9lIKs4sPcz8P-tfpysNyklBzYycn70MmIJ5B8aeegNxZb3XeByHDz33iq9uYPqM6Y4cTxxkSSQj1Qdn5PSogJBcMOVPpUMIEGMQpqS8fwjZyKf4_W6VqVYO8-tXw_yfGoWIly3G8n0l3Ex8omDETabjQopPRpclbRMOe6BTzUgIaRM9wOSZWmsBxnAhLEQZ5hw0CzvZstncsFkwQp-Boskm-esSBKanW0XXIAk82I-T0guWZLy-VzKmchlJmc0p-RMLSihjDBSJMUspdmUpyxNy2qeUJIlJAc0I9BwVU-DtlNjN2dx_LrIEpYkZzUvoXaL_mcEDU84Lva_IpzZRbRQ2W0cmpFaOe_2XLzydfwhKjTaKL1EGXlnOpqRfqYLEj8pv8UVV3VnATfgHN8ARnT-8USdzs86Wy_-_fly1PFfAQAA__-FClNz">