<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/119857>119857</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -sparsification-and-bufferization crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
wwy6191
</td>
</tr>
</table>
<pre>
git version: bc29fc937c6cb4a210f80c93c79fc6ed97c801f8
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -sparsification-and-bufferization a.mlir`
a.mlir:
```
func.func @fuse_by_collapsing_dynamic_pad(%arg0 : tensor<?x?x?x?xf32>,
%s0 : index, %s1 : index, %s2 : index, %s3 : index, %s4 : index, %s5 : index,
%l0 : index, %l1 : index, %h0 : index, %h1 : index) -> tensor<?x?x?x?x?x?xf32> {
%expand = tensor.expand_shape %arg0 [[0], [1, 2], [3], [4, 5]] output_shape [%s0, %s1, %s2, %s3, %s4, %s5] : tensor<?x?x?x?xf32> into tensor<?x?x?x?x?x?xf32>
%cst = arith.constant 0.0 : f32
%padded_0 = tensor.pad %expand low[%l0, 0, 0, %l1, 0, 0] high[%h0, 0, 0, %h1, 0, 0] {
^bb0(%arg1: index, %arg2: index, %arg3: index, %arg4: index, %arg5: index, %arg6: index):
tensor.yield %cst : f32
} : tensor<?x?x?x?x?x?xf32> to tensor<?x?x?x?x?x?xf32>
return %padded_0 : tensor<?x?x?x?x?x?xf32>
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp:2317: static void mlir::memref::ExpandShapeOp::build(OpBuilder &, OperationState &, Type, Value, ArrayRef<ReassociationIndices>): Assertion `succeeded(outputShape) && "unable to infer output shape"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt -sparsification-and-bufferization /data/szy/MLIR/seed726/tmp.EwRBQX9VqT.mlir
#0 0x000055ba543e9348 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x111f348)
#1 0x000055ba543e6e5e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x111ce5e)
#2 0x000055ba543e9cdd SignalHandler(int) Signals.cpp:0:0
#3 0x00007f3ab15e9420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f3ab0c2600b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f3ab0c05859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f3ab0c05729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f3ab0c05729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f3ab0c16fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055ba55c37a71 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x296da71)
#10 0x000055ba568fff8b mlir::memref::ExpandShapeOp mlir::OpBuilder::create<mlir::memref::ExpandShapeOp, llvm::ArrayRef<long>, mlir::Value&, llvm::SmallVector<llvm::SmallVector<long, 2u>, 4u>>(mlir::Location, llvm::ArrayRef<long>&&, mlir::Value&, llvm::SmallVector<llvm::SmallVector<long, 2u>, 4u>&&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3635f8b)
#11 0x000055ba568ff70a mlir::bufferization::detail::BufferizableOpInterfaceInterfaceTraits::FallbackModel<mlir::tensor::(anonymous namespace)::ExpandShapeOpInterface>::bufferize(mlir::bufferization::detail::BufferizableOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::RewriterBase&, mlir::bufferization::BufferizationOptions const&) BufferizableOpInterfaceImpl.cpp:0:0
#12 0x000055ba54936990 mlir::bufferization::bufferizeOp(mlir::Operation*, mlir::bufferization::BufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x166c990)
#13 0x000055ba54970ec4 mlir::bufferization::bufferizeModuleOp(mlir::ModuleOp, mlir::bufferization::OneShotBufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x16a6ec4)
#14 0x000055ba563d3d68 mlir::sparse_tensor::SparsificationAndBufferizationPass::runDenseBufferization() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3109d68)
#15 0x000055ba563d38bc mlir::sparse_tensor::SparsificationAndBufferizationPass::runOnOperation() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x31098bc)
#16 0x000055ba572f43d6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x402a3d6)
#17 0x000055ba572f4d00 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x402ad00)
#18 0x000055ba572f72d2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x402d2d2)
#19 0x000055ba572efa4a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#20 0x000055ba572ef69d llvm::LogicalResult llvm::function_ref<llvm::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&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#21 0x000055ba5739b235 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x40d1235)
#22 0x000055ba572e9685 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x401f685)
#23 0x000055ba572e992f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x401f92f)
#24 0x000055ba572e9c5e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x401fc5e)
#25 0x000055ba543c9e37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10ffe37)
#26 0x00007f3ab0c07083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#27 0x000055ba543c99ae _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10ff9ae)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWk1v4zjS_jXKhYhBkfo85OB8GG8DHSRv0jvYm0CRJZs7MqUhqU48v35BSrYlOZmkZ9uYnW10bKlEsup5qlgsUmbGyLUCuAri6yC-vWCd3TT66uVll4R5eFE2Yne1lhZ9B21kowK6RCUnecVzmvKElxEjIa4yzHPK07ziCYg85RkOqyzAywAvzc5Y2Lp-QYL_UXbKdijMFjhaJOjrt-cgwX07Da1uRMcBvUi7Gdpva6kvm9YidGlapo2sJGdWNuqSKXFZdlUFWv7uJYgtXOvDeAFeDhK6RMgJEtz_dzdVp_jCfaAgwlVnoCh3BW_qmrVGqnUhdoptJS9aJgKSBSRmeo2RG8qCMo0O6E1AV6_jv4qSgN4F5CbAS4QQCkhs-i5SCXgNyI0Xhaciciqip6LoVBRPREe99ane-lTv5rTVZtIqR5cBvXsf8RQ5CtJrb0JAYnhtmRIooLdD70UvKcyGtYAOfLqYu8ZBfOv1x9eh-ybHe3q8jNx37O7jW9R0tu3sfrT42nN9YPjA64HNA4cH5twon3Ankso2n2Vgj54b66EzLe1mwRtlLFMW4UVPuGs8tGyZECAKPGaqZWJEYd289Phqj-_44X06EsW3aCPXm77x5rTxZtb44K34rizxIcjDeUgwvSZvyOgbsugNWfyGLBnHWECXQ-AO-HcSanGkccRX-oHLZq77QcdpsJ1WM698WptLMOntkHrGmcZYxn9FVjMOPdR5g32O8ymPrASzLCAr8_suIKv7r1-eArKq6-_bSw01MAP721Y3_wJuA7LySY6salkGZHUrWd2L72H7BFVAVn6I_u6hNQvetgFdEhqmTqOxzEqOvjdSoCFbBnS5ha2Gqr--84H47KbaQ9uLyk7WLi8-tNfuCjQKSOL8-9CC9tn42TILe-m3XQvu-xdWd_5iqTXbOePozRMwYxoufa8vSkgOxqdRFxhoaQxon92DBJuOcwABTnOfALxRLk95RQkKCOkUK2twvpeqAj1kCmT6liQgKaqYrEEsArx8_Hq3fL5Dpiu30iKGym6NNLSNtm6AjbWtcYDJKiCrtbSbrlzwZjt44NQR0pgOTEBWyM1cqXjdCUB2A4hrZjaoZPxXHwhO97OPC9Ft2z4s8AL5f4-6WWu2RUyvuy0oa_50XAxeWpVSDVHil9KPV9J3tBkAkTqiV3bbLu5enq7__5_5L79961dZ7KykGOFXjDGO45LFEYWcRhnybPnAMTvTXzxqqayn4JufGSQ7NtLspWiM1cC2QwBJZXsvZz-RiIBc49cwDCsaZS7cegDhDEACMbwF4KlTz3KtWP1_TIkatPHGnctGDjEcbSRzkrkQaGJNQLKBs168n_XY__Wj0GGUtKKsDGPII4JRUWgwttFQaDtg6fPKa5YUSXRZS9W9Xq5V1z9o7UYDEwvTLHBvaxQRfLQ0GuvAnCQYl0gzaVxuOGBe17Lkl1_5F4JfD7dkQUNHobc_IKvFwt3tjIDWTbFOydde8N2bojp364de8IAuY7eQhYMZ8dQMHGdxjljZeIyfM8OKngffy2vInIZ00JDMNaQkR2uwRW9xYWDtJnPx3aXAzyqVyjrkdcPE1qw56_XG2KXGbFCcvqW4UHXhehWi2TKp_jN9eeqihkaDwmyqMEwqkXwiUriLkcTHCKWVSI4xko-jOeY0ZWl4jmlE8kSwNOwVu5k-yVVJVlVVVn5mDRy1OSyA_S3XwCwE9OYzKym5GeWV0YpYN2rdbyRGioalM5n2et6yuv4FuPUFyrtyN6Crq7th2MhfuOvsqOFr068HH9uVDHac1bpBy1kSKk1oXGXlMRLCeSSkmI3gTVbHXiTAMln319f7x2UND-0XZUFXjMPh4ptm0g7LxorVtSsD7hsB9SRQ9nXm0lccGVON2m2bziDFtmBav0jmb8TRQY336dhcmPj3J4K4aRSH1iK_swnIchoMhxrw5MkTvGhpQV97h81i6A37rseih9Z9mr1SHxvvGb1t69mC57w8XTZzmuQ5_mMDDky66Zp9BuKPo_iR3q6qlsZKbrzi81QbScLzHB8nB53SlmLg0Sdpu29EV8_JOwo_gP6g4HnT2L8dfywBHh35iybJhQoqkmxks6_GoRhP_-dJgb5UYgLikZlhHupO3YIyMHl8vjqUhjgXSXZEFs-RZSX_acge1GiWnRNSVvIjpGQMKSVVREUygjTOmA_tt-ahdTYvBWvtHqLu1CTcPajP58ilYvXOSHPPFFu7Qv4GlU1Tu-9O-aNaccbtUIQJo_vizPGRzvkQGP8wH4-yhVoqmOVQ1_QAM_npBI07OVVflLHab6kbfTLqtMEof-xtf2QalP2iqma07J3NBwKPEnA280FKBJmZvifjzQiccnkumwUR5GhzPrUZKhYx1IKuGr1dcp_DP9jzGyuGNLJhGkTR2lkV2XSaw_1aB_TuneXAobpplIXX0yrlvpb6obX3TKqbRlVyPSksRk9PCwmC5-CSXIzq3q_NWnJWP4HpajuSV53yyAvd19PvdAhIdsDeKflbByfY72Hb6F2fOydcCahYV9tCQA1-I_JOn6H8H1frcw_kh3qSDzVrUalJxToi6bO-PDueo3XDQegTrKWxencaHH8UAPsyPCpwv0_a71L-KzzzQXhOdjMpzUtC48myXEu7VOJRNxyM2dv6lwTd33BK_GGLyfbXaqnW_gj-HfGZUrEICY0PqZiQWbbKkyx-ex78r83i89AbVkk2opfO6c1J9S69Q2HCN6wvQZY_GjIfcXM2zDmpjpijOWYew0_B_BeB4_vTdQcunp6u8xxoioZj1J-_W8RVBTQ9ap8fJKc4o6goalnywlimbfEjJ7rcdPuj8_7SP_Tj-LNdGhH3OehO58hzBqjXei7sOdszf3gleiGuqMhpzi7gKkxphLOUkOhicxUzGjICFWSpyEta5iSKAXCaiqxkNGUX8opgEoUkpCGOaRQtRJzTtOI5hZAAgziIMGyZrBfOyEWj1xf-ld1VGOZZnF7UrITa-F_CENK_VSVBfHuhrzyoslubIMK1NNYcR7DS1v7XM75DfPuJ92v-bSCYi07XV3_-JeNg9Pcr8u8AAAD__-V7-ek">