<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/121020>121020</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[Mlir] --affine-loop-fusion="mode=producer fusion-maximal" crashes in LoopFusion.cpp:301: createPrivateMemRef
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Emilyaxe
</td>
</tr>
</table>
<pre>
git version: 7b23f413d1f
system: `Ubuntu 18.04.6 LTS`
reproduce with: `/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt a.mlir --affine-loop-fusion="mode=producer fusion-maximal"`
a.mlir:
```
#map = affine_map<()[s0] -> (s0 + 5)>
#map1 = affine_map<()[s0] -> (s0 + 17)>
module {
func.func private @func2() {
%0 = llvm.mlir.constant(2 : index) : i64
%2 = llvm.mlir.constant(0 : index) : i64
%3 = builtin.unrealized_conversion_cast %2 : i64 to index
%alloc = memref.alloc() {alignment = 64 : i64} : memref<8x18xf32>
%alloc_1 = memref.alloc() {alignment = 64 : i64} : memref<3xf32>
%alloc_2 = memref.alloc() {alignment = 64 : i64} : memref<3xindex>
affine.for %arg3 = 0 to 3 {
%4 = affine.load %alloc_2[%arg3] : memref<3xindex>
%5 = builtin.unrealized_conversion_cast %4 : index to i64
%6 = llvm.sub %0, %5 : i64
%7 = builtin.unrealized_conversion_cast %6 : i64 to index
affine.store %7, %alloc_2[%arg3] : memref<3xindex>
}
affine.for %arg3 = 0 to 3 {
%4 = affine.load %alloc_2[%arg3] : memref<3xindex>
%5 = affine.apply #map()[%4]
%6 = affine.apply #map1()[%3]
%7 = memref.load %alloc[%5, %6] : memref<8x18xf32>
affine.store %7, %alloc_1[%arg3] : memref<3xf32>
}
return
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/Affine/Transforms/LoopFusion.cpp:301: Value createPrivateMemRef(AffineForOp, Operation *, unsigned int, std::optional<unsigned int>, uint64_t): Assertion `eltSize && "memrefs with size elt types expected"' 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 a.mlir "--affine-loop-fusion=mode=producer fusion-maximal"
#0 0x000056305543f508 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11ef508)
#1 0x000056305543d01e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11ed01e)
#2 0x000056305543fe9d SignalHandler(int) Signals.cpp:0:0
#3 0x00007fa8a5f02420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007fa8a553f00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007fa8a551e859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007fa8a551e729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007fa8a551e729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007fa8a552ffd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000056305556a052 (anonymous namespace)::GreedyFusion::performFusionsIntoDest(unsigned int, unsigned int) LoopFusion.cpp:0:0
#10 0x0000563055566105 (anonymous namespace)::GreedyFusion::fuseProducerConsumerNodes(unsigned int) LoopFusion.cpp:0:0
#11 0x0000563055565bae void llvm::function_ref<void (mlir::Operation*)>::callback_fn<(anonymous namespace)::LoopFusion::runOnOperation()::$_0>(long, mlir::Operation*) LoopFusion.cpp:0:0
#12 0x00005630555574ce void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x13074ce)
#13 0x0000563055562f2a (anonymous namespace)::LoopFusion::runOnOperation() LoopFusion.cpp:0:0
#14 0x00005630583a0ec6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4150ec6)
#15 0x00005630583a17f0 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+0x41517f0)
#16 0x00005630583a3dc2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4153dc2)
#17 0x000056305839c53a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000056305839c18d 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 0x0000563058447c65 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+0x41f7c65)
#20 0x0000563058396175 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+0x4146175)
#21 0x000056305839641f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414641f)
#22 0x000056305839674e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414674e)
#23 0x000056305541fff7 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11cfff7)
#24 0x00007fa8a5520083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#25 0x000056305541fb6e _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11cfb6e)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWVtz5KzR_jX4hvIUAp3mwhfjsef7XGXHrvUmuVQxEshkESiAvDP761OA5miPvd53nTdJ1e5Y4tD99NNNNwJqrWgVYxcguwTZ1Rkd3JM2F9edkGu6YmdL3awvWuHgMzNWaAXIDBZLTHiakCbhAM0Amtm1dazzXSBHf10Oyg0wKSconeTw9usjyFEcZ1hvdDPUDH4X7mkcD_CioY4CvLA_1gAv7m5vvgC8kPK5OzdMMmrZ5rU3-h-sdgAvloOQjf8rFMCLTgpzrnsH6cQ_wvNzyrlQ7Fxq3Z_zIQK_Ahh3umGAXI0wDIx95x1diY5KgPEWK0CzKC3ARDPfEf6FF0w62kNArmDUVHW0B2QOcAnwFGSXFoHsCp4Dcg0BLi2CAF_CzPeR6-385KMCkmIrodPNIBkExSVAMwj5oOqJ_4G9Ec_UMQhS5N9xlLgdCCHAGQqKPaXBwkmtlXVUOYBLDL29QjVsFab5lzzdTcWnp6J3ppIw1XvOCTUZlGFUih-sqWqtxuiqamrdRk2YDp0eRW7lUCl1HWR1rDOMT0LDzk4qRas6plwYk6dbJMVVeIyzAJmXq6RccYIjo_vSq-R3yCcnhOPfIzzSshUf42jCtQmaTBv5Rp5Bsuf_ACTdC72J1LTZQ-czQRTgQ_ANpQBn2Qd8mu7iI3h1GxsBUb4LLDssQ5QCPN_omB0PLz6gOD8VTFvSrNOGBbGjzo9S4UEVV_7p3--GjbBsXxjte7mGMc9sk4rXCLKrl7S_MinZn0WOZhX7EXyAO47PRhrzF9CP1tzb_CdvcnC4uIoNQMPcYFSIz9A2_u6nb-to_Q06Q2sGyJjsDwZsCkrI_b9Sn0LhwAsplgAvrgSVsXkWzAV48dVQZbk2nQV4cat1vwiFaFL3PSAzghKv-W9UDgzWhlHHHmJav2PdF8YBLqOkhTb3vafsvmeGOqEVBHjmGwYV6noDhc_Nc2hd400lM937YVQCMj8YQ67DNKFcnlYu1JkZnFnLTBSbIybdo_jh3ZQDnENfTYMzbKjm0Po-Jh10655ZyFY9qx1rfE3FBeRUSNZMAJo93F7PHq-hHZadcJDC5dBCw3ptnF8iT8711iPFC4AXrXBPw3JS626k-CXTwtqBeRYhVd6SWg4Ng-7JE0ftE1zS-lvwtNf9GBzfDF0f_Y4mMaQfjG4N7SA17eCTr_1lx7-9MQEYn9ibvL8xCQmXIIhWCCGU5QRlWUp4hsqQNaN37drGhwcjlAvmfg1hjsvdIEO_V9o6w2gXfDmPQTKFYcn_NqMBvkSrJGEeoo-naEByZECDEvaaAV8G9ShaReX_U9VIZuymRn4KRo9ihxEfk8ymDTxAA3A5chab7bhyUfgfpZBRSsFpSTOOcIoRrCrDQrarjBttiUliVeZVnp5LoYbVeauG2NG7J8NoM7F6giLWNMVohzQ90JERjtASGiqsX6Zbm1splvX5bX2D0Wr7iick8RQG_AAvJhP_trYN6_1yGpRYxYbnAEUN_jWIntSAzDKfopIRRnYII2FlNoV0qYONPwfDNZGHMCtoKL2GYtSQH2so8BS2zFURcWVZ6xdu9Rxy5k8qFcp5y30B62xb06g3Qz73laPi4jXFlZKVn1U1uqNC_TF908JHDUlHheWhQsx5k_9EpNQ-RvIQI4TwJt_FyPQgmrOcIr-9xiVVWq07PVioaMdsH9LENK6-_zOMNevFmJ18S8-Mr1exyd4op6-Y9dv-40pz-D6FL6rbZo34ZICOsOUJyj6OjQ-WPYyZc66VHTpm_qIbXxbKD8FJjuBkS8rgsxbNXobyX1W-JFZxHxJ6AS7HT0VAZttaHEpx-F4L7TWV0lejiqv4pfeWkTuYY84e1L3ak1xuRwKcViiU71Jq1XoXnMTytvWHaS_LirQerd8JbJijQsbn71R-A2S-61xo852a5sZ5pdpEUKfAzP8gpwd2_p3Kb_em8Yn5c0oEQZ6NuKg8V-QoUjDH9L3A_Rmfvu2hdF9rSShidX7COff9V33fP1BrZw3tgzdGnQfE-gGjO047atczU1SurbB3VNHWsz2HS63la-v-E7yQJpm3eOeF7IiPpODow3w8iJ7JsC0_CDg_dGtm_tsJ2p_kVd0o60zYfGrzQurhgKg5dozYH6hhyt0ormE4kRmX--f4wLO880F-5APS1PgI-oaMVyPwOEV9DmaPaoe5OMQ8rTNC4VjhZiET2Xd2zNvvKftEDWuq3hlA5rsZj3owNbtrfRLcuOQoiLxVc60cW7kXDr-Twtz37o4KNdeKi3ZPxhTu9b6SJMpj45Jyv37d6lbUVH5hdpDudA4-NQHgcmv7oMQ_B_bC9jvWabO-HDiPC2A7vmGcDtJVDZPMsdNzfMW8PqwQxx44VVZfpfBnffnp9uzQjWcCX1grrDPrl8HxVgCcLPz_EZ55JzwPtqNlmhZ1nu0Zbnsp3Ew1D0bXzNoN1j8l6P4Ll8SbI_b7Hp0Rqg2HSSeaPykVc-_wbSrG6Chb5UmRvb4O_tdW8efQm3oCd_Qmx_SmCT9J77gxqZ9o3ILMPhoy73HzaTanCd_ZjI9tLlL2W2z-k4wr0t2HBz788EgTznkBx0OITzgZq738nfaj8yaMUElgVUmxrCvrqHHVR85DajtsDp7iY-gMcsLJCEmx_x11Z8eWL3MGo9bPsn2Zb5jf3g6cNRekmZIpPWMXSUEyhMgUT8-eLsoU1ZwnJeWcoYIvMaIpz8uiLjCveZmfiQuMcJpgnKKEYDSdLEmCkwbTmpGMJzwFKWIdFXISbsG0ac_C4fZFghOE0ZmkSyZtuKjHOF4wYJBdnZmLYNRyaC1IkRTW2Z0EJ5wMl_s-6sOV8q_fjccTdWahUC8_U8c7i1duK84GIy9-_Vx_tP75Av8rAAD__0kp6Cs">