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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR]-tosa-optional-decompositions 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: https://github.com/llvm/llvm-project/commit/6548b6354d1d990e1c98736f5e7c3de876bedc8e
stepss to reproduce:
```
mlir-opt test.mlir -tosa-optional-decompositions
```
test case:
```
module {
 func.func @test_build_mult_and_shift(%arg0: tensor<1x32x32x8x!quant.uniform<i8:f32, 0.015684768557548523>>, %arg1 : tensor<16x1x1x8x!quant.uniform<i8<-127:127>:f32, 0.015680249780416489>>, %arg2 : tensor<16xi32>) -> tensor<1x32x32x16x!quant.uniform<i8:f32, 0.078431375324726104>> {
    %0 = "tosa.conv2d"(%arg0, %arg1, %arg2) {pad = array<i64: 1, 1, 2, 2>, dilation = array<i64: 2, 1>, stride = array<i64: 1, 1>, quantization_info = #tosa.conv_quant<input_zp = -1, weight_zp = 0>} :
            (tensor<1x32x32x8x!quant.uniform<i8:f32, 0.015684768557548523>>, tensor<16x1x1x8x!quant.uniform<i8<-127:127>:f32, 0.015680249780416489>>, tensor<16xi32>) -> tensor<1x32x32x16x!quant.uniform<i8:f32, 0.078431375324726104>>
    return %0 : tensor<1x32x32x16x!quant.uniform<i8:f32, 0.078431375324726104>>
 }
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/llvm/include/llvm/Support/Casting.h:572: decltype(auto) llvm::cast(From &) [To = mlir::IntegerType, From = mlir::Type]: 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 -tosa-optional-decompositions
 #0 0x00005e90e4e313b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x10723b8)
 #1 0x00005e90e4e2eede llvm::sys::RunSignalHandlers() (./mlir-opt+0x106fede)
 #2 0x00005e90e4e31dc8 SignalHandler(int) Signals.cpp:0:0
 #3 0x000079e8e7c37520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x000079e8e7c8b9fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x000079e8e7c37476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x000079e8e7c1d7f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x000079e8e7c1d71b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x000079e8e7c2ee96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00005e90e73c816c (./mlir-opt+0x360916c)
#10 0x00005e90e7419914 (anonymous namespace)::Conv2DIsFullyConnected::matchAndRewrite(mlir::tosa::Conv2DOp, mlir::PatternRewriter&) const TosaDecomposeConv2D.cpp:0:0
#11 0x00005e90ea11618a void llvm::function_ref<void ()>::callback_fn<mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>)::$_0>(long) PatternApplicator.cpp:0:0
#12 0x00005e90ea112dcf mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>) (./mlir-opt+0x6353dcf)
#13 0x00005e90e81266de (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x00005e90e812317b mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (./mlir-opt+0x436417b)
#15 0x00005e90e73fb1cb (anonymous namespace)::TosaOptionalDecompositions::runOnOperation() TosaOptionalDecompositions.cpp:0:0
#16 0x00005e90e80ad6df mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x42ee6df)
#17 0x00005e90e80adec2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x42eeec2)
#18 0x00005e90e80b35de auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const Pass.cpp:0:0
#19 0x00005e90e80af6cb mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (./mlir-opt+0x42f06cb)
#20 0x00005e90e80ad83c mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x42ee83c)
#21 0x00005e90e80adec2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x42eeec2)
#22 0x00005e90e80b066e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x42f166e)
#23 0x00005e90e80a9192 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#24 0x00005e90e80a8dfb 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
#25 0x00005e90e8152ae5 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+0x4393ae5)
#26 0x00005e90e80a3ff2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x42e4ff2)
#27 0x00005e90e80a42a3 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x42e52a3)
#28 0x00005e90e80a44b2 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x42e54b2)
#29 0x00005e90e4e105d7 main (./mlir-opt+0x10515d7)
#30 0x000079e8e7c1ed90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#31 0x000079e8e7c1ee40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#32 0x00005e90e4e10145 _start (./mlir-opt+0x1051145)
Aborted (core dumped)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWltv2zgW_jXMCxFDJHV9yIPr1LsFpmiQBLuPBiUe2dzSpIak2mR-_YKSYku-JOOZtoMZtHAdSzw8l-9ceESROyfXGuAGJe9QcnvFW78x9uZJOq7X0VVpxPPNIziPjcaV2W6lR2yON943DrE5oktEl2vpN205q8wW0aVSX17-XDfW_A8qj-hymEqXaRLnZcqSWBBRFBGQqsgzltYJZBUTkGdpCaLKAUW3KJo7D41z2BtsobFGtBUEqd0YSqPh011ulbTXpvHYg_OzcIWvvXE83JNGc3UtoDLbxjgZrt1JJmEurrg7L8WIVgFG2bv-GtetrmbhC6M4CtNXZSuVWG1b5Vdci5XbyNojmiOacLuOAnoetDMWsQV5YjR88idEya8t137Walkbu0VsIXPE5jWjiC5wNItIkuZxluZJkiVxnlCG2PvwoQvcsyZ4yjt9Ik_kPOvFNaEZYvPu-_2RqIjGRZZHMUnjvDgURY9ESUY7igJfI_b-2EKS_g4TszxmhGUJo3FGUxLFvdwR2hgHDSKM2C1GlAb_ziqjv1CBKB2BvAdlpHTQDmXvGi66-dxa_hyUSONgTUfZfdH-qzdYSMVDvJyaQvspPaHzVgp4hXNP1kEgf-t4rqSuzWAL29my6kjCdN20fvVb01Fcd1y-glxvdveiwDO7xbtgxaN_iObfOs6-c2z9qHjaY2XBt1a_hNSJxPwGYlB2O1SS3Y9pSaksdxvsLX-7tgUdEV1uzBYQXX419rOQ9qDYXpNiX4WlrlQrYH_joW0aY0MhXnDnpV7PNojNk4wG1gIq5Z8bQDTnrTcB_W4amyM2r7gLZWxpzRYjmnbJlLx77OM3KNiTfdAe1mAfOzYL3JNPKLqh5DYInDsHts-uNJKOI7Z4NJ3f8_9w1YkIktKQ6518tnh87sfDILfrdgvaY1NjqUNx516WCnBvBOlqQoZrLhWIWQ_l3S_v5w_vsWvLrfSY47Jdh7XFWB9WmYvXNelcCw7RJeZa4AFu7DeAe7eWvPrcuXYQ_-B59RmLdtvsfB3N-oS9s2Zt-XZnVdADzxBd7la2U66_aLULdSbC0VMURVECRQQxMMLKfORm9-z6H3dWat-p-9iFJs33RJZ_XRnnLfBt56AFltr37srHGiP6LnoiUUZZGRy2V4JMlaAAAk4pcd_qB7nWXP2ba6HAusHzp-WkNYRYH8mhh8aKKscTjojmg-79bTermuCbqPu_Y8QGRlkBeehUsoRGuFNmqWSJ6PIpT1dpfK2kbp-u17rtB6qZM7O0Uy-mCY0mysVTnnlZ1BVu_MYCF6vPUqnLBBRpUVcTAcmh0nGW4rXr7LxU-ThLJ7zTKW8ispphXoY8uogzzbOaTThnR5xJeTFPUk545lOeFKBIL-PJCiimCBTj2MpYlZO0OhmYLI0Kku5dE-J_koVZTIqCxGEy10Y_b03rsOZbcE2XeUWfDIvQ6Nx-cMtWqeeF0RoqD6If23JfbeZa3MNXK33I1n3BDXVhzOFTEzJ2P37HvQerh6l2KO6V0c7jR-P47VBJoJ9-nCDBoElGc0JSknP8xUgxSuvQJnd9j4UasUU32id03yV0q4xSoWauao3Y4kjHedMoWXFv7Ntmf2rAdm0WovO3DV6c17M0pkuXIwY9Rj1eQw_zprF_isl-4BezlhVX9-Ba5X8f3yGKEI1XUb-GKqPXwdVH4J52MT1wMRVVfYzqTxf9CRedrB8pS5io6kn9YGNf5ISmaXj2eL1-_MsCiOcpsrdWfoFBq8aaCpz7r7GflXR-WGrPzzodJfGBZoxk5cixvGnUCzc312JplOhESPU8wege1l1gpNPAWFrzG7zoMfB5AD-CckzdKz9QL4yu5ToQhHDpQu404DFLY5KVE8CTabWvS1KVbwEeiuenoR-7nbZjfRvV6k96lAMd3ucnncY7neAdcZGKcVYK8Fyql3R7NJ-aO-7cXPBml6G21QfR6dxRQp5P1bnm6tlJ95Frvg6p-oLvAre621wSr7WHMQVIxTS6s0OboKIX23QnG1BSH1acQLpTNf3mRk6LmHMftPO26-eNPVHlxgS95H5g0P2OW9D-g67NS4CfD1oKABWd4JhPcSxZIgCHR7t-Zd4r0nDLlQK1NPY9rzaILVartW5X1dNTT7BaaWO3XK1CNe6L--JSh4xife6edfVh2yhE8x7HYuefj8HcASrnh_7mC1Q_QuhIIlfKVD_C0n6zoF9Wvoeg0YK_Z__xlw_3C6M9PPkB6p8O_ysc_hP1f1aaddtVo3uZ4ttScEQzRPOfzv7xzp74wzQD0MND53e2PO2r7k-3_2VuH3YxAuPT3XNx0GnWaVV-4_Jwpluro7SaPGLQ6LDrzVn1d-vkczbZ56LkZyf_LTp5Sg86-ShN4UD8i0EnI2GKx9mYJGkKE7nswH8FKShuwNbGbudV_yz7-puBXRVwG25BrBpvJ9skD6a1FXxcW8Ten3mKP25WR2NK2k-N_8il7p_vx5sqeDR6Mv9pfGBfLuoSn9vD-SObPjvzWy1_beHI_I-wNfb5XVvXfSzu6AXUvFV-JUCBh_Nzdk3NeSe8vb06wun3uvO727PX7lZyBZW_h7V03j4fx8drMXD0ENTvev5IS17xzNsRmkz30xLKIRnZ7hol_VyLu37z7kXdvyTu_oZZ8SrFeOzBW6nX91CfvX1uL7FgHJJJUT3csmN1TU-H8z8tGc-td3FdT9e7wx3AmHJ2FqJhua42vF-Y55e67i37zuqdUM4meueHesfleddeovcfVTAup8AW0zfiJEpEhrdc6jPv1BOSiGzMYXeA4OX9LIjiwlfhtBBFNOFJDnlCHOHVKkxbOc-tX72oeIkUiKdS6KHtJE5wz_-s9STe5-68NNZD946oMha6Yxwg9iJeDu1ciRsmClbwK7ghGSNpSiIWXW1uEqg5YxHncZpkgoukThKIQ5sVkTRicCVvaERjQkgS5UlGollVgyBQCSAiqqI8QXEEWy7VLITJzNj1VXcC5YaQlCXsSvESlOvOclLahQylKLm9sjfduZWyXTsUR0o67_YcvPSqO_8Z-iyU3L56kAR7K9drsG50eGfJpWotfM9DPFetVTd__HTOAM-XG_r_AAAA__8LoA5W">