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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]-test-print-liveness triggers Assertion failure isa<To>(Val) && "cast<Ty>() argument of incompatible type!"'
        </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: [[efd8938d575d1f8058bfe220e4c672d969c82be0](url)](https://github.com/llvm/llvm-project/commit/efd8938d575d1f8058bfe220e4c672d969c82be0)
steps to reproduce:
```
mlir-opt test.mlir --test-print-liveness
```

test case:
```
module {
 func.func @test_fft2d_real_h(%arg0: tensor<32x8193x32xf32>, %arg1: tensor<32x32x32xf32>) -> (tensor<32x32x32xf32>, tensor<32x32x32xf32>) {
 %0, %1 = "tosa.fft2d"(%arg0, %arg1) { inverse = false } :
 (tensor<32x8193x32xf32>, tensor<32x32x32xf32>) -> (tensor<32x32x32xf32>, tensor<32x32x32xf32>)
    return %0, %1 : tensor<32x32x32xf32>, tensor<32x32x32xf32>
  }
}
```

crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/llvm/include/llvm/Support/Casting.h:578: decltype(auto) llvm::cast(From *) [To = mlir::SymbolOpInterface, From = mlir::Operation]: Assertion `isa<To>(Val)` && "cast<Ty>() argument of incompatible type!"' 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-print-liveness
 #0 0x00005f489a7c94c8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x10384c8)
 #1 0x00005f489a7c6fee llvm::sys::RunSignalHandlers() (./mlir-opt+0x1035fee)
 #2 0x00005f489a7c9ed8 SignalHandler(int) Signals.cpp:0:0
 #3 0x000074f8f08a9520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x000074f8f08fd9fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x000074f8f08a9476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x000074f8f088f7f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x000074f8f088f71b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x000074f8f08a0e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00005f489cd953af decltype(auto) llvm::cast<mlir::SymbolOpInterface, mlir::Operation>(mlir::Operation*) (./mlir-opt+0x36043af)
#10 0x00005f489d416270 (anonymous namespace)::TestLivenessPass::runOnOperation() TestLiveness.cpp:0:0
#11 0x00005f489d95d55f mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x41cc55f)
#12 0x00005f489d95dd32 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x41ccd32)
#13 0x00005f489d9604de mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x41cf4de)
#14 0x00005f489d959012 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#15 0x00005f489d958c7b 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
#16 0x00005f489da025a5 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+0x42715a5)
#17 0x00005f489d953e72 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x41c2e72)
#18 0x00005f489d954123 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x41c3123)
#19 0x00005f489d954332 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x41c3332)
#20 0x00005f489a7a86b7 main (./mlir-opt+0x10176b7)
#21 0x000074f8f0890d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#22 0x000074f8f0890e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#23 0x00005f489a7a8235 _start (./mlir-opt+0x1017235)
Aborted (core dumped)
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWFtv6jr2_zTmxQI5dq4PPFBa9N_Srlq11f8VOfFK8OxgZ2xnn_bbj5ykQFJoy9E5M5qpKOSyvNbvt26-cGtlpQCWKLpB0e2Mt26nzfJVWq4qMsu1eFu-gHVYK1zo_V46xFa4E76BUqQZS0WURCIoUxKleQmUEgiLOKEii7MipTkQFN0imramRjTrr3fONRaxFaIbRDeVdLs2XxR6j-imrn-__8wbo_8BhUN0M5imm2_bpBkit4isrIPGYqexgcZo0Rbg7XavUEyGT3e7r6WZ68ZhB9Yt_B2ez_31vDFSuXktf4MCa88O7r-9NC64vWxDi7YGjJKb_h6XrSoW_gujkPjh27J0VGwN8Hq7QzRFNOKmIt7rDpTVBrE1o69pkLFXRl9LRhG7Q3SNe8FgKth_3sUyPEfsDiOaXpZZfzr-CB3RiAyGA4zYLUaUOm35omOAKD1Bf4Kv14Gl-g3GQjew5LW_Sm7xwW9TiB_5_o0kBwgYYwOuNWpK9TMPf6J40IqS2yE3Dhfncqkw3O6wM_zrjO1Kkm52eg-Ibv7Q5peQZlJE8yA7VpdURd0KOD54bptGG19ga26dVNVih9gqSlKvWkBRu7cGEE1567R3cDeMrRBbFdw6RNON0XuM6KoLb3TzorvAeoC92PPbPtf1Q_NDOTCl50TXuB80kntowHAntfKNgq3wylow_h6jmEjLEVu_6M7R6f_zrqHEBCMaIxr7_OvQsPXLWy_i0XBTtXtQDusSS1XofcOdzGvAPaWgS9QEl1zWIBa9Yx9_3q2e77Bt8710mOO8rXz_0Mb5TnJ195LWtmAR3WCuBB6cj90OcB_knBe_ukAP5p8dL35h0e6bQ-TJAnd_j0ZXhu8PrDwOvEB0c-he5xLhWx0NI8oIJq-EEBKVYZrxpMjCIj0Jtn2z_cWjH9_BfOkSlKZHIcP_2GrrDPB9F5g1lsp1eUHTU6SI3pDXgLA0LNJj0SHKggmIuAQ4B-KpVc-yUrz-P65EDcYOEb9gJyoBRnbolCyIFI80IpoO2PvHdlE0Piak-z8oYoOiJCzTkqQ8i6hPytRngswR3bym8TYO57VU7eu8Um3_olhYvYg7eCGNKBmBC8c6S5GVBW7czgAX21-yrq8zkMVZWYwMRFPQYRLjynY8rwUfJvFIdzzWnZZJyTDPff1cpZmmSclGmpMPmoP8ap1BPtKZTjxBIIuv08kyyMYeyE5zqxBZxHj5jUbK1l-0zHOdsmt1514M7fhMObCYhIyXB8i-6ka1L8IgpkmXxVxp9bbXrcWK78E2HZKst-WXhj-HLvLI7VCYplUP6gRGV5Wnoh_LyAMY1b3IIhFF5QlhAY7L-p3ji35ovMWV4I3T5mB45IoOkvfCecdN36wUr9-stPdc8cpX_xrnWtf-t1XdOll81svCoCiiaOxUOuUkGL2a06NsoJYKJmH2ogeo8V9O8nSQN_VDWWe6SUebD1rHAkNedi8G7I_cgHI_VKlxoZVfM1xMTu9HwejIj2zsx5iEAibm3wmdzYTvFEUYFGUoYGQ3nMQvIwHFDZhSm_2q8ArtF5OfdWKYt3bcgNg2zq8NjyOedWsKuK-MX7MOrpkE8_7nj6e1Vg5e3QfH39fSPDTunku11qqU1YmODJ-8PV9z0YRfWiT5SVP6qStZ8PoJbFu7k-d-x-LJbw2UIzbjAYimB_qtkv9s4QP9e9hr83bTlmWfiwd5ASVva7cVUIODy2PY3bDuvhyErBPqm2xd-9XWtlSjXnvip--G82_nc0R3K3kNhXuCSlpn3j7mx2c50IsgGm5JP1PUWlX_XiafRObrDI1HGcoJjXh0wt02tXQrJR6NLsDad7j_kbz7L6yKTyVO3z07I1X1BOXFxxeaKk2CiEejpppMmg6DhJ5P5_-1Yrw071BIxvNdOnFRGFB20UXDdF3seD8xr64N3Vf8LuJmAWUj3NkUN2OXQ3sN7j8LkI0XEnSyw-VpnCd4z6W6sG0MkjhPRhqC8XYhIyK7crdHM5GRkU461QkhwdutH7a1jhu3fYd4jRUIx1bYlLvfBfb6L7Kn7Fi7K7-DA-FlC22gO6EAcTQxPp2aiSUTGcv4DJZBwkicpkGQzXZLEoYiy2gh8oiWjERFnkapYIIwzlkS5jO5pISGQUBC_xNliyQM4pgFOSMJ51BwFBLYc1kvfLIstKlm3RHLMgjChGazmudQ2-5Im9IucShF0e3MLLuDmbytLApJLa2zRw1Ouro7BverLRTdnjsowc7IqgJjT86lSi7r1gA-dzj1V5xMzVpTL__8kdPgkt9L-q8AAAD__8bBFxw">