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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]`-test-extract-fixed-outer-loops` triggers Assertion Failure `!empty()'
        </td>
    </tr>

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

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

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

<pre>
    Test on commit: https://github.com/llvm/lvm-project/commit/47928ab16b675c17826ada16f23aa0569e93a474
steps to reproduce:
```
mlir-opt test.mlir -test-extract-fixed-outer-loops
```
test case:
```
module {
  func.func @main(%lb: index,%ub: index,%step: index) -> () {
    scf.for %i = %lb to %ub step %step {}
    return
  }
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/llvm/include/llvm/ADT/SmallVector.h:309: reference llvm::SmallVectorTemplateCommon<mlir::scf::ForOp>::back() [T = mlir::scf::ForOp]: Assertion `!empty()' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: ./mlir-opt /home/workdir/test.mlir -test-extract-fixed-outer-loops
 #0 0x000055d693efd9b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x107f9b8)
 #1 0x000055d693efb4de llvm::sys::RunSignalHandlers() (./mlir-opt+0x107d4de)
 #2 0x000055d693efe3c8 SignalHandler(int) Signals.cpp:0:0
 #3 0x0000717217cc7520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x0000717217d1b9fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x0000717217cc7476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x0000717217cad7f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x0000717217cad71b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x0000717217cbee96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x000055d695d4971a mlir::extractFixedOuterLoops(mlir::scf::ForOp, llvm::ArrayRef<long>) (./mlir-opt+0x2ecb71a)
#10 0x000055d696c4e6e5 void llvm::function_ref<void (mlir::Operation*)>::callback_fn<std::enable_if<!llvm::is_one_of<mlir::scf::ForOp, mlir::Operation*, mlir::Region*, mlir::Block*>::value && std::is_same<void, void>::value, void>::type mlir::detail::walk<(mlir::WalkOrder)1, mlir::ForwardIterator, (anonymous namespace)::SimpleParametricLoopTilingPass::runOnOperation()::'lambda'(mlir::scf::ForOp), mlir::scf::ForOp, void>(mlir::Operation*, (anonymous namespace)::SimpleParametricLoopTilingPass::runOnOperation()::'lambda'(mlir::scf::ForOp)&&)::'lambda'(mlir::Operation*)>(long, mlir::Operation*) TestLoopParametricTiling.cpp:0:0
#11 0x000055d69400fa2e void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x1191a2e)
#12 0x000055d69400fa2e void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x1191a2e)
#13 0x000055d696c4e50d (anonymous namespace)::SimpleParametricLoopTilingPass::runOnOperation() TestLoopParametricTiling.cpp:0:0
#14 0x000055d6971b708f mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x433908f)
#15 0x000055d6971b7872 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x4339872)
#16 0x000055d6971ba01e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x433c01e)
#17 0x000055d6971b2b3b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000055d6971b279b 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
#19 0x000055d69725cf25 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) (./mlir-opt+0x43def25)
#20 0x000055d6971ad682 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x432f682)
#21 0x000055d6971ad933 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x432f933)
#22 0x000055d6971adb42 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x432fb42)
#23 0x000055d693edcbd7 main (./mlir-opt+0x105ebd7)
#24 0x0000717217caed90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#25 0x0000717217caee40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#26 0x000055d693edc745 _start (./mlir-opt+0x105e745)
Aborted (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkWV1v47oR_TXMCxGDor4f_KAka3SBDRLsBu2jQYkjmw1FqiS1m_z7gpIcy4qVXN_2orftIhvLEnnmzMyZIcUwa8VOAaxRfIPiuyvWub026xdhmdqRq1Lz1_UTWIe1wpVuGuFQWOC9c61FYYHoBtHNTrh9V64q3SC6kfJn__GzuW6N_jtUDtHNOJNuojSnGSuDpEzSuArSjCaMsyCpacgYiZMc8pBFaYRIYR20FjuNDbRG864Cb5AUKCHjDykaKcy1bh12YN3Kf8PX_vIaXpxhlbuuxQvwa905MNdS69bOAPxgXDF7DlvzTgJG6Q0iBcZ1p6qV_4VRRBomFKIZorEsfTyE4vCC6C2icTe_4f2Y3MrxNQq_4H52_oaOsa3qVa0NRjQWGIV3uAf3_veg2MPgEa6flt6NMw24zqj-y3Bz_D3xpTLM7rEPyQdB9CQR3ex1A4hufmnzzIUZM3rI5XWQH3MsVCU7Dscbxd0TopsfDZPyr1A5bVZ7FBYhyT20gRoMqApwPzosUFhMhj5B00rm4FY3jVYovPW0hlG2qoeLjTYPLQq_DN9KVj0fwhjfPPVBW5wU33kOhbVgnNAKe9dpAE3rXgcMRFNcMyGBrxApHr99KX58wbYrG-Eww2W38zrUxvmM_Ab5n-pfWNuBRXSDmeJ4jBt2e8BDZrwrfXa87R-OVc-Yd0075IqscP_v0eidYQ1mZtc1oJxngFeIbt6q4Fz2LqkMjGhIMHkhhJA45kkeQs3zMptkzL7a4eLRCOV6qk-9rGh2HGTYr622zgBrEE0QvcVCuT5PNJsSRvSGvAQkrfOyT8HAIJgxKCMO5xh879QPsVNM_oUpLsHYgxjOG-GRl-rBCJ0ZgbDK8AkcotnIerhtV1XrM0L6_wNKOKKkQUqDtKrSmJKhtDdSlIhuXrJkm0TXUqju5XqnuuFBtbJ6lfTEIhpTcqQVnQDyoMzrCrdub4Dx7bOQ8jL0PMnr6ogez-lGaYJ3tnfvUtpRmhyBk1NgxtM6xKz05XIRLM3SOjzCpu9gg_JiwKA8AmangCVAnlwGGOaQTxzPpzKKeZSnAZs0obHYNr7WHnypfesrjWaLfYreTqReGMNev0ONwlup1c53vgV9U6jKNGADMV9DJ2WcVBEkEOOfWvAJvF_NfDPcmt5E__SE20MLhvkRiBYe-tB5Kyalb1nb2jdq6_jorWKlhK3wYIgGR0PCbrWCra4_auv0Fi9Znj75Drtzt2-k9qtB8cbxJ5Md4L79JPiNorBbyxoYvfUQ_efJpHd33WsLE1McHBNyuP7F5HPv7SRqf2Py-cFw30Hy4JTlRptfzPCvznunjX-IaMaUVq-N7ixWrAHb9u00H1dI0bQSHplhDTgjKi-gJyGF2j0yOzZC06kHNYlY9jYb0VSypuQM0fRD1eWnPN-n5hCQZXn8iVxJ-p_PJp5RN836OvtAijn2u2FP_ejI4MRsefBFeLKSRYTUjMJQhB-qaVkvnyTgXyvtE6-nIj6_ogZ5wCgcOw79f3I2nLfXmPA_Sv-XKC6a8kqDMiVZvRD_h_ZJP7TedMFZ2wd8ZHASu57bvNsut-dCMflqhb1niu2g73Cl1tJ_dqp_1eQfbQajMMxJVh8DHc8dylJ6sUOPogUpFMxE4Ye-8Uz-7R5OJ3lTX5V1pt-5-85ffDRgsDw8GLk_MgPKfVW1xpVW1o3daCmIWUqPQUxmQWQkgJntgzdnNTBvgQtGKxJMSiSdGaVlWOIWTK1NU_T1aj95aXhbte2eGeDb1hm_Ezq-PerOVHC_863iEJRZGu-_ff1-q5WDF_cu5PdSmIfW3TOhbrWqxW6CkePJ0zN1ls2dS_Ny0pG-6Z2omPwOtpNuuVMtTUA0e_O9U-IfHbzz_R4abV5vuroeJPg2nkPNOum2HCQ4WJ7jNzdfTvvoPANLG76zIfytufzD_TmyuxNMQuX8jtE68_peHB8J4LB5iLbkdGfwp8jMJ_I8eS1JaVzVNJ5u71opXKH4o9EVWHvg-h8R3X9hSXw4YvrshzNC7fwL3NLtpV7KoabxWy-l5LTdMJ5k9LyQ_9fKcCE-tE6y4wJHg3l88jBcjM-4OFd7NizDxaVJ-8y5ZdJ5GB5J0znpMlpO6iWkfy-7MpqENDw9IONVyVPcMKEWztdiKHl6nB7Njm6A5xeejNGc5-QIGM8BISJ4u_VzttYx47YHcpeYgGhiIpm7nEYxHsAXnU6jsUyLUhsH_UtApQ3057fAR_DDafsVX4c8D3N2BesgjQgNaBYEV_t1HsVpFWRBkCdBzkuI8jAHHuaQQZCRKL0Sa0poTCilJKNJHKx4leasrrIyClmW1xRFBBom5MqLYqXN7qo_dF4HNAtJfCVZCdL2f-WhtBcIpSi-uzLr_qi67HYWRUQK6-wRwQkn-78M-W0Uiu9QQj47RE4IdkbsdmDs5LR9w4TsDJw9db_qjFz__hP10b-fa_rPAAAA__-iEBUS">