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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] [memref] -promote-buffers-to-stack crashes 
        </td>
    </tr>

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

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

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

<pre>
    git version: 0f5033053a3d4

system: `Ubuntu 18.04.6 LTS`

reproduce with: `mlir-opt -promote-buffers-to-stack a.mlir`

a.mlir:
``` 
func.func @multi_slot_alloca_only_second() {
  %0 = memref.alloc(): memref<2 x memref<4 x f32>>
  return
}
``` 
stack trace:

``` 
LLVM ERROR: neither the scoping op nor the type class provide data layout information for memref<4xf32>
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 -promote-buffers-to-stack a.mlir
 #0 0x000055f25cc25ff8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d3ff8)
 #1 0x000055f25cc23b0e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d1b0e)
 #2 0x000055f25cc2698d SignalHandler(int) Signals.cpp:0:0
 #3 0x00007fa84a490420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007fa849acd00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #5 0x00007fa849aac859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
 #6 0x000055f25cc45c97 llvm::report_fatal_error(llvm::Twine const&, bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10f3c97)
 #7 0x000055f262802c34 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x6cb0c34)
 #8 0x000055f26280260f mlir::detail::getDefaultTypeSizeInBits(mlir::Type, mlir::DataLayout const&, llvm::ArrayRef<mlir::DataLayoutEntryInterface>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x6cb060f)
 #9 0x000055f262807a18 llvm::TypeSize llvm::function_ref<llvm::TypeSize (mlir::Type)>::callback_fn<mlir::DataLayout::getTypeSizeInBits(mlir::Type) const::$_0>(long, mlir::Type) DataLayoutInterfaces.cpp:0:0
#10 0x000055f262804642 llvm::TypeSize cachedLookup<llvm::TypeSize>(mlir::Type, llvm::DenseMap<mlir::Type, llvm::TypeSize, llvm::DenseMapInfo<mlir::Type, void>, llvm::detail::DenseMapPair<mlir::Type, llvm::TypeSize>>&, llvm::function_ref<llvm::TypeSize (mlir::Type)>) DataLayoutInterfaces.cpp:0:0
#11 0x000055f262802a5c mlir::DataLayout::getTypeSizeInBits(mlir::Type) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x6cb0a5c)
#12 0x000055f25d167ef3 std::_Function_handler<bool (mlir::Value), (anonymous namespace)::PromoteBuffersToStackPass::initialize(mlir::MLIRContext*)::'lambda'(mlir::Value)>::_M_invoke(std::_Any_data const&, mlir::Value&&) BufferOptimizations.cpp:0:0
#13 0x000055f25d16741e (anonymous namespace)::PromoteBuffersToStackPass::runOnOperation() BufferOptimizations.cpp:0:0
#14 0x000055f25fd12e26 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c0e26)
#15 0x000055f25fd13790 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+0x41c1790)
#16 0x000055f25fd18b4e mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#17 0x000055f25fd14e6b mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c2e6b)
#18 0x000055f25fd12f78 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c0f78)
#19 0x000055f25fd13790 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+0x41c1790)
#20 0x000055f25fd15dd2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c3dd2)
#21 0x000055f25fd0e601 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#22 0x000055f25fd0e25b 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
#23 0x000055f25fdbaef5 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+0x4268ef5)
#24 0x000055f25fd09685 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+0x41b7685)
#25 0x000055f25fd0992f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41b792f)
#26 0x000055f25fd09c5e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41b7c5e)
#27 0x000055f25cc06c37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b4c37)
#28 0x00007fa849aae083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#29 0x000055f25cc067be _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b47be)
``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWltP6zoW_jXhxaJynfsDD91ANUggEDDnNXKcldazHTtjO5x2__qRnV6SUPZmn9nVOXORSkl8W9_61sXLGGoMX0mAqyD-EsQ3F7Sza6Wv6AZoyS5KVW2vVtyiN9CGKxmEC4TrGIchjkMaVlGAbwK86L_N1lho3JAgwX8vO2k7NM9mOJol6P71JUjwcLSGVquqY4B-53a9m9UIri9Va9Flq1WjLFyWXV2DNpdWXRpL2VdEZ27QZLFdY7h7db3-g_r3upNs5r5QEOGmE5YXRihbUCEUo4WSYlsYYEpWAckCkqMg_dLPRCggMUZBeIMaaDTUMz-nH-ZA961BeE3Q5vgSoQ2qQxKEt-6zW0mD7bTcIUxvTkPtlbSaMjiqc3Lk_f1vD-j2-fnx2eGQwO0aNLJrQIaplssVUi2Sqm-y2xYQE9QY1Gr1xitAFbUUCbpVnUVc1ko31HIlUa30QJHNTg0v8un-dvFyi0xXNtwiispuhTS0SltkFVpb2xoHmiwDslxxu-7KGVNNQJZCvO1_Ocv-A5gNyJIb04EJyBJRWSEumegq8HCZpmaNSsq-eiZmvfgXz03VNe2BGjwLcP6k1UrTBlG96hqQ1nhvIkunYUCW5ts2IMuH-7vnPQQNAqiB94jKjovK_eYyIMvPe2Nv4YCEGOENxhjHcU1ixkhc1xny2oeLIHQh0j88aS6t1-fVm5pkx0Ga_l4oYzXQJiBJQK4Rl9Z7pfO6X6ZVQL7gzRxXYV17Zz7oMJ_oEJYYTunw3MkXvpJU_I3KSoA2--A5C8x5iWEEk0xgJnlWoRGggGQ75vpmM2Otcx3sfw4LhbuF0ppmEY1yHBGMikKDsUpDoe1OI8HLgCw3WVIk0aXgsttcrmTXd7R2rYFWM6NmuEccRQSP8EZDMTllFcYl0pQbQAPlV4KX7PKe3RG8ObySWTh3XHotArKczdzb1lTQuvDpJN_0DW8ejezcq196xoJwEc-DcDE_IonHSCjL4hzRUnlNP4fEVj0bfpYXkjkh6VFIMjZPFLM8HXhRnzaKmloqCtBa6VEMvP7OJSCmpLG7GCiVEmfzrjpkeTqyVjqAn5AMExZG55CdsBKzMBrJzqayE1yj_QYXLiqwlIv-eQX2BmraCfu6beGFf4M7-YVbF4rHCa7LUXhsuaGW3vepf8jxkf-F1nT77LeAU7NupdXbO2lB136juj2TZRw7Ca5H7OQTdlI6H6bYPQ-DJrfzu62t6Pe0E2NP0JX7zdu9MyqE24qKWn5Ax8EWPzRCvuPbNwUkKrAnLxNKrsYm2o8_SjnwfSKPubSNJ8RESUROEcMoW0N1r9TXrj1JRw_pvf8cR96ANPBA2xEf74cdFjw5-U7W6uQCb4pXHsNw1tDr9ys8UTf1cxD6Umzq53_cNX7KNPNpRNOYnQzHn_akc0Udjdkh6pwGo922micp1CEytuohFcs9j-vd1hteu4Q9Zu83KjpPH7l2HVQquW1UZ5CkDZjW10H5vj7yBdeXvt56Vb5UeqJmV3pwyS2nwrvWQIBT_FpJCxsbkMVhsYCkgjZlRQOSnga0D_XioeDyTX11yx6VW8ht4avlYa58t0riPznqMT-2ljf8my-pP3CKcEppNId_kxfdyUf52IL2cnf12KcBRUNAdTUnQJIP9p3H9lU9tk7woqKtVfogf0SwR-YsMeRrgG_Ss5BUbA03D1TSlavf9tv-NeqkP6dWZ6yFoznD4G14pCSeUBKmOf5pSp54C4LLsa_2Qw-aJr-co-EkJ-pOGqv9-cjVWovvDegl9x077E9Ug7QuZe-jYHE-M8zTHI_MkEzMkJUR_LQZBpGxMFvJ7ppWBCTbFZajLdk9Kj_Y16U-Z2XnkPfYPj34fbDPHX1Kd4udjtB0wkMESfmLeTiTSQkk5cik2TTZ1Gn2P5Zs6jQbUZL_P9n8BZINwRMzxFVFJuj3fJz0wzGd54IdVhUZwZ6PYWNI8By1oGulm4UvzswP_sx0qHjMmmqoitbqUU38ojrN4GGlg_D2g1poWoGN-gR3VcgD5fJayZqvBmvkaNB7MvcRMtWPxOWgkr9XK86oeAbTCfuZCn88YVjwdZL_s4N36j9Ao_S2r6ZGdFX9CbyoQICFj-fsjiDD88fUCD8-dQ54-qw5z67P4CTDqQBmn2HFjdXb9_7xPR_48FT8l7DMjz00HHtoSaGOB7qbVnC7kNWTVgyM2cP9U_zuPzAqvjti2PdiNZerZ6g_bD5PTiZJBnU8ysmTExXOkyw-HQ3_bbF8nl2vTJNszHA8ZTgn9YcM70oVtqZ9UbL4Wcf5ET1nUzsn9UjtZKo2i-GXqP0n6cdiGOmXjm8PcMLCFDWUy_P8_b-MWJiOAGSTOxLAWYiKQvCSFcZSbYsdmk_dlzDT7a9t-kff6dfxlydhRNz3UXw-1T8tAfWCz8VAWg5McLhrvqiuwioPc3oBV_OUxFmc5-n8Yn2V1zGhLtzSOMmhInFcQRJDVgOUEBJ8wa8IJhHOcY7jkMTz2ZzlSVRDTFgJrAIIIgwN5WLmcM6UXl34C-GrOU4znFwIWoIw_v8SCPFuSUgQ31zoK69X2a1MEGHBjTXHFSy3wv8vg58Q3yD32F9mxzffucf1F85g0EWnxdUfv8jeQX-7Iv8KAAD__4xJRos">