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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] `-eliminate-empty-tensors` triggers Assertion `!returnOps.empty() && "expected at least one ReturnOp"' failed.
        </td>
    </tr>

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

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

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

<pre>
    Test on commit: [6003c30](https://github.com/llvm/llvm-project/commit/6003c3055a4630be31cc3d459cdbb88248a007b9). 

steps to reproduce:

 ```
mlir-opt test.mlir -eliminate-empty-tensors
```

test case:

```
module {
  func.func @main() {
    spirv.Return
  }
}
```

crash trace:

```
mlir-opt: /home/projects/project/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp:137: LogicalResult (anonymous namespace)::aliasingFuncOpBBArgsAnalysis(FuncOp, OneShotAnalysisState &, FuncAnalysisState &): Assertion `!returnOps.empty() && "expected at least one ReturnOp"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/projects/project/llvm-project/build/bin/mlir-opt ./test.mlir -eliminate-empty-tensors
 #0 0x00005fdb67354ead llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/projects/project/llvm-project/llvm/lib/Support/Unix/Signals.inc:804:11
 #1 0x00005fdb6735539b PrintStackTraceSignalHandler(void*) /home/projects/project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:1
 #2 0x00005fdb67353406 llvm::sys::RunSignalHandlers() /home/projects/project/llvm-project/llvm/lib/Support/Signals.cpp:105:5
 #3 0x00005fdb67355b7d SignalHandler(int, siginfo_t*, void*) /home/projects/project/llvm-project/llvm/lib/Support/Unix/Signals.inc:418:7
 #4 0x0000791674580520 (/usr/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #5 0x00007916745d49fc pthread_kill (/usr/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #6 0x0000791674580476 gsignal (/usr/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #7 0x00007916745667f3 abort (/usr/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #8 0x000079167456671b (/usr/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #9 0x0000791674577e96 (/usr/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#10 0x00005fdb67e2f2fe (anonymous namespace)::aliasingFuncOpBBArgsAnalysis(mlir::func::FuncOp, mlir::bufferization::OneShotAnalysisState&, mlir::bufferization::func_ext::FuncAnalysisState&) /home/projects/project/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp:140:37
#11 0x00005fdb67e2ea35 mlir::bufferization::analyzeModuleOp(mlir::ModuleOp, mlir::bufferization::OneShotAnalysisState&, mlir::bufferization::BufferizationStatistics*) /home/projects/project/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp:472:16
#12 0x00005fdb67e0102c mlir::bufferization::eliminateEmptyTensors(mlir::RewriterBase&, mlir::Operation*) /home/projects/project/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/EmptyTensorElimination.cpp:213:16
#13 0x00005fdb67e01586 (anonymous namespace)::EmptyTensorElimination::runOnOperation() /home/projects/project/llvm-project/mlir/lib/Dialect/Bufferization/Transforms/EmptyTensorElimination.cpp:227:14
#14 0x00005fdb6c9fa3cb mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_1::operator()() const /home/projects/project/llvm-project/mlir/lib/Pass/Pass.cpp:0:17
#15 0x00005fdb6c9fa365 void llvm::function_ref<void ()>::callback_fn<mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_1>(long) /home/projects/project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:5
#16 0x00005fdb6737b209 llvm::function_ref<void ()>::operator()() const /home/projects/project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:5
#17 0x00005fdb6c9fdfc5 void mlir::MLIRContext::executeAction<mlir::PassExecutionAction, mlir::Pass&>(llvm::function_ref<void ()>, llvm::ArrayRef<mlir::IRUnit>, mlir::Pass&) /home/projects/project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:289:3
#18 0x00005fdb6c9f5c3a mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) /home/projects/project/llvm-project/mlir/lib/Pass/Pass.cpp:532:17
#19 0x00005fdb6c9f61c4 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) /home/projects/project/llvm-project/mlir/lib/Pass/Pass.cpp:592:16
#20 0x00005fdb6c9f7c28 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) /home/projects/project/llvm-project/mlir/lib/Pass/Pass.cpp:905:10
#21 0x00005fdb6c9f7b52 mlir::PassManager::run(mlir::Operation*) /home/projects/project/llvm-project/mlir/lib/Pass/Pass.cpp:885:60
#22 0x00005fdb6c9e8baa performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:474:17
#23 0x00005fdb6c9e876c processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPoolInterface*) /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:542:12
#24 0x00005fdb6c9e851c mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0::operator()(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:625:12
#25 0x00005fdb6c9e84b6 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&) /home/projects/project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
#26 0x00005fdb6cb786a2 llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::operator()(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const /home/projects/project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
#27 0x00005fdb6cb77c8c 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) /home/projects/project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:27:12
#28 0x00005fdb6c9e4928 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:628:10
#29 0x00005fdb6c9e4ce9 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:669:14
#30 0x00005fdb6c9e4eb8 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) /home/projects/project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:685:10
#31 0x00005fdb672c5a0c main /home/projects/project/llvm-project/mlir/tools/mlir-opt/mlir-opt.cpp:331:33
#32 0x0000791674567d90 (/usr/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#33 0x0000791674567e40 __libc_start_main (/usr/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#34 0x00005fdb672c5605 _start (/home/projects/project/llvm-project/build/bin/mlir-opt+0x29fe605)
Aborted (core dumped)
```


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkWttS47rSfhpxoyIlSz5ecGEOqZ8qKChgrlOyLCf6x5G8JXkWrKffJVuJHUMYCAxr1uypqSTo0N3f161WyxY1Riwl5ycgOgXR-RFt7Urpkyu6LpTG4VGhyqeTB24sVBIytV4LC0gOQXQaI0QYQSA6BzhdWdsYQHKA5wDPl8Ku2mLG1BrgeV3_2HwdN1r9P2cW4LkXhedeTBTRMCao4CRgjJRhlLGyKNIUhylFKCkygLMZBCgHKDeWNwZaBTVvtCpbxp3mrguCGPn_KF_XQh-rxkLLjZ25v-Axr8VaSGr5MV839unYcmmUNm72aCZAuZsDGTWD7B3RqmxrDkFy6pTCqpVs5j4gCNGaCglwCnC27YfQNEL_mN1x22rZNYHk3MnsP3dVM03NClpN2R7lHlfnCDxfqTUHeO65NcPP56y7ma5VFADPzwWt--bTtqq4Fn9TK5QEeP6gqTSV0msn7Eby-5Wy1x3izUg-Y00DSB6QxFlxpZaC0fqOm7a2EOCUSiWf1qo1UNI1N42DgjOHhuS0FtQIuZy3kt00p6e5Xppc0vrJCANw2jcDfAa95k3fvaWWQ4Bj1-dGvdDhVMDcGK4dlC4acKA71m8aM-t8vvGNGx9DgDF_bDizvITUwprTLtY5vPOzAMYAJ7CioublDKD89uoiv7-Api3WwkIKi3bpIlFp62Ly3StBGNNyRzSksoRCsrotObQrDvs4KCj73sWC031vKfsOy3bd9JGBZrD7d6vVUtM1pHrZrrm05v2xUbSiLt23i975du3MAJ6_af1AgAmC6BEhhKKqLOKERCGnJexgd543T6b_cauFtB2Why7KcToM0vSvhTJWc7r2vhbS9g57D5wN2V2o37eN8w_A829SPLoGsZS0NjMhGSB5ikIXy4FHEUxQRCQr4MTkXsD_UVnWXAOc_lCiBDj_xXamyNnpzcQTM0mI4pfIvmvljrVmuwA-wc6NgT4doAiQPPIGkimPRVLCKXGdc8-gEUshK7WwHYln8Ev4DIMUkDzx5obe3CQL4iSMUhRhBDuu5q0Z0uZjGi_i8LgWsn08Xsq272Azo2YxwKfoMcQRRi4V9WKjXbFlmFUMNnalOS0X30VdH6Iji7OKDTriqelhEsOl6cAeBiFM4kF8sis-jpOKQFq4jHeAcJwmFRmEp8-EB8WBYoNiEJvtik0SnsWHiCUZzzwVLjXsZjiOK1zxD2543abcDXQVRP9r2ASH3mJnl-6aXtohfdJ8dZ5TtOCPdlD2XMR7F97n1xahy3Yk8cwHE-Y5JdHrKKnD9DfvpTs2R1QPjb-I4h3cbpYwVjBzUE77dGrDBDuCY0_t7k7CUYAwex3dtgy4cFXAgy8CxgTf8b-0sFyfuhJ6ytdNw7W3-ovoGNl54W0XSno6cEDGdJApHVEa_2yNvyzfVzStvJEjyAfsvp8PGSfdEvOQwzFkllWUsGLkr5JbKuqN7x7UTXNLjclL2liltyB3_O8G-L18n9_HPZv1dU0lXbrC4AwWStXuu5XdEbX0dWA_HuBwEfQ_VSdU6Z5YTy9T0tiPkNzb3315yrraa5ONomeExVFXtIwqMJdlHdiF5hUgZ12vN5Jc9EMYrWtX4C8qCcjZv4DwC1erK7k8uDDzB5yhIT9_cIXZw9Xc00Xri0erqZmtXKaKfUHpSI93C8qkwCh7H9-fFiuHoYmzEZpkEkJlxXwIjbapq8u7MyXtdq_mj5y1luesTy9nu_6_6HqFkr5_x-N9gMTeh29kDZ-NCM61pk933bBB7OXdNymsH_tc26GpbmDWN1zeATwf8dERilPHKPGMphNGI0bob5rFPjc1RQSPk1M24SEOWPhuHm5Fw2sh-Q4f_dAtvFe39YOImYbQpTRWd4803KLNXxsw2nE3tt9SzaW9lJXqF_nHy40XuM_GtRRGE-4ThtOJyRsStkxTY7iZ8PxmJj8ZTtYd4QPk4QRTOEWEfwLnFSCfbGuaOlvjja1411aeFpTChmtXEPUJ0fzkSZOxpX94sqKal4vGakDOhhn3qtWMXy81IBebiJqsgXHGnvruuhb6prHXVMgzJSuxHMn4EDUPStVm9NTOZcpB17boD0dJApMpW0nMYKMV48b0deVbyWql-E_Ln5F1zddKP21EjcaXvKJtbRclr7nl--e4Tfvi7QyOx_kS-Y4vhbH6yfcPeh66xy-3StWX0nJddaX8RwP0TV6Iwi5dYO-FcOqFKGAv4_0NvfEyy2-M96GsRHtqs6-DtJ_YTzhJvCksYhyNwyKahkVYjJ_t7r5v2VvL7Zvwu3D702PQ_0r4D6eqr0TyWtR_2dluG_I7hztWJGlM8R8Q2n9QVvvAmXfr5WTi5YSl4_3ONLWwuSxvJ3XIP0HavzDiXh0x7ru3WsilO8rva_5QJTS8d3Ob3zcramEF35Tt_aPHTURMDu08zHYOTH_wFvAFRUU6PstlU6YZz_Yy7U_jbEX7c3f-3gD6GU1fAL9PPf4ZN0FT-LzYH2jvgf-P40zHR_bJ9QXMIooYXFMhDzPEPjdh89PrJyToPr1-PHmhm5TZQe_RcVZmaPvmdXubYCuWhwguFm7Owliq7cJjPEARD0eKwil_MYpgr8JL__CtGq-24jGKesV5obTl3ZNXpjTvrvjw0hu1ez3sqDwhZUYyesRPgiTEYZQFKTlanSRVhlBEw4yVJaUhq9KMZykJEeUEJSQ-EicY4QgRjFCKY4xnVRAXJAgoSkucUlaAEPE1FfXMoZgpvTzqbiedBAQHMT6qacFr010VxLgPDwyi8yN90qEu2qUBIaqFsWaQYIWtu-uF11eXdyA6hyBGe68RxQhaLZZLrs0vvcZ11Or65PCrWp6PHyf4vwEAAP__-E78nQ">