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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]`-lift-cf-to-scf` triggers Assertion Failure `use_empty() && "Cannot destroy a value that still has uses!"'
        </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/llvm-project/commit/a9882bda96228ca23e166a817f93a7dbc99763cb
steps to reproduce:
```
mlir-opt test.mlir -lift-cf-to-scf
```
test case:
```
module {
  func.func @loop(%count : i32) -> () {
    %zero = spirv.Constant 0: i32
    %one = spirv.Constant 1: i32
    %var = spirv.Variable init(%zero) : !spirv.ptr<i32, Function>
    spirv.mlir.loop {
      spirv.Branch ^header
    ^header:
      %val0 = spirv.Load "Function" %var : i32
      %cmp = spirv.SLessThan %val0, %count : i32
 spirv.BranchConditional %cmp, ^body, ^merge
    ^body:
 spirv.Branch ^continue
    ^continue:
      %val1 = spirv.Load "Function" %var : i32
      %add = spirv.IAdd %val1, %one : i32
      spirv.Store "Function" %var, %add : i32
      spirv.Branch ^header
    ^merge:
 spirv.mlir.merge
    }
    return
  }
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/mlir/include/mlir/IR/UseDefLists.h:198: mlir::IRObjectWithUseList<mlir::BlockOperand>::~IRObjectWithUseList() [OperandType = mlir::BlockOperand]: Assertion `use_empty() && "Cannot destroy a value that still has uses!"' 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 -lift-cf-to-scf
 #0 0x000062ab97598998 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x108a998)
 #1 0x000062ab975964be llvm::sys::RunSignalHandlers() (./mlir-opt+0x10884be)
 #2 0x000062ab975993a8 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007c0421c2d520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007c0421c819fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007c0421c2d476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007c0421c137f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007c0421c1371b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007c0421c24e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x000062ab9a948296 (./mlir-opt+0x443a296)
#10 0x000062ab9aa1c1b6 llvm::iplist_impl<llvm::simple_ilist<mlir::Block>, llvm::ilist_traits<mlir::Block>>::erase(llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Block, true, false, void, false, void>, false, false>) (./mlir-opt+0x450e1b6)
#11 0x000062ab9aa1acab mlir::Region::~Region() (./mlir-opt+0x450ccab)
#12 0x000062ab9a8b5a58 mlir::transformCFGToSCF(mlir::Region&, mlir::CFGToSCFInterface&, mlir::DominanceInfo&) (./mlir-opt+0x43a7a58)
#13 0x000062ab99f57a1f mlir::WalkResult llvm::function_ref<mlir::WalkResult (mlir::Operation*)>::callback_fn<(anonymous namespace)::LiftControlFlowToSCF::runOnOperation()::'lambda'(mlir::func::FuncOp)::operator()(mlir::func::FuncOp) const::'lambda'(mlir::Operation*)>(long, mlir::Operation*) ControlFlowToSCF.cpp:0:0
#14 0x000062ab976bff77 mlir::WalkResult mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x11b1f77)
#15 0x000062ab99f5767e mlir::WalkResult llvm::function_ref<mlir::WalkResult (mlir::Operation*)>::callback_fn<std::enable_if<!llvm::is_one_of<mlir::func::FuncOp, mlir::Operation*, mlir::Region*, mlir::Block*>::value && std::is_same<mlir::WalkResult, mlir::WalkResult>::value, mlir::WalkResult>::type mlir::detail::walk<(mlir::WalkOrder)1, mlir::ForwardIterator, (anonymous namespace)::LiftControlFlowToSCF::runOnOperation()::'lambda'(mlir::func::FuncOp), mlir::func::FuncOp, mlir::WalkResult>(mlir::Operation*, (anonymous namespace)::LiftControlFlowToSCF::runOnOperation()::'lambda'(mlir::func::FuncOp)&&)::'lambda'(mlir::Operation*)>(long, mlir::Operation*) ControlFlowToSCF.cpp:0:0
#16 0x000062ab976bff77 mlir::WalkResult mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x11b1f77)
#17 0x000062ab99f5734a (anonymous namespace)::LiftControlFlowToSCF::runOnOperation() ControlFlowToSCF.cpp:0:0
#18 0x000062ab9a8693bf mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x435b3bf)
#19 0x000062ab9a869ba2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x435bba2)
#20 0x000062ab9a86c34e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x435e34e)
#21 0x000062ab9a864e6b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#22 0x000062ab9a864acb 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 0x000062ab9a90ddf5 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+0x43ffdf5)
#24 0x000062ab9a85f9b2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x43519b2)
#25 0x000062ab9a85fc63 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351c63)
#26 0x000062ab9a85fe72 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351e72)
#27 0x000062ab97577c27 main (./mlir-opt+0x1069c27)
#28 0x00007c0421c14d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#29 0x00007c0421c14e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#30 0x000062ab97577795 _start (./mlir-opt+0x1069795)
Aborted (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWktv47r1_zTMhoghUU8usvA48f8fIIMEydzepXFEUTYbmlRJambSRT97QUm2HrYzNxdTTFsUmEkk8pzfeR-SYsBasVWc36DkE0pur6BxO21uvgsLahtcFbp8u_nCrcNaYab3e-FQtMQ752qLoiUia0TWW-F2TbFgeo_IWsqvh1_XtdF_5cwhsu5ZyRponpOiBJoSkjMgEQ_TFPIwq2gEWVkwSrM0YgUKltbx2mKnseG10WXDuJcYLFEa9P-C5V4Kc61rhx23buHf8LUUlbtm1bXT15ZVMwZPhxnYc1i6bCTHKPuEgiXGVaPYwv_AKA6k1jUiOSIJ041y2DtBRAQRiq9RdIfbOXrkxRiR5O_caIyiW2xrYb4uVlpZB8rh4MB8pNSKnyMMTwi_ghkR_gWMgEJyLJT3bd7LbBWJlhiRsKOrnUHRqlV3hdeNYk5ohaK7Hrcj8r5beDNHRhzmPhlQbIdRcrfjUHJzUOj43vqy42i1lMFIzQcNJUaEHCUTMtgyNrBlZvt6xPvywK39sgN1wPUmnEQhWE4UXWlVCi8JZI_YciV3Ppv7xz03Wz7Y0c50VsxNZlo5oZoR8XHkxOzwT5sNZTnivV_61w6yt7jLkSlf7yOnDT8vqeftwM_xXo5s56CxS9oMmfgtu-2fDHeNUe1LN9j_HFUXM2B32Bl4r4y7tF3v9J4jsv6mzWspzKybXIcUkbXnQGQtFJNNyYeB-2dE1r9ZfsurB2GdXexQtAxp7pFbkmiJouX982PhsX4Xbveb5Z4SRath_pPU7PWx5gZU6QulHfzHOa6-7pNPPfWXt7qr5Qtgya3XZGktNz5UGKVBY_mG72v3dgAjKSKpD-gKlNIOl9w6o98w4K8gG47dDhy2TkiJd2BxY7lFJESEIJLhCoTk5QIFy6eHu-XLHbZNsRcOAy6arW-l2jjfVD_cwoW1jRe0xqBK3Dseux3HXWgLYK9teL3sFwfsFZfNvu6CHSy6rHsyemtgj8Fsmz1XzmuAF3342kZ-LvzvNXeMSBTg4HsQBEFKoKBZQnNKc9xa0QbAvtnu4ckI5VrVvrR5SPKByMC3jbbOcNi3AVhhoVwXjnysICKfgu9hkAOlPlq9BuFMgzQu-DkNnhv1IrYK5P-DKiU39hjzs0LyuOCDEDITQiPI8QQOkbzXuhu2C1b7CATt_w4l6lEyFsQkZKRMSNCtX2spCkTW3_N0k8bXUqjm-_VWNd0EW1i9SFvFYpKQYFArngLmIa0Yrt3OcCg3rz5LP4ROU1qxAT2ZqxtnKd7a1ryPqh1n6QCcToHDKKsiDIUvjw_BkjyrogE2O4ENiw8DhsUAmM8cEHOafgwwopyODKfjNAIa56QDPEnAOI6AHDh9kk_qDCBkYZGOslzUUli3Eftaomg1yn4_wjdCnm2zvr-S1RimRXEGhG8P58gPHZkbv5EbV3HHKxw34LSZaNFNldyBkN2I0iXf6Nr34XOCyAo703D_uwJp24evWpSnA50Fx7HuwQ-eL-w4CXhYjPwazvwKDIrRAvLMt-2GrV2E-pfLbSNOAsagGNAnbQPyIoEkH6E7A8pW2uxX6__7ol9Wa0TyE9ldRxyGD7T3ynFTtb10RnGr90KBYvxeVbqdvaBuBBkk-aBuNFaXVkkGYTXC_R3k6zO3jXSjlKn6nc_G8GoSyRH1xKx2Oe72Sksv-pBRDKT0C9mmUihaIZKD0uptrxuLFey5rVtTaUf8ICq30soZLddSf-uc1y0mjXpUIxn5kQeRTMK-KAGRbKKRN6F78tu4x_rIoes-mTuUH_Bg5k8PP5B1xnqSS6220xDOyPDc1tni4oMXT5aotKiqLDsfvGFwXJLfQL5OArjW5huY8v5Y0XfvWLL6ySkx8YbnezR-j3xpvQ6LsMqyIZOTeSanGf9FmWxd2bdM5U-MG1G16R2O2qPdaMU3eir1NMMuJ8jqtGXNh_vGujxq2W1o-x3vUUlhNxb2_IL9p2HpxyegP6Ryfqf-bhZO_DwOfzgFn-doe-j6tZ1jot_7QZy65r3i-uVGpd068su6W_q_7jZ0t2ze3aIYfm6K_JGQ5NPNTUqjorrg_cf6i36sn8DaZQl16-5e8sRTnuCkcV3udEsF8s0K-xkUbHlb_IXW0v9uVPtttXzvJBlHSREV1eBWOjeoAPJhg55EzaVQfJYCnvSoZ_rTLRwzeVH3yjrTHvN9U1y-R9BJ7iZ63Z_AcOX87rHf03RlesmJBZCjE0kwcyKLYj6TfbDmbA7Me8MFoTyK-SA0nAmNeVrgmhu_t16y7pTx_heH4wJod2B4uek-3A4cL7oxjH_e-kZxcMosjJ8f7p992fDv7sTln6Uwj7X7DEKttKrEdoRB8Wj2tM4ImRsHrBj1owe9FQzkj7YzlxgQyY-2N0r8reEntn_me23ePjVV1aXgkb7kFTTSn-wkd_wyT3dunHTReQQu7Z7OuvCPxvJfbs_ozCVAcub85ss683aaHO8lwGFVjTfBdMn8t4jMD9Izmn7TCMqySkaG21oKt1Tlk9GMW3vQ9Zck3X9gSbxLMZ57cUao7TOvLg5f6qVVVVbJ0EvjabtJKlqQ84n831aGl9aakBajBS6Z-4el0UX_9Isz20G3DC8_GrQfGXdZaZZGg9LpXGmeXQ7qR5T-s9rxbOTSbPp1PcsYyfAehLrwcT6ljAzbYTL7TBvGJf3gZ3VCSxoMgHQOyOMAbzaeZ2MdGLc5KPcRETweRMzvTbIsownuwC8andG-TJeFNo6XnpBpw9vLHl724Ie7vavyJippROGK34RZHJAwIml8tbthWRoBUCjzIKeQEs4zTlkel7QsOOTJlbghAUkCQkiQRzGJFwGnlOYkZHFeVhEtURzwPQi58Emx0GZ71d5Q3YQkj0J6JaHg0rZ_1kBIdzlIUHJ7ZW7ae62i2VoUB7K9IzwiOOFk-6cQfhuFkluUBvMbpzTAzojtlhs7usZbg5CN4T_9Ou-qMfLmz1_V9b74ekP-GQAA__-TkDA_">