<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/71147>71147</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [mlir][affine] --affine-data-copy-generate crashed with assertion failure "Using `getMemorySpaceInteger` with non-Integer attribute"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          anonymousMCS
      </td>
    </tr>
</table>

<pre>
    git version: a1358225c5b791fa9d901e74fb09606189c0e6af

system: ```Ubuntu 20.04.6 LTS (Focal Fossa)```

reproduced with: ```mlir-opt --affine-data-copy-generate a.mlir```

a.mlir:
```
func.func @func1() {
  %c1647415306_i32 = arith.constant 1647415306 : i32
 %alloc_16 = memref.alloc() : memref<2x9xi32, #spirv.storage_class<StorageBuffer>>
  affine.store %c1647415306_i32, %alloc_16[16, 20] : memref<2x9xi32, #spirv.storage_class<StorageBuffer>>
 return
}
```

trace:
```
mlir-opt: /data/bin/llvm-project/mlir/lib/IR/BuiltinTypes.cpp:514: unsigned int mlir::detail::getMemorySpaceAsInt(mlir::Attribute): Assertion `llvm::isa<IntegerAttr>(memorySpace) && "Using `getMemorySpaceInteger` with non-Integer attribute"' 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/bin/llvm-project/build/bin/mlir-opt --affine-data-copy-generate a.mlir
 #0 0x0000562d5db598bf llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/bin/llvm-project/build/bin/mlir-opt+0x15db8bf)
 #1 0x0000562d5db56954 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fe63721d420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x00007fe636d0800b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #4 0x00007fe636ce7859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #5 0x00007fe636ce7729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #6 0x00007fe636cf8fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #7 0x0000562d60869688 mlir::MemRefType::getMemorySpaceAsInt() const (/data/bin/llvm-project/build/bin/mlir-opt+0x42eb688)
 #8 0x0000562d5dce3bc9 mlir::affine::affineDataCopyGenerate(llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Operation, true, false, void, false>, false, false>, llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Operation, true, false, void, false>, false, false>, mlir::affine::AffineCopyOptions const&, std::optional<mlir::Value>, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>&)::'lambda'(mlir::Operation*)::operator()(mlir::Operation*) const LoopUtils.cpp:0:0
 #9 0x0000562d5dce6cc9 mlir::affine::affineDataCopyGenerate(llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Operation, true, false, void, false>, false, false>, llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Operation, true, false, void, false>, false, false>, mlir::affine::AffineCopyOptions const&, std::optional<mlir::Value>, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>&) (/data/bin/llvm-project/build/bin/mlir-opt+0x1768cc9)
#10 0x0000562d5dc6fcad (anonymous namespace)::AffineDataCopyGeneration::runOnBlock(mlir::Block*, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>&) AffineDataCopyGeneration.cpp:0:0
#11 0x0000562d5dc706b3 (anonymous namespace)::AffineDataCopyGeneration::runOnOperation() AffineDataCopyGeneration.cpp:0:0
#12 0x0000562d606d50ce mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/bin/llvm-project/build/bin/mlir-opt+0x41570ce)
#13 0x0000562d606d55aa mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/bin/llvm-project/build/bin/mlir-opt+0x41575aa)
#14 0x0000562d606d5fac mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::'lambda'(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&)::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#15 0x0000562d606d4705 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/bin/llvm-project/build/bin/mlir-opt+0x4156705)
#16 0x0000562d606d4e6a mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/bin/llvm-project/build/bin/mlir-opt+0x4156e6a)
#17 0x0000562d606d55aa mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/bin/llvm-project/build/bin/mlir-opt+0x41575aa)
#18 0x0000562d606d5dd4 mlir::PassManager::run(mlir::Operation*) (/data/bin/llvm-project/build/bin/mlir-opt+0x4157dd4)
#19 0x0000562d606c6b5b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#20 0x0000562d606c8014 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPool*) MlirOptMain.cpp:0:0
#21 0x0000562d606c81c4 mlir::LogicalResult llvm::function_ref<mlir::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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#22 0x0000562d607c7124 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (/data/bin/llvm-project/build/bin/mlir-opt+0x4249124)
#23 0x0000562d606c0c77 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/bin/llvm-project/build/bin/mlir-opt+0x4142c77)
#24 0x0000562d606c8311 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/bin/llvm-project/build/bin/mlir-opt+0x414a311)
#25 0x0000562d606c8776 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/bin/llvm-project/build/bin/mlir-opt+0x414a776)
#26 0x0000562d5da90e3b main (/data/bin/llvm-project/build/bin/mlir-opt+0x1512e3b)
#27 0x00007fe636ce9083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#28 0x0000562d5db29f8e _start (/data/bin/llvm-project/build/bin/mlir-opt+0x15abf8e)
Aborted (core dumped)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl9z4ygS_zTkhYoLIQlJD3lwnPFdqiaVVDJ7ry6EkMwNAh2g2fjbXyHJtqRxvMkmOzd7NVMZW4am6f71HxoQtVZUivMrEF-D-OaCtm6rzRVVWu1q3dq71dNFrovdVSUc_MaNFVqBcAlpEMYpxjGL8yQLSpoVGQp4EpU5yggiQZoxxAktAboBaNl_2p11vPajAUH93295q1wLMVqgaEHg5y9PEOB0rRmVcK2tpQBnB-IxL8Mbo4uW8QL-Ltx2wrSWwlzqxsHLS1qWQvHLgjp6yXSzu6y44oY6DunCk53kPXSFw88ZTdkqtvAfEETIfwcApwBnECTXPQWEAMcsIFESBXGIyEaEGILwBlIj3HbBtLKOKgePFNDLL0I8jAc4plJqtglIN67mteHlomvbTxYuh2YQrvBz9uxH4xUEOLSNMN8W1mlDK75hkloLwtVT__u6LUtuQPjJ_w3S9iB1I_gJ0Xu2B4lAfB0Q34YRiG8-UhDDXWvUAHpycxL9_tMZyvhLBtqbv_MJvPa2B3idCwXwWspv9WVj9L85cwCvOzvjtRQ5wOvbR4DX162QTqgvu4bbBWsaEC7jIPKsWtVFSgGFcnDvIOGy4I4K2T9X3N3xWpvdU0MZX9pb5QBOj7RL54zIW8e9V4dLuLSWGye08r7rRevJhKUgXN0qxytu_BgPEU7rI-vOAzABmECA8W9WqMqzmM4_MAAEdSEClVaXQxukR0kwwAksqZC8WPQAPnz-tHz6BG2b18JBCvO2goY32jjoNNw611gvKF4DvK6E27b5gul6QPd7kIW1LbcAryFVHj0m24JDt-WQGWq3MKfsa2fQYfonR9lXWLR1c7AwWsDu34PRlaE1pKZqa66cfYWN81bI4tD5ltywD8YQQfSMEEIxwUVc5HGW5iU82svubP_wYIRynfhfOgfF6ZHI0N832jrDad1ZbuX9qLdj-qc0APgaPQdxkad56f3pIG0wk5ZkcQSfRKWo_CdVheQG4HSYvG_eezrq_h8Y4YFRUnISJjgoIozgZmN4lyk2xg2y9-HznJINiS6lUO3zZaXavqNxW8NpsbB6gXqJowijibzheBpSoBShHBoqLH8Ff-Y5k45zFCKUTzhHE86MJ2mcQZrrV0k-4oxxGmcTzvGcc3Kw5Kt5JnjKk0x5lmlZkLfxDMOyIBOeycgXCEpJRtJ0lLzueP3IS5_sziUw7yjdovU-X40wz0maTuRLJ77KeJizbCRfH6Lj5xvq6Eo3u38MsTqJMSGFdRvhfI82IFzNu8bJWumCb3Tj069flo6T3jd-vK9z8Ao603L_XVJpu4dvWhTHBp-YR53jxp9UrNPgLrtnD-x9P3Vv8CFTWVf0ZL1cVE4E-xeV7fdK33Bl-RN3L-mwPEF-R5tbVeqzQzpF-6oBk34d7RajRNI6LyjAyWTJnQ7P9moMpuh8-xz94PeftW5-c-KlRJnNvJiwX178y4vf4sXvrAISkjJ2XE18ETCtWRgpGS38LIedHVS05naoJsf4zZyz3_D5CqZV9-paavZ1EjFDyykkfgRwL8n8faR6VKa1EUsQycMPQGUkZfp2ofBkkSZFjBh_YYdx33zR980DtXZZ0KaLw0GIiU08wQDYy1CO9iWKyp0V9o4q6ncMeAVzraX_Hu963u2nURAnqEf2oHw4Vz6m9M3KP4iGS58Gpqnckx50Ih-OxniQn-pWWWe6fYlfWpbnCEYOtJf9gRqunA-AfdZafgjgMaUTwKM54CVlbwZ85PJLu1Pstm4kwGmP0x-tyR83xX3zcNeljFEpcGZx_6smHqoEz-x0hMczzKMExR-M-bsdhSQonjgKmQvNydsj82-Slggn0yhJfqWlH5uW0jngRRHN5NxrftK35oX7uwUsimgiYDYVkJE8zmHDTalNvWR9pXv-wOdQgNotNbzYNG5aRj_p1jB-VxkQfppUrqMN--fbx5VWjj-770x5J4W5b9wdFWqlVSmqEY8MjnpP5iiMZvqlKIhgYzTj1g6Hta9Ur1XiPy3_Tr3-ZGHPakRf8JK20m8gJHf85TFD2fdancd0N4JKztwjr4R1Zjf0H-f50p1SPXTxtHwVXMEcroCN_fWzrgSj8pHbVrrRRGWrOl_Z9AfmLw0AOP1xcL5s1Kwj8j2MSplT9nVTqonYI5x-Qvc4bfZXhszJKuansQpOpVbVjwX2jEh_HDDTXU7CkgCPA8Y2UrilKh5mGed_od3fMEjPUhwrhY8pFnGUBXiyOuLZNo4hliSnA-3_LU28t9KIMEuSCZbRfGkJg-BFLIeSj21pX9zNDlaenBGqeuTlmebzQLxfQRoGwUTBeK5gkpAPUfAv1yRJyEQTMjlPohniYQ5rKtR7r_UCzMN8MlUyu3LKUBrCzUaKnG2so8ZtRvO-9hIqQmk4mWV6IZPjrEw57Pm_VyWal-nx7GeZa-N4dyTJtOHdfS8vjrLs7_QviquwyMKMXvCrgGRplgUowRfbK1IUYUbCKIpSijBOcxwzVoRRnJc5JXF6Ia4wwmEQoBDFcRLjRYTzmJYMRxwRmhEOIsRrKuTCa7HQprrorqqvkiCIkgtJcy5t914Mxv2LAhjENxfmqlM6bysLIiSFdfbIwAknu3dpugHxDYivhwPq-ObslXN3FT68zALp4b2AkgrZdm9lvPeW_6I18urP3913mPw3AAD__444HB0">