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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] assertion failure in test-print-liveness
        </td>
    </tr>

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

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

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

<pre>
    I got this error while trying to use `--test-print-liveness` of `mlir-opt`. The error message suggests that this is a bug.

I have attached the source file (written in LLVM IR dialect)
[lenet-llvm.txt](https://github.com/user-attachments/files/16322425/lenet-llvm.txt)

tested on e773f5307d59fb796a5fc59fe7830281f12731ce

I can also try to resolve this issue if anyone could guide me where to start from.

```
mlir-opt lenet-llvm.mlir --test-print-liveness
Testing : Assertion failed: (isa<To>(Val) && "cast<Ty>() argument of incompatible type!"), function cast, file Casting.h, line 578.
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 lenet-llvm.mlir --test-print-liveness
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  mlir-opt 0x0000000104b2ccb0 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  mlir-opt                 0x0000000104b2ad34 llvm::sys::RunSignalHandlers() + 112
2  mlir-opt 0x0000000104b2d36c SignalHandler(int) + 360
3  libsystem_platform.dylib 0x00000001918a3584 _sigtramp + 56
4  libsystem_pthread.dylib 0x0000000191872c20 pthread_kill + 288
5  libsystem_c.dylib 0x000000019177fa30 abort + 180
6  libsystem_c.dylib 0x000000019177ed20 err + 0
7  mlir-opt                 0x000000010a0e10c0 decltype(auto) llvm::cast<mlir::SymbolOpInterface, mlir::Operation>(mlir::Operation*) (.cold.2) + 0
8  mlir-opt 0x0000000106dc3280 decltype(auto) llvm::cast<mlir::SymbolOpInterface, mlir::Operation>(mlir::Operation*) + 92
9  mlir-opt 0x000000010732bb24 (anonymous namespace)::TestLivenessPass::runOnOperation() + 132
10 mlir-opt                 0x00000001078ad858 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 580
11 mlir-opt 0x00000001078ae014 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
12 mlir-opt                 0x00000001078b0390 mlir::PassManager::run(mlir::Operation*) + 1308
13 mlir-opt 0x00000001078a82b0 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) + 3080
14 mlir-opt 0x00000001078a760c mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_2>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 460
15 mlir-opt                 0x000000010793aca4 mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 648
16 mlir-opt 0x00000001078a2acc mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) + 340
17 mlir-opt 0x00000001078a2c58 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) + 332
18 mlir-opt 0x00000001078a2f34 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) + 144
19 mlir-opt 0x0000000104805b4c main + 176
20 dyld 0x00000001914ea0e0 start + 2360
[1]    42694 abort      mlir-opt lenet-llvm.mlir --test-print-liveness
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWEtv4zgS_jX0hYhBUe-DD46TYAIkSJAEA-xeDIoqyZymSC1Jpdv76xek5FfiZDKNwc5gjIbdIVmPr-qr4oNZK1oFsEDpJUqvZmxwG20W1Ra0an8DmFW63i5ucasddhthMRijDf6-ERKwM1uhWuw0HixglJGLCwfWXfRGKHchxSsosBZlBOvGT3dSmAvdO5SROX7ZwKSsA2tZC9gObQvWWew2bLImLGa4Gto5IleILMfvW7xhr4CZc4xvoMZuA9jqwXDAjXcL0eK7Ec6BwkLhu7tf7_HtE64Fk8AdouWkK72UoMBdSPnazd0Ph9IrRIuNc71F8RLRG0RvWuE2QzXnukP0ZrBgLkarHShnEb3x9vxvlMWUJjRF9OaN0r258O3DAzXWCkOex00ak7xOy6bKy4ylDU_LBvIiJrSImojmccThFDhnCjNptQ-9j7sBq-Ur7IJlB8CiwUxttQLM9SBr3A6iBtwB_r4BA17IOmYcbozuTsKKMjL9C3_ukoWPAPkxfD7JQeYFrPOMQPESL60F44RWuGFCQu3HEC2EZShevWgUXyNa_MokoiVGNEM0w4hSzqzz89tx3k8y0w4-3p5EQnHd9cyJytNv2wOiEaLUR5mucDMoHiwGLX7A02HFglPzjR-RQgFO82JC_nh3vXy-xnaoOuFGqmEDvTbOB-oTLvhwTD8XvdG_BWbdhAx4PmCmau-sHGoI_OSG2Q2uGP_mDOMwmX92jH_D9dD13koYInNEykejW8O6PXTvBP6ZhBwM4O_CbfTgsN12lZZYsQ6sTwgoOxjAWz2MZRUgjYvEf8H4EtrqweDH5csvWBtswQVEoF6F0Spk5pUZX9--1NbP_7q_fLi7_ff109qL-Op3GvdaqBBTEUpijxYfYJEfZPxEJKko5xUJvvi18dJu7fifR48ywHrxgUS0OCwy7PtaW2eAdYFRKyyUG_l1idNsNBkdmXz7OXWB1XFyzoWnQT2LVjH5C1O1BGMnonorUURHM_RDZHWccXyiwJfFwdF4V4ExxlJUdmsddOteMtdo083rrRTVkcoyKlicFgleW9E6w7r-BG5yosRtDLD6nI6cckrwtGD9TUgZ1NCiGPWkx3r4GQ153rCYYFb54gmhKCYc2e-LQk2J3w2C4CSWfy1RjEBEOME1cDl2hIINTvtoHnI3tRWvbxx4DgR_6G-VA9MEIq3wYfqhB8N8Kxnb0LkJuhwTVsy5lvWc7tI3eV-cz39W85gWf523l7icCFqedzCPaVXRxANjSqttpwc7Nos-2C1Hzb7T302t5pHZqTLMoB7UkdFDWcST1Yh8Kal5weoiLY4w1uCYkDtYL_qh92aXNeudNnvrJ-iDXx74-Vi9nVkqJrdW2HumWOuLcoUrraX_HVQ4JdUn_WRH7yg6H8iCAYmSPwzhUfTgd6k3ifRL955lfzqmYyFv6lZZZ8Leo807racLJuaFicn3R2ZAuVvVaMy18nvxnn4x3YWNfpEJFYlL8sb6Ds_ZvJ9jfRSTqZFF8UfpKmhFcA_Gt9llOEjY39lerKvHqfU6mjaJDTNQr3tnULw6iD6H4-l9a1B8vQvJmyTe390-rbRy8MO9C_i9FOahd_dMqJVWjWiPdExhJXs6Jh_hyzPCj5Te6VZwJp_ADtIddZ_dKWptoDnpQqcCiBbv4Q9K_GeAd_DvodNmezk0zcjB94I1NGyQbl2DBAcfC8fXocet8MdpKcOisY9K6Y9c60adADkK5x9O8P8P4cHfq_Hq8gStsM5s31PnM3qMSxBN1nTcHqRW7V-N7ZPsBTonuzNQlH6tS5Qx4-y42dpeCrdU9aPRHKzdef834ew_osY-XXHYaMbfMa9ZsuvC2UddijLOz3P7n1-rYytPdtzPP4wRPzkbncZo2s_5ho079_I0Uc_OCNU-QfPJ8OdwJjf3R7riQzebOPlT3PyKP1GSTP6U529eBUmrhOOOCTUK5NMViRJcb2V9ciVJgBEg01NJuAjtr2UovYxQeuU7UEKzMpmuPOHzM3f0N-8u4_esXsR1GZdsBosop1EaxZTms82iJCwtEu7PlnEe57yoOUCZxqRIAXjOZmJBCU1ITgmlJCf5vAaosohWZR4xntURSgh0TMh58E6bdhaeLRZlmRf5TLIKpA3PgZSGuFOK0quZWYSHgWpoLUqIFNbZgwInnAxPiEEgvcLs5PFnMICFwmciMBuMXPz8M8vo8uuC_i8AAP__RLxaXA">