<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/60187>60187</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Sparse-compiler Pass triggered "llvm::install_out_of_memory_new_handler()" and crashed
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Colloportus0
</td>
</tr>
</table>
<pre>
MLIR built at commit https://github.com/llvm/llvm-project/commit/97a1c98f
Reproduced with:
`mlir-opt --sparse-compiler temp.mlir`
temp.mlir:
``` milr
func.func @main() {
%t = arith.constant dense<[1.0, 2.0, 3.0]> : tensor<3xf32>
%unranked = tensor.cast %t : tensor<3xf32> to tensor<*xf32>
call @printMemrefF32(%unranked) : (tensor<*xf32>) -> ()
return
}
func.func private @printMemrefF32(%ptr : tensor<*xf32>)
```
trace:
```console
expected RankedTensorType or MemRefType
UNREACHABLE executed at /Users/haoyu/workspace/mlir-fuzz/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp:111!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: mlir-opt --sparse-compiler temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 mlir-opt 0x000000010245f8c4 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x000000010245e92c llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x000000010245ff5c SignalHandler(int) + 344
3 libsystem_platform.dylib 0x00000001aad414c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001aad29ee0 pthread_kill + 288
5 libsystem_c.dylib 0x00000001aac64340 abort + 168
6 mlir-opt 0x0000000102426628 llvm::install_out_of_memory_new_handler() + 0
7 mlir-opt 0x0000000102664078 mlir::bufferization::getBufferType(mlir::Value, mlir::bufferization::BufferizationOptions const&) + 0
8 mlir-opt 0x00000001026648b4 mlir::bufferization::BufferizableOpInterface::resolveTensorOpOperandConflicts(mlir::RewriterBase&, mlir::bufferization::AnalysisState const&) + 2020
9 mlir-opt 0x000000010338423c mlir::bufferization::detail::BufferizableOpInterfaceInterfaceTraits::FallbackModel<mlir::tensor::(anonymous namespace)::CastOpInterface>::resolveConflicts(mlir::bufferization::detail::BufferizableOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::RewriterBase&, mlir::bufferization::AnalysisState const&) + 116
10 mlir-opt 0x00000001026b8544 mlir::WalkResult llvm::function_ref<mlir::WalkResult (mlir::Operation*)>::callback_fn<mlir::bufferization::insertTensorCopies(mlir::Operation*, mlir::bufferization::AnalysisState const&)::$_0>(long, mlir::Operation*) + 616
11 mlir-opt 0x0000000103c00928 mlir::detail::walk(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) + 160
12 mlir-opt 0x0000000103c00928 mlir::detail::walk(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) + 160
13 mlir-opt 0x00000001026b7c10 mlir::bufferization::insertTensorCopies(mlir::Operation*, mlir::bufferization::OneShotBufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) + 364
14 mlir-opt 0x00000001030b3cf4 mlir::sparse_tensor::SparsificationAndBufferizationPass::runOnOperation() + 244
15 mlir-opt 0x0000000103adb518 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
16 mlir-opt 0x0000000103adba48 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
17 mlir-opt 0x0000000103add3c4 mlir::PassManager::run(mlir::Operation*) + 1148
18 mlir-opt 0x0000000103ad6788 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
19 mlir-opt 0x0000000103ad6358 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
20 mlir-opt 0x0000000103b4104c mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 656
21 mlir-opt 0x0000000103ad4780 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
22 mlir-opt 0x0000000103ad4c74 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
23 mlir-opt 0x0000000102301cf0 main + 108
24 dyld 0x000000010741d088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWd1u47oRfhrmhoghUT-WLnLhODE2QNwETs4p2huDkkY2G4pUSSpZ79MXpKRY8tpZ7yIotsUJFpZXGs7PNzMfRzTVmm0EwBWKrlF0c0Ebs5Xqai45l7VUptHeRSaL3dXy_m6Fs4Zxg6nBuawqZvDWmFqjYIbIApHFhpltk01yWSGy4Py1v1zWSv4LcoPIol2HyCKdUj9PkxJ5N8ibraBWsmhyKPAbM1sUzHD7AMVexZm6lLXBl5e6pkrDZS6rmnFQ2EBVT-xzFHudvPvc3w9m73raf7hiXHXKy0bkE_uBUehVlAlEEkRSjKbXrQDGiEQGo-AGU8XMdpJLoQ0VBhcgNKBgjqJrf-IhMsekvQQTD0U3KLjFNggDQkuFgnnwtQyIvYsHmhuhqHiBwhloRSc51aa3emy9kfubiMy6273SnHJug6kVE2YJlYJyERAX1rs1F6EFmCTHNJEUXzr3HRa9YgWmUaLDcnozBHuPYq3YKzVwyoHaqHFQY6sHieosdwlVNIfvk2nTITn0oMLXGnIDBV65QJ-dneddDVgqvIRqBaX9Xyv8x99Wt7P5l9n1_S2Gr5A3diG12C_-0KA0IostlbsGkcWbVC-6th6QhavGsvn2rftuS5xliCxuGOVtjV83ZQmKfaOGSYHI4m41vJlxeKjvhAFV0hwmeV2jYOb7PiJ-69jj_e3s6RbrJrMdRnHWbLAC24s2-T_dcUzrBmw0mIoCM5HzpgBstoBzRfUWZzR_cfBOWvNPhuYvuGiq-h1vb4K89FHJjaIVpmrTVCCMdQKf1ZsHal2Hy8ZgvasyybGgFWhbbiB0owDvZIO39BWwC6QVYt9AYSbsM4UfZ89fbEY1GBcHiFempLBO4VeqMIq9-_s_l-unfyyvH-7v_nm7WtsltvmNxLVkwiFpaSjdx4j3wXhfvfbP90gYlUkeOl-sbDDTO91-ebQl7sJ6dtVJkr2Qom9rqY0CWiESW15gwrgiJ9c4iluT_sDk4d_YBUhJfsyFVSOe2EZQ_oWKgruiTXorvk9aM-R0ZGWU45ECRJKBo0EYtioCjDnL9E4bqNY1p6aUqpoUO86ygUpKi9AP8xCvNdsYRat6FG44UmK2CmhxTAdJATzcCaxfmGU0co1JkrR6oqGe_IiGPA6D0MM0sy3joIi7pfEpKEgck2SAMLM0z_laNmYty3UFlVS7tYC39fYdqB6ljqmm5yUzjkNvmuB-cwpm2Ygt3K0NmJYuHFuRZC_8J-UN2HL6cP2IgB5q-6mx27pcMY7cTk5AEsdhkoVn2hlzWtcCoCV_hZaEH-qHGhQVxVyKkrPc6FFYK3hTzIC6phq6fvnQ8ExQvtNMPxm73RxGRjzSBZceDy4IkpAE-cc2CjCU8Q8Dff_yrCgzXU8uKOeWU5eyAI6C-d5Iv-_NHH0nVEixq2SjWwZs95e0fTyn2owQvR2BehzFTwxiLkUOtemhnY0z4nLZbm4HTz43kb7fM6V3okizJAqHRfp3yl9WoBtuBs1sZxNrcq2gHCVkID0Cchxf-o5-3qV2XYqRniOBMaFBmbb457JmoD-w8Ksg9aUUrj03QyVcis1HqWphjd9h9c_irCD3vJQMOWtYVm-Uv3wY2-cmYhSdXfegCkvHXcX0c6NPjnf-_2IowZk7SzbNu0b5r5Tlg4CnrTQ_2Gx-ZquyBc60YbkeVGsQd0OIHx5PqZcFeTkkgXYSXQ_p9sneYiXLnZ2ZKEZ2H6nueE814kEMUHjf5Ek_CvnReT1DiyzyTxXaQ_0sH2prdlbQ2vReqkaM0uH8Op98e55YUkE3tpDmOJOS22sj3Ft-MRxDQ9JNRX58HFhaZDT8-RAeWQ2cCTioLCv67ln86TENF1lTd0Ib5V5UpPpO61hgUI69749UgTB3opSDLbCrx3648M-b-AJaFEEeHljv4zma92Ok7fthn67kVLriaZLgGpSdzmeOnvQP3kp6LPurNkUrul77XTNtqYJiXRv7wr5X9SQblcNyo1Bwe6Lbl_d3q7kUBr6a8-nzXm5YTvkxBj0soJ5DxzF0r1he367puUmKg2hY62NHfsXz77FsBPt3A99huXRvFy0jHU9CASVtuFkXwMHA6cV2ULkdI32Y8x9PM0vO1ENtlu152EfV83tE-Jm1tJfojnNWsGHaqN2JfjnvenpQ-z0Q_K5GXA9N-x4i3nk9lIW-F-ajjZgzMxPFo5I5aN17_5t0xv9FJ38ocZwb4_5AhvinNpJwmgwHyb8Y4dMZoR0q-xcxQs7dpcJ8Gp7MTDcI5VvajjwHm-6TUUxsVlCeH1c3exCvmz1IcPxFPPD8vPRwRZloV7wvCHGx48VQeBr6hZckWBvanc9FPQ4Hx_sXxVVQpEFKL-DKj6dh4CdBGF9sr6K4AFJmXgBhRAghHomyKEoD6tEsBT-9YFfEOUV8PyZRGE-CIi2mce57UepBWpQo9KCijE8sPBOpNhfunPwq9vxkesFpBly7n8QIEfCG3UNECIpuLtSVO5jOmo1GoceZNnqvxTDD3W9pDt_oBj8dHIvbOsNGsc0GFBQYEfLTp46IEHeW787vobhoFL_69Z8FXMT_CQAA__9sB5EM">