<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/122210>122210</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[Mlir] --affine-data-copy-generate="generate-dma=false" crashes in AffineDataCopyGeneration.cpp:187: void (anonymous namespace)::AffineDataCopyGeneration::runOnBlock
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir:affine,
crash
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Emilyaxe
</td>
</tr>
</table>
<pre>
git version: e4372c4454c9
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt a.mlir --affine-data-copy-generate="generate-dma=false"`
a.mlir:
```
#map = affine_map<(d0) -> (d0)>
module {
memref.global "private" constant @__constant_1x1x29xf32_0 : memref<1x1x29xf32> = dense<1.000000e+00> {alignment = 64 : i64}
memref.global "private" constant @__constant_1x1x29xf32 : memref<1x1x29xf32> = dense<0.000000e+00> {alignment = 64 : i64}
func.func private @entry(%arg0: index) {
%c1 = arith.constant 1 : index
%c0 = arith.constant 0 : index
%true = arith.constant true
%true_0 = index.bool.constant true
%0 = llvm.mlir.constant(1.000000e+00 : f32) : f32
%1 = llvm.mlir.constant(0.000000e+00 : f32) : f32
%2 = memref.get_global @__constant_1x1x29xf32 : memref<1x1x29xf32>
%3 = memref.get_global @__constant_1x1x29xf32_0 : memref<1x1x29xf32>
%base_buffer, %offset, %sizes:3, %strides:3 = memref.extract_strided_metadata %2 : memref<1x1x29xf32> -> memref<f32>, index, index, index, index, index, index, index
%reinterpret_cast = memref.reinterpret_cast %base_buffer to offset: [0], sizes: [29], strides: [1] : memref<f32> to memref<29xf32, strided<[1]>>
%alloc = memref.alloc() {alignment = 64 : i64} : memref<1x1x1xf32>
%alloc_1 = memref.alloc() {alignment = 64 : i64} : memref<f32>
affine.store %1, %alloc_1[] : memref<f32>
%base_buffer_2, %offset_3, %sizes_4:3, %strides_5:3 = memref.extract_strided_metadata %2 : memref<1x1x29xf32> -> memref<f32>, index, index, index, index, index, index, index
%reinterpret_cast_6 = memref.reinterpret_cast %base_buffer_2 to offset: [0], sizes: [29], strides: [1] : memref<f32> to memref<29xf32, strided<[1]>>
affine.for %arg1 = 0 to 29 {
%4 = affine.apply #map(%arg1)
%alloc_7 = memref.alloc() : memref<1xf32>
%5 = affine.load %reinterpret_cast_6[%arg1] : memref<29xf32, strided<[1]>>
affine.store %5, %alloc_7[0] : memref<1xf32>
%6 = affine.load %alloc_7[0] : memref<1xf32>
%7 = affine.load %reinterpret_cast[%arg1] : memref<29xf32, strided<[1]>>
%8 = affine.load %alloc_1[] : memref<f32>
%9 = llvm.fmul %6, %7 : f32
%10 = llvm.fadd %8, %9 : f32
affine.store %10, %alloc_1[] : memref<f32>
}
return
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/Affine/Transforms/AffineDataCopyGeneration.cpp:187: void (anonymous namespace)::AffineDataCopyGeneration::runOnBlock(Block *, DenseSet<Operation *> &): Assertion `copyNests.count(&*it) == 0 && "all copy nests generated should have been skipped above"' 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-data-copy-generate=generate-dma=false
#0 0x000055dd67642ce8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11f2ce8)
#1 0x000055dd676407fe llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11f07fe)
#2 0x000055dd6764367d SignalHandler(int) Signals.cpp:0:0
#3 0x00007f2645c52420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f264528f00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f264526e859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f264526e729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f264526e729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f264527ffd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055dd677585c7 (anonymous namespace)::AffineDataCopyGeneration::runOnBlock(mlir::Block*, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>&) AffineDataCopyGeneration.cpp:0:0
#10 0x000055dd67754ff9 (anonymous namespace)::AffineDataCopyGeneration::runOnOperation() AffineDataCopyGeneration.cpp:0:0
#11 0x000055dd6a59d496 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414d496)
#12 0x000055dd6a59ddc0 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+0x414ddc0)
#13 0x000055dd6a5a331e auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const Pass.cpp:0:0
#14 0x000055dd6a59f73b mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414f73b)
#15 0x000055dd6a59d5ef mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414d5ef)
#16 0x000055dd6a59ddc0 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+0x414ddc0)
#17 0x000055dd6a5a06c2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41506c2)
#18 0x000055dd6a598aea performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#19 0x000055dd6a59873d 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
#20 0x000055dd6a63f785 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+0x41ef785)
#21 0x000055dd6a592755 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+0x4142755)
#22 0x000055dd6a5929ff mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41429ff)
#23 0x000055dd6a592d2e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4142d2e)
#24 0x000055dd67621a67 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11d1a67)
#25 0x00007f2645270083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#26 0x000055dd676215de _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11d15de)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWltz4ygW_jXkhYoLo_tDHpw42e2qznaq0_uswgLZbCPQAsrY8-u3ANmSHbuT9MTdOzM9NR2L27l-nHOQIMbwpWTsCiTXIJlfkM6ulL66bbjYkDW7WCi6uVpyC5-YNlxJEM0gi6MMV3GcxFUB0AygmdkYyxo3BlL070UnbQen-QTFkxR-_PIIUhTmadZqRbuKwd-4XfXzG8H1pWotJBP3CC8vSV1zyS4pseSyUu3mcskk08QyEM0BxtvWJW0IiOY1EYYBjHdcAh1PHc1cr__fN3DUkBaCaA4Dj7IhLYhuAM4pAriAlyC6hdsWiG4BmjWKdoJBkF0DNIOwYY1m9WQp1IIICDBuNX9yomEMKyWNJdJCEKOy3LbK6Xq6xsW6jnCJoBMr0ADRzTDi-UZzSJk0zI1MkP-PAXyNkB_NrongS9kwxyCawzT2xHgag2z-x2V7rWToeySrO1lN3B_Yi-TEYNLqDcA5wAnRS-SXSMrWzhFbc0MIcFJNg8s0t6vJTpEpHFYMU9GxqejYVKs7dmyy69-fVQaifv1koZQ4NTnME-Kp8RDcTQM433eol8cZ16naP-6oTE9TQa-ngj2VLSSYLbeweLv_B6LRG4l-E_AD2QUxrFx0dc00wDeuR9W1YbZvGP47MyCaRdu21ZyGnrE8bG01qWwZhmnZMEtcDNla4yS8_a7fjfXC4ZstGr_rYaebZlxaplvNbFkRY8cSPx_bswW0CvaGcMEsuUYgmTsWW4O4PlxsO3dWcd1TkMz3de6VtWro6k2wW0xdLAxrnQnGLiJCqGosu-_wu7d4IQI8N_30GQI8tXL6Hgz2SIcwPzFWaeb3Vg-hnl_IeqfW73ujxHvYLKMxOsv4OT7L5M-J0DJ9A0ZL_H-D0t7XtdIwpJQAJ-SI7aUUr3U8KgMmpG3FBobyYJeRpq4GGK0ImMlOYnTffXsw9OuTMUehCD1ufIfJnv-hcV5riee4T_Zwn_Veelnm9JjMbyWSvUbxd1Eb4CQ_LfEL231LoRjyb910wpuhN182zrMunIwyfk2o55X3cw9z8pFghN4SjZxwfTkFoWa209I3Qmf_96DgNZZUX6ELOgxEs4MJrrjta2-_HfGdi0UA35nfNwDf3X_88BngO6fbpWaCEVdlh2ar1X9YZQG-85U2vhN8AfDdnBMRumdeU4DvvmgiTa10Y3a9c2LJjWo3_whlPFdyUrUtiGbTPHNyPCnu7JgTqeSmUZ2BkjTMtE4HV5TPQDQ7RSmM6k5-ktdCVV8Bzv0vBHjmbD13Reyji1Q3n9p-jR_zZX8a6MOZMUyHoRS5A8i_mLFmUqnOF2F-4ozbsOnnIcb4ztQV3UQI6BZB6VbB7WmFQrNSnaBwRZ4YXDAmofnK25ZRSBbqyZ9gcAZrwgWjE4BmDx9vZ4-30HSLhltI4KJbQs1apa0LaCtrWxdFAb4D-G7J7apbTCrV9C567iluTMecFyCRFHJZiY4yaFcMVpqYFVyQ6qsHiuP96HFDu6YNsEGTgOAHrZaaNJDoZedysflu4Cw6Lqj75bKH0evPgEcPgH5DRgiitSuQk4TSNEtjXLHcb8-ADLMx4eFBc2m9ll_85sD5MEmT30plrGak8V51CTM42_n-3XR1Jfx6Oq2diH2mATiaHiiAspodU-BzJx_5UhLxTyKpYNpss9BZZHRSDDLiAxmjNKNwTxqA895modv0Wxz5f4FK1FPJapzGSZXgGCNYlpr5-Fhq2-sSYss6T8s0vhRcduvLpezCQGtXmhE6MWqCgqxxjNEgabzHA-c1QguoCTcu_u50Xgq-qC4_Vh8wWu-aeBJNnQm9_ADfTSautTGUtW4XdZKvQ8eTF0V2rulJTyoQzZKpi2i9GMm-GCnLk8Lteq_j68SwNNjBr_Iccsch6zmkhxwyXEB3QAsSl4Yt3X4tn4joXq07l9Zp7pJoY5YVCXwT5IJk3jPOjjEupSjdqpKqhnD5x_gVmUNNFPcM832GWV3T9BVIqRxGUo-RKKppOmCk2ENzluRJlb1j_unfRYFo1vf4RDTs6FFKGqbuktPx6fek_SBr9c0lLo321ZFPbPCF7Lvdmi4GoQOTxHVdvINJRiLmb5RoLyySpKBxkcJBecos4WJriC_qU_tAjJlR0lqldxLsecNN6E112ojDyEwSsTHc3BNJluE1xUIp4X476d-h0jOmiXgaO40DaJ098KE9aIXebI8H3jLh67R8bAI3dadm-u4GGi9yrD5IY7WvJpR-RnV_wghQW9kfiGbSut0QXnF6CmfzAa3Q4INo3wckiqYMks6qUMIOSrREEyGYuFP6llQrEN2U5VJ2ZbVehwllKZVuiCi5deZ1Lrp5qzNH22tmNrL60LQC4Dz4oNj59t4HjmBmY2nof2LVj2A64uhPPD9C0xABw9uSczACOC6Rpz_aQw5qN0patra9qX85_Gc4_JfV_1rbzJ-xR32ZIM2CEoAzgPNfzv7xzt7zh2p7Q_vq7uyapyHq_nL7T3N7qLigI3ykZI8PStQ6ixbvHBvOVOY5SYcyLzkstRNW_82OHgmrB3ukv44eP_3okR0cPVBa4QPRt8Y4isB9W55J5sRJNcicH-AmJ4zAlula6WZWOWHMC69hdyHPrIhmtGyti3nDikfV6YrdLzWIbrcuOQDR88p8NCa4_tTae8LljZI1X45oFHA0eiTYFYfKZREdvbX5qJa8IuIzM52wo_66k17zMnzsObUA4Hyneyf5fzv2TPd71ii9ud7dodjNp6wmnbAlZYJZdnrNrnw77QF_I8qPVESIBam-lrXcyzojI73Wl2fXZ5Cu_z71mS258VePDsHxLQA8O-4JJZc_VpNveObb8MR7L_RIGtVZnowUN63gdibpg1YVM2Yr608B3Z9wS3xzxnjs0Woul59dNj3RfaZQzJzDd6EYH75NxVmSHN8Hf7VdfKbs7Aw4mPfw5Swu6vqkefvCpFqRUILM3gqZl2xzNp2LeqgKcXSoM8XsXXT-ScpRzAbl4v0PnnhK0gz2X7bO8LmVOvoD94OvhxlCeQTLUvBFVRpLtC3f8pGtMt32a2Z49IOejv_cFsXYX2ULvNNDzRPKYOB6Lt0TurX8-DLLBb2KaBEV5IJdTbMojYppnMUXq6uqqhYI4TxlUcrItCAkoVUekSyvqhRNiwt-hRFO0BQVCCdZEk8yVKC4wFFe0YxFaQVixBrCxcRf41F6eeHvSlxNMcZTdCHIggnjL8hj3KOR9PdbMMA3AGN_g8K1kvmFvvLqLrqlATES3FgzELbcCn_X3u0HkMy_-7J7uLTBDOTypc9oZ7hWc9FpcfX9N1B6wz5d4f8FAAD__69D4ow">