<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/119525>119525</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] --affine-loop-fusion crashes in IR/AffineOps.cpp
</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: 953838dceaf
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt --affine-loop-fusion a.mlir`
a.mlir:
```
#map = affine_map<(d0) -> (d0)>
#map1 = affine_map<(d0) -> (d0 + 1)>
module {
func.func @func4(%arg0: memref<1x8x26xi32, strided<[?, ?, ?], offset: ?>>, %arg1: memref<1x8x26xi32, strided<[?, ?, ?], offset: ?>>, %arg2: memref<1x8x26xi32, strided<[?, ?, ?], offset: ?>>) {
%alloc_14 = memref.alloc() : memref<1x8x26xi32>
%alloc_15 = memref.alloc() : memref<1x26xi32>
affine.for %arg3 = 0 to 1 {
affine.for %arg4 = 0 to 8 {
affine.for %arg5 = 0 to 26 {
affine.for %arg6 = #map(%arg3) to #map1(%arg3) {
affine.for %arg7 = #map(%arg4) to #map1(%arg4) {
affine.for %arg8 = #map(%arg5) to #map1(%arg5) {
%61 = affine.load %alloc_14[%arg6, %arg7, %arg8] : memref<1x8x26xi32>
%62 = affine.load %alloc_15[%arg6, %arg8] : memref<1x26xi32>
%63 = llvm.intr.smin(%61, %62) : (i32, i32) -> i32
affine.store %63, %alloc_15[%arg6, %arg8] : memref<1x26xi32>
}
}
}
}
}
}
affine.for %arg3 = 0 to 26 {
%61 = affine.load %alloc_15[0, %arg3] : memref<1x26xi32>
}
memref.dealloc %alloc_15 : memref<1x26xi32>
memref.dealloc %alloc_14 : memref<1x8x26xi32>
return
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:2404: void mlir::affine::AffineForOp::setLowerBound(ValueRange, AffineMap): Assertion `map.getNumResults() >= 1 && "bound map has at least one result"' 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
#0 0x000055c096253158 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1136158)
#1 0x000055c096250c6e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1133c6e)
#2 0x000055c096253aed SignalHandler(int) Signals.cpp:0:0
#3 0x00007fa03b178420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007fa03a7b500b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007fa03a794859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007fa03a794729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007fa03a794729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007fa03a7a5fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055c0962f380f (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11d680f)
#10 0x000055c0963a3f66 mlir::affine::fuseLoops(mlir::affine::AffineForOp, mlir::affine::AffineForOp, mlir::affine::ComputationSliceState const&, bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1286f66)
#11 0x000055c096379f60 (anonymous namespace)::GreedyFusion::performFusionsIntoDest(unsigned int, unsigned int) LoopFusion.cpp:0:0
#12 0x000055c096377c95 (anonymous namespace)::GreedyFusion::fuseProducerConsumerNodes(unsigned int) LoopFusion.cpp:0:0
#13 0x000055c096377729 void llvm::function_ref<void (mlir::Operation*)>::callback_fn<(anonymous namespace)::LoopFusion::runOnOperation()::$_0>(long, mlir::Operation*) LoopFusion.cpp:0:0
#14 0x000055c09636913e 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+0x124c13e)
#15 0x000055c096374aba (anonymous namespace)::LoopFusion::runOnOperation() LoopFusion.cpp:0:0
#16 0x000055c0996942b6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45772b6)
#17 0x000055c099694be0 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+0x4577be0)
#18 0x000055c0996971b2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x457a1b2)
#19 0x000055c09968fa5a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#20 0x000055c09968f6ad 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 0x000055c09973bb25 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+0x461eb25)
#22 0x000055c099689695 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+0x456c695)
#23 0x000055c09968993f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x456c93f)
#24 0x000055c099689c6e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x456cc6e)
#25 0x000055c096233c47 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1116c47)
#26 0x00007fa03a796083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#27 0x000055c0962337be _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11167be)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWl9T47oV_zTiRUNGlvz3gYcQSMsMXBjYto8Z2ZaNurbkSjIL_fQdSU4cmwTYezdz285AYktH55zf-SvLoVrzWjB2AaJLEF2d0d48S3Vx3fLmjb6ys1yWbxc1N_CFKc2lAGQJs4ikJC0LRiuAlgAt9Zs2rLVTIEZ_y3thehikCxQuYnj77QnEyNMp1ilZ9gWDP7h5Hujbhqtz2Rl4fk6rigt23kjZnVe9FQfpws7vOAC0HEbsYrS0E-7P3WDS0g4CcgU9p01LO0BWAKclAjiD54Bcw-0dINe7NcGXFkGAL2GwW9rKsm8YBMklQEtY9aJY2A8IQmS_Q4BTgCOqamSVbVmrWAXIKnhNX3H8ygkGeAW1UbxkpRUYXQKytmN7X9GVvZJVpZlxkMnaCifXjsBxD07KHZ-Ee7a1GoROTtPIYhOEzgte2MKNORNm8JgOzg1THtEXecw5eN8vKqkG4MQxQtBIGOxpe4AyHCnTCeUB2mikxfGM-AB57Mh9jO7CiVg4Rg7DwXR8zvIA0-QQ0_AI0_Aw0wNs00NsoyNso2NsnS_j_XxcNJKW-1Fig81bZwzTZLxMQXT1ecTMJeIPJEaHJB4S85kQH1NN89IuuDBqoVsuvEniYOAc422wApwOeea-hkJkr98zH_TWRirmJW0V_WUIQHI1G5uPTO-Hu3FwvPoo12ZZ8VkwWGBohES-AGnUY6gSJXPMZkXkQx5HV4afRJ5iplcCOjZekeHT_-13M21o8R0aRQsGyCGCbeP0wbIuqaEAr_W_3wBe393ePAK8tqF2rljDqGbb207Jf7LCALx2fRSvG54DvL7itPHDS2dpgNeOhb-77_Si6DpAljhEoZX4InkJh04MyNK7x1_7JWup7js_oJm5lT-YupS9KAFO_06bnj1SUTPrOk9-Z6tGZjkvtWbK2OZvdwe0W9TM_Na3j0z3jdG7cn5toyKAAMfABg3GueUO7Q7gmWpIDbSwDZSCQeXWAowBTmBFecPKBUDLh9vr5dM11H3ecgMpzPsaKtZJZWwoPhvTaQsArwFe19w89_mikO1gyPf25Fr3TAO8hlSUkIui6UsGzTODhaL6Gea0-O78aWU_OfeWfdt576KFj_gHJWtFW0hV3bdMGP273Zv3vCntty0y6902y--fDu62XMJigiB6RQihKCpQFuOIBFHqqtbgzTftLx4UF8bh-OaiFKcjkaI_NlIbxWjrPLSCXBjnOOu_X4YG4Ev0GgQkDiIbFgOAYAYAFTE7BOCxF0-8FrT5KxVlw9QuuE6iIyliNuqI50amrIQTbWwD8Dbzw9sMRO7fcyEDl6SiiORBkoYYwc1GMdcKNsoMWHyOv6bxJg7PGy761_Na9H6iM8-K0XKh5QJ5XcMQo1HTcF8GTfIIoRwqyrVtNTvMdcPz4vy2uMHodXeLFySwJnT6A7xeLOzdmy5ZZ_OkF_zVD7w4VURvbx3rRQHIMrJ722BQI5qqkYVplEGaS4fxa2qY0tvBrXISUishGSTEcwkJzmDNzMZrvNGsthm5ebHl66tCuTAWue1bra4L6uVGyJa6dBCcHBK8Ec3GrtqUsqVc_DF5WWKjhoSDwHQqkEZVGX8hUgobI7GLEUKqMh5jJJtGc0VSVJ0mjco4RZUXbDN9WqsIJVUcH2lLVa_ZrZQ28tLPGxdefaG7HSVaybbrDbVd7KnhBXsy1DBYSKHNUA5zKZtT1RqcxlUcj0aa1kOSZJXdQeCUCineWtlrKGjLdOeKeOYR_EUxVr6t--GhH5Blx1QlVeuH9I0w8opZOGkv3BlC6Uv8Ck7vM2iN7lfNKpjVDc90S4os-nndrG8f_NmCWkmh-5ap32Rpu3H6U-qQuTo2Fd1eZ-wf9uneenbjN3ludhJT9x1TzvcAL4fjAjde0Kaxm4BNJfwJw0cgRzWHjtqLe7HHOd1RAhxukHuuThsp6mlUznT5GH04RR9nAWHznV7JDOWNv_5Bm--ArMbJtVQ_qCpvjBUqlVfqmDKrP2jTCc5_0Ob7vSpt2zxRUoVFQNiYVNEsUkKa088C9ys-_dhD8b7ULM5CnMdHnHPffZP33QPVelnSznljkDkxrCUY3HHcUePMUtDmTXN9RwWtrbW3pex93p_AC2GUJDjfK23J3B45Qz9tjwfescY980wCzpLuYMa_3ED7i6yoG6GNcnt-qd5xnRJ4yX5i0P2BKibMjajkts0sT-iDnKHRB-nMB0mQ45nqW2McjMB5iTqNzjTI8ahzNtU5rWhE4dDhlq4S6U-eZ7Qph8eJZ6pYuemMAmQ1rniSvSrYXW2L4KTzj8AtqpUUhr2adw6_a7i678wd5WIlRcXrPR4Z3Jt9XyQwmoOL6X7_upU1L2jjH6iP1-BjCwBOd9h7wf_Vs3fY71gr1dtlX1U-AXb0Jato35hNyRpm2PE1u1Po4x441lYPmvCrvjw5nlG74cDlkdVcG_X2Pjg-CoCjjf-_wjOfhOdkO5olJM9xtAdcdw03S1E-KFkwrbe6_ilB9z-YEh9S7M89GcVF_ciqo8OnKcVxwHIc7UoxxrNqlcVZdDgP_t-y-DSdLi7ibM-8ZG7ejFRHzTtsTIpn6rcgy58Nmc9sczLMGRlPBXA4x1zE7Jdg_pPA7U4OLbjpgwcmpAgTOBwRneDAJYiLMBmlzw_JYpQSuNk0PC822lBlNj9zWlXofnss6C_dpOPjzq1IiO3nIDuZI09yBr3UU2FP8q3l99--nJUXpMxIRs_YRZAQkqE4RPjs-SLNEhQmBSExwiQNSUEYTYOyYBgXSZXkZ_wCIxwGOAhQGiKEF3FZpTlK05xW7uQPhIi1lDcL95pQqvrMvVa4CIIswtFZQ3PWaPdrDYz9CxwMoqszdeFw5X2tQYgaro0eORhuGvcLD7cgujr8Uwv3koJpyAV8_-bnrFfNxe9_IzJo_3KB_xMAAP__eiI_3w">