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

    <tr>
        <th>Summary</th>
        <td>
            [mlir]`int-range-optimizations` Pass crashed with assertion failure "cast<Ty>() argument of incompatible type!"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    MLIR built at commit  5624e86a
Reproduced with:  
`mlir-opt -int-range-optimizations temp.mlir`

temp.mlir:
``` milr 
%152 = scf.execute_region -> tensor<5x16xi16> {
  llvm.unreachable
}

```
 
trace:
```console
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 -int-range-optimizations temp.mlir
 #0 0x00000001047cf774 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f7774)
 #1 0x00000001047cd910 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f5910)
 #2 0x00000001047cfe3c SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f7e3c)
 #3 0x00000001b0a454c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
 #4 0x00000001b0a2dee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
 #5 0x00000001b0968340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
 #6 0x00000001b0967754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
 #7 0x0000000109008e4c mlir::dataflow::DeadCodeAnalysis::visit(mlir::ProgramPoint) (.cold.6) (/workspace/build/bin/mlir-opt+0x104b30e4c)
 #8 0x0000000106fd3310 mlir::dataflow::DeadCodeAnalysis::visit(mlir::ProgramPoint) (/workspace/build/bin/mlir-opt+0x102afb310)
 #9 0x0000000106fd2c5c mlir::dataflow::DeadCodeAnalysis::initializeRecursively(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102afac5c)
#10 0x0000000106fd2d04 mlir::dataflow::DeadCodeAnalysis::initializeRecursively(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102afad04)
#11 0x0000000106fd2d04 mlir::dataflow::DeadCodeAnalysis::initializeRecursively(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102afad04)
#12 0x0000000106fd2b1c mlir::dataflow::DeadCodeAnalysis::initialize(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102afab1c)
#13 0x0000000106fb1dec mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102ad9dec)
#14 0x0000000104a315b0 (anonymous namespace)::IntRangeOptimizationsPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x1005595b0)
#15 0x0000000106fececc mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102b14ecc)
#16 0x0000000106fed5bc mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102b155bc)
#17 0x0000000106fef474 mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x102b17474)
#18 0x0000000106fe76d8 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102b0f6d8)
#19 0x0000000106fe6c00 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&)::$_1>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) (/workspace/build/bin/mlir-opt+0x102b0ec00)
#20 0x00000001070740c8 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) (/workspace/build/bin/mlir-opt+0x102b9c0c8)
#21 0x0000000106fe15b4 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102b095b4)
#22 0x0000000106fe1a24 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x102b09a24)
#23 0x00000001044dad40 main (/workspace/build/bin/mlir-opt+0x100002d40)
#24 0x000000011021d088 

``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWN9v4yoW_mvIC2qE8e-HPGTSRjvSrVq1o32tMBwn7GDwAp42969fYadtcKdzp9nZ3bt3NKpjA-d85zsfcIA5J3caYIXyTyi_XLDB741dbYxSpjfWD44sGiMOq-vfPt_hZpDKY-YxN10nPcZ5QTOoCobIJSLrO-itEQMHgR-l36N0jfHUggrSKWkvTO_xhdT-wjK9g_AqO_k789Johz10_TJ0QwU5Dhv_vn5P1y_mpv-4k8o--6B5klOM0kvseLuEJ-CDhwcLO2k0vkDpFfagnbEo3eRPSfEkkyJ8ROWnyQDGSn3rloO2wPieNQqOhsvLUzgvzo-jjiAt4_AWIDfamWdDa-fAhlhxy6QCEQhCtJKOoXTzxaD0CtHq70whWmNEC0QLjCjlzPnQfpjaQyOzu6ED7bFpsdTcdD3zslGA_aEHRBNEKaI1ohvcDpqPHkcr4YNUgDfMeal3y334oqQGnJfVcgJ5-9vV-v4Ku6EJGWa4GXbYQtAC9gbvve9dCJNuEd3upN8PzZKbDtFtIO_4uOit-Qdwj-hWOjeAQ3SLmRYBrBoEYL8HzC1ze9ww_nXk7uj-3jP-FYuh61_IJEtE6ltrdpZ1L6EHEPgjmjomi6YEkycy_UtIVvK2LLMx88FhunYHN_24tVL7Ec6XMbe0eu1k2eODcd4C68ZEbbDUfkpbhej20divrh8HbcOcEeEpNaLbZ8SIfiJPCSG0LcsyC8l6wZfM8Ik6Id_Ddzfoe7nTTP2NaaHAuqM4Pg4hrxMSQaBziiDlOHIWZHt2xJDyyF164q4hLMsznh3tDs4GTckG0a07OA_d9Dr9fugV862x3VIcxj7BRUXSLMl4TGoWu6ACgPykC7-3wMTMA60BYs7yyENdVGn2kx54bJsWWZrFtouZ7bLMf5KgN7bTMo-ZKU9zXRNSQcbx82qbrgXzrFXmcXq7BCY2RsBaM3Vw8qjEb9JJj2j1Ouo4W2_Nq0iW3CixLM6QTNakBLJYMtUp6qIVaZqQ_wTqj-CkrG3S2UyqZzgpzz_KrtTSS6bk73AHfLBOfgN1iHDf9GDH9Q7R9Xm4Gc9f-Q1rEJnjFiT7M-IWJItwJ_-nuOkcd5Ocr5NfDbZJYnGkMdgmEXAK9pJ5tlXm8d6ob2Dn4NZa3A3610IUtYAYYhbtYCxN8mZcjZk2-tCZwWHNOjiarycYn7W_CyXEzWkFccvckV876Bt9AvWszTbP67whEdQ8ZhM48Cj14JlUz0R9MTd9gLQWrPfGviCL17GAOVC5we-RfNryLKNrptkubO0b3BijwnPQ4_FAnFne0CbJgMeZKWbhirz5eLi3sodQt85kFLq-RFH88vhPBwVXn7XzdqxGjX1jNe4weZ4ajthvmQXtP-vW4HBK8GeKv0nyvIkpLmcUt1mZzZA9x_pd_fy787FJyqyM17fZfg1lISrcgw3F23o8obg_KLCdF1PTw0NyrIT3zIJ46H040b0OvTeD5XC9s-Fwd2R2poVwmN0Y7eHJv8nbtZL2pvfXTOqN0a3cndg4gwrSFqKKqJiVBFBwclq6_GZ2kjN1B25Q_qTufz7JPVhoUbp5bwCi1VumBi3_OcAbpq6hM_bwaWjbSfVvBwpo2aD8gwAFHt4fnF6Nh9MNfj-D9dgptHCmVDj2PbQ6CuSE-Q9r4b8X4ck-J5kC7u9gJ523h7cq-5GSpi6IZgFIONcro3f_69h-kL0zlA-cRDsdjYrKkpQZ4dUJX65X0q-1uLWGg3PPkf1J9PyXmH8_7PG67U3PM3Jec8Kj1Y7OCnJI8ib7_hz568_5M-ZQnTfRRkrpnE9G3-fzWLXwPZvqk3UsgHtvpd7dQfvHMZ6FndEYe3RuyDLBREZwx6T-cBlNCBVZvLicVvwJoYkgVYW_e2-LF2KVijqt2QJWSVHTOqvrlC72KyHykqS8KJIqSSgTDfCcQpPXQtCiJfVCriihKaloTsqcJnSZNjWkoq1pAhXkJUMZgY5JtRyvko3dLcYL0FWR1WW-UKwB5ca7dko1POKxEVGK8suFXY1Xp82wcygjSjrvXq146dV4ST-mKb9EBXnnyjMEGCq86X71eBWPWXT1PFg4_2Z5MVi1Ov8eeGTiXwEAAP__qzNqEA">