<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/109650>109650</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -one-shot-bufferize crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
axeabc
</td>
</tr>
</table>
<pre>
git version: c3d3cef8d5837
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -one-shot-bufferize a.mlir`
a.mlir:
```
module {
func.func @test_reshape_3d_same_d2d_auto_empty(%arg0: tensor<3x?x?xi32>) -> tensor<?x?x?xi32> attributes {llvm.emit_c_interface} {
%collapsed = tensor.collapse_shape %arg0 [[0, 1, 2]] : tensor<3x?x?xi32> into tensor<?xi32>
%0 = llvm.mlir.constant(0 : index) : i64
%1 = builtin.unrealized_conversion_cast %0 : i64 to index
%dim = tensor.dim %collapsed, %1 : tensor<?xi32>
%2 = builtin.unrealized_conversion_cast %dim : index to i64
%3 = llvm.mlir.constant(9 : index) : i64
%4 = llvm.udiv %2, %3 : i64
%5 = builtin.unrealized_conversion_cast %4 : i64 to index
%expanded = tensor.expand_shape %collapsed [[0, 1, 2]] output_shape [%5, 3, %dim] : tensor<?xi32> into tensor<?x3x?xi32>
%cast = tensor.cast %expanded : tensor<?x3x?xi32> to tensor<?x?x?xi32>
return %cast : tensor<?x?x?xi32>
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp:2298: 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 -one-shot-bufferize a.mlir
#0 0x000055e031e51458 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1100458)
#1 0x000055e031e4ef6e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10fdf6e)
#2 0x000055e031e51ded SignalHandler(int) Signals.cpp:0:0
#3 0x00007f876cf5d420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f876c59a00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f876c579859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f876c579729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f876c579729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f876c58afd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055e0335829f1 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x28319f1)
#10 0x000055e0341dc85b 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+0x348b85b)
#11 0x000055e0341dbfda 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 0x000055e032382840 mlir::bufferization::bufferizeOp(mlir::Operation*, mlir::bufferization::BufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1631840)
#13 0x000055e0323877ec (anonymous namespace)::OneShotBufferizePass::runOnOperation() Bufferize.cpp:0:0
#14 0x000055e034fe18e6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42908e6)
#15 0x000055e034fe2250 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+0x4291250)
#16 0x000055e034fe47f2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42937f2)
#17 0x000055e034fdd0d1 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000055e034fdcd2b 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
#19 0x000055e0350884e5 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+0x43374e5)
#20 0x000055e034fd8155 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+0x4287155)
#21 0x000055e034fd83ff mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42873ff)
#22 0x000055e034fd872e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x428772e)
#23 0x000055e031e31fe7 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10e0fe7)
#24 0x00007f876c57b083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#25 0x000055e031e31b6e _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10e0b6e)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWltv4zjS_TXMCxGDInXzQx6cpI2vgQ4SJP3Nq0CJJZs7EqklqUwyv35BSrYl5z7bxuwukCgSb3VO8bBYosKtlRsFcIGSS5Rcn_HebbW54E_Ay-qs1OL5YiMdfgRjpVaIrXDFBKugzkWSswyRa0RWw9U-Wwetb4JS8v9lr1yPo3xB4kWKf_x8QCmZtjbQGS36CvAf0m3HXm0jzbnuHD7XCs7tVrvzsq9rMPJPwHzhq4-GGa5jFdsVpmT4wcNzq0XfAEbZ5fCMcd2rauEvGMXEgXWFAbvlHRRMFJa3UAgqCt47XUDbuWdEc0QTbjbEI3WgrDaIXbEnxNbhVzKK2DdEl_gcsW-HFrv6QxvMnTOy7B1Yj6hpHtsFtNIVVSGVA1PzClB2PUWLMaJJpZuGdxYERux6NLDYFRYBPB4x4jCZlwTRKxz5C0XJNUqu8bvgsVROz5GPrKYwSDAfUHufLyqtrOPKIZqTML5UAp68I8JDGs96R6F32cvGSbXolQHeyD9BFJVWo8aKilu3sxRGwE6Po06HErKdeiI8TrzkaY8GVx-Sol-ANdgdeQZoRxzZ2x5afuyh-NC7F_IxoBu5MHzUA9Ek-QLy-H2HwlPHlZjrayg7qGsiwjckpnvX9W7XI7n0GH09G0kI2b5Q4rsaZE9vTNpAa7IWRpoTHqu3h8LHdo5W8t6SAdcbNTG4-kw_lF2PsWh_82poso5Xv2Nn_KJnq_da7mJjCJV0LbjjiK7tn8-Irm9-fL9HdO1Vc26gAW5h99gZ_Q-oHKLrECLpupEloutryZuh-Abae6gRXYchhqfbzi6qrkNsReky9xat405W-FFLgXexlq1aaA3Uw_234PYHP--33VDkZSkQzW-7S38HBiOaeh3cdmC4k1o9OO5gV_rzuQP_9zfe9OFmZQx_9uDY1T1wa3UlQ6_vSsgK7BBwPbqVtWB8jd9EbF9VAMKHgHxQYwAVFpw3lGJEaa942cCwEGowo2yxHVpSRDNcc9mAWAzev_vxbfXwDdu-bKXDHJf9BhvotHF-jK1znfWc6RrR9Ua6bV8uKt2Ok_ByLqS1PVhE15grgaWqml4AdlvAleF2i0te_R5EMZp_CDIRfdvtVUIWGN8ZvTG8xdxs-haUs39ZHONUrUupRql8tA_vQhAjmDwRQkiSAGERJFGc5CGADSKwz3a4uTNSuUDkZ5A7zQ-NDP-j0NYZ4O0oBukDpp-x_BfyQfSSPEURIXGSe-nsOURzDjHUKbzG4b5XD3KjePN_XIkGjA34TgOT1KJOYQaTHrvah7kZIETz0XND8W4dk_C7H4iNA2V1nqVVnYiYElz4JMhpA4VxI6MhWDzlaZHG541U_dP5RvVDRee2BrhYWL0gA-I4pmSGN56ZSZackBIbLq1f83vym0aW1fmP6jslT_tHumCR92Vggeh6sfBPz1ZA59dNr-TTUPAY0KjeP4ahFxViqyRCbBUdkCRzJNkyT5aYlzow_RwSJwZvhF7BSO6NZAcj6bGRjC7xBlwx4C4sbPwqLR59gPusXamc599oLlq7qfhgOiE-8OUH29lrtgvVFL5jIXTLpfr3TC4zLyJ2SD5YPreZ81qknxBO5SWTBskwVot0JpnlVOIsyemyjk6xvGjOomUd7W37IDCLZHEkqjwpP7PbTdrst7rhsTLAHSB29Zk9k15NQs5k72u02oS97mpiaNwk03mvh5Y3zW9QuZCevFnuB_Q5Wz8OG4cbf58fLPzQVdhtP8aVjjhOim60cpJYy-K8zJNyJoboSAxlLfiE4W4_HFwUigQ4Lpvh_nJXXTZw233fvdjtb34aLt24qax50_gN_0YLaGZa2SWaq5Bb5Fxp9dzq3mLFW7Bd2EWXr0hpbyZM6xQuzKb4F5K40qqCzuHwtoPoaq6HfcL3ouYe_jDSgbkMc3Yko1fwXU6Lbjt_tTujQR5vgW675uVe6Cd6tqlSltM8Ju9j2DvTL9r8Myy_TuQrvX0WLa2TlQ2GT5OOpCzKYzJbIuzIc1kGFf5Ap7cKHrba7fDDHbejgkyvbtXEhfl0NuH1uYtni7SGKId04ripmG-7n_q28-ZWgndut6xMr2ZzGPB8Xr4rxZtnK-0NV3zj068rXGrd-L-9Ckdr4oSpbEyXJId0NinJkUsoTciXXXInO2ikgiN5-6Z7pukv99G0kzf1XVlnwouNNi9GnTeYLI0d9jtuQLnvqtaToHSqaYhoMl8b6dE0xFlNj9Dv_PGqDufuPBVsltV0BjubwxaCiAh3YGpt2lUVgtQHL27WifGlacsNiKJzR5u97k0FNxuD2Lc34p0ndqWVg6eXO8lNI81t5264VFda1XIzC_6T2tcDRn7ErxK0nGQoP_RGVry5B9s3blJe9yqQL8yQ-bzRAdF8T79X8p89vKB_A602z0NYm7lLQM37xhUCGggp4xt9xkRtmlcdT8Jyv-1XY2pR1GqWWEz89NnpPDmfA7rxcOoeNtI68_xSH-9pYJctxQUZMtpdPvkfMTMfK3T2ApSQPI8hmXC3XSPdSok7oyuwdgf3b9Hdf-GqeLfF7F3FGak24WT0jeLTxGTGshiSaUym5Chm5VGSvL4a_tfW8ml2vTyLkrmHo2MPs7p-08NjqlJt-ZCUrL4qnI_cczLarK5ntOkx7YzCL6H9N_HLKMz4sflxKYtqyPB4EHaC81ogNWQzAEfnn1lJcoaLopFlVVjHjSu-cixX2X53EDrchsowTjigYzH114P55Jh_mQIeDJ_KA-XkxPqV6_6b1pm4YGLJlvwMLqKMZmRJ4oicbS94Wi-XAmqSiCipMhZlpKySOIqTZZbTJT2TF5TQmCwpiyJKIrKoyiiCukxyWlIKHFBMoOWyWYSPqNpszsLXlouILNOEnDW8hMbu_t_BXAR-Zb-xKCaNtM4e-jnpmvCfEUHPyfWrn0PCBxuwZ71pLv76d6AR3OMF_VcAAAD__5mMQac">