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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] crashed on calling func `async_dispatch_fn()` with assertion violation: succeeded( ConcreteT::verifyInvariants(getDefaultDiagnosticEmitFn(ctx), args...))
        </td>
    </tr>

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

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

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

<pre>
    test commit: [b0979b8](https://github.com/llvm/llvm-project/commit/b0979b8c65d76cc1897e97b9ad091d8d99abdd18)

step to reproduce:
```
mlir-opt test.mlir -int-range-optimizations
```

minimal test case:

[test.mlir.txt](https://github.com/user-attachments/files/20123480/test.mlir.txt)

Crash backtrace:
```
<unknown>:0: error: expected integer or index type
mlir-opt: /home/workdir/llvm-project/mlir/include/mlir/IR/StorageUniquerSupport.h:180: static ConcreteT mlir::detail::StorageUserBase<mlir::IntegerAttr, mlir::Attribute, mlir::detail::IntegerAttrStorage, mlir::detail::AttributeUniquer, mlir::TypedAttr::Trait>::get(MLIRContext *, Args &&...) [ConcreteT = mlir::IntegerAttr, BaseT = mlir::Attribute, StorageT = mlir::detail::IntegerAttrStorage, UniquerT = mlir::detail::AttributeUniquer, Traits = <mlir::TypedAttr::Trait>, Args = <mlir::Type &, const llvm::APInt &>]: Assertion `succeeded( ConcreteT::verifyInvariants(getDefaultDiagnosticEmitFn(ctx), args...))' 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 test.mlir -int-range-optimizations
 #0 0x0000565357625078 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x1355078)
 #1 0x0000565357622b9e llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/mlir-opt+0x1352b9e)
 #2 0x0000565357625ad1 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007f97f3895520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f97f38e99fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007f97f3895476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007f97f387b7f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007f97f387b71b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007f97f388ce96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x000056535a99ecf0 mlir::IntegerAttr::getChecked(llvm::function_ref<mlir::InFlightDiagnostic ()>, mlir::Type, llvm::APInt const&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x46cecf0)
#10 0x000056535a99eb72 mlir::IntegerAttr::get(mlir::Type, llvm::APInt const&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x46ceb72)
#11 0x0000565357969e7c mlir::dataflow::maybeReplaceWithConstant(mlir::DataFlowSolver&, mlir::RewriterBase&, mlir::Value) (/home/workdir/llvm-project/build/bin/mlir-opt+0x1699e7c)
#12 0x0000565357970430 (anonymous namespace)::MaterializeKnownConstantValues::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const IntRangeOptimizations.cpp:0:0
#13 0x000056535d0f0332 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
#14 0x000056535d0ed02f 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&)>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x6e1d02f)
#15 0x000056535a9346fa (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#16 0x000056535a930f53 mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x4660f53)
#17 0x0000565357973308 (anonymous namespace)::IntRangeOptimizationsPass::runOnOperation() IntRangeOptimizations.cpp:0:0
#18 0x000056535a8b52e3 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45e52e3)
#19 0x000056535a8b5b82 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45e5b82)
#20 0x000056535a8b835e mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45e835e)
#21 0x000056535a8b08db performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#22 0x000056535a8b0534 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 0x000056535a95d875 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) (/home/workdir/llvm-project/build/bin/mlir-opt+0x468d875)
#24 0x000056535a8a9722 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45d9722)
#25 0x000056535a8a99d8 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45d99d8)
#26 0x000056535a8a9bf2 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x45d9bf2)
#27 0x000056535760454f main (/home/workdir/llvm-project/build/bin/mlir-opt+0x133454f)
#28 0x00007f97f387cd90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#29 0x00007f97f387ce40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#30 0x00005653576040a5 _start (/home/workdir/llvm-project/build/bin/mlir-opt+0x13340a5)
Aborted (core dumped)
```


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWltv47gV_jXKCxGDpu4PeVCcuA26QYJk2n00KPFIZiOTKkkl8f76gpQcXRJPJrvuLFp0MIBtkTw837l855AK1ZpXAuDCCy-98OqMtmYr1YV-AaDsLJdsf2FAG1TI3Y4bz8-QF17mOI3TPPHCK48kW2Ma7fmZR9YeWVfcbNt8UcidR9Z1_Xz4OG-U_CcUxiPrXhRZ92KKKGRxVBTLJI0hjfOUMpwuWcLSlOaMLROPpB7OPJxpAw0yEilolGRtAXZbnHkR7v_jbFdzdS4bg6zWC_sLnXNhzhUVFdgBvuO_UcOl0LOVdjEXfEdr1CGm-iAfZ154-SZwYV7Np9BbDeqcGkOL7Q6E0R5Zl7wG-0nwkvhBgj2ynso8wFwpqrcop8WTUfQjkJ6_asWTkC_C8689P8PWL6CUVO7LawOFAYa4MFCBQlIhLhi8IrNvYGQj502y3sodeGT9ItUT4-q9v-x0j6y5KOqWwfDg5sEj60cjFa3g74L_qwX12DaNVGax9fxsmTi1tKGGF2glRaHAwDfkVvuZ52cMDOV19_0gR4O6dIZfDfNuOhyZMcojq5EA-4TnrYHp47Hc0dp-i-Nz38T1aKYzv-0bYE6H7qeiNh-uu18VGI8kt7_cPKykMPBqkEcyuz5TlUYeiTwSLRYLj6Q2fwZjeP4VOgrUGmI-ZQK5RzSf8zn-HuD3Fn5kDIdZu0UTBx0zzRv-jxZ0VlmhQgptkKOKbuP7G2HcoH9t08zPUKY1KJuzyIuwbosCgAHzSDKEVbf2GRQv9zfimSpOXdYlFZgrKGlbmytOKyG14cX1jpu18EhSmFebdWSFqKp05yD3P0Yl5TWwhYez-1-us8drpNt8xw2iKG8ry0BSGctFX6Y_rnXreABRYXPUZRUyW0DFNO_t3o-GFk-ItbumYwG8QO7fvZKVojurdtvxi5-hr3Ef8oiPEX7FGOMwCv0wjkiI42TkCr3X3Zd7xYVxunxzjESSYZKiLxupjQK66z3KhXGBTpIfYJe85TWzn1z01OKoiVzi16UfWoU6XrTqLmfqkjyFj9R9aMUjrwSt_0oFq0Fpp8ppNLJ7DhqRuQEpW6LJ3h5JnD1WSPOKi1JuTE8Nz5Iz9zXtV-hF0TQ9neN-A7_fIC7TuPSTNAwJ7nHUPPfI-jWJNlFwXnPRvp5Xou0GioWWi8jpHJCQ4EHjYCoQ0rQsUGO2CijbPPG6_pr0NErLYpAeztUN4ghV2sH7qtpBHA2Co6ngOI9LH9HcJuGXxJIkLv1BbPxO7DL_ssBlPghMpgKTAtLoawL9FNIR8HQcYTRNoSjxkZJxqESrLRRPjh-H3ChbUdjM3ygoZ8V1XfNqO2LHTt20J_Apadsnc6p2BO5S_wQZFkSFRdj3QsRf4jn-PCaf4PdI8idoncdk0HrKVGmUQlyMCy01tKzlS_drR_c5PEBT0wJ-5Wa7sqpRMcVxRQ1d1_LlUdbPllWiqXMe4EVx0zdP88F_0LqF0xBglFooA9ApAaYxDnzHT1RIsd_JViNBd6AbVzXSTp1bakBxWvPf4G-2iT3gdWrqg01Msc0E63FNTHHXgHJlrCfSYeSeGgNKHIzRu7frMG6EebCF8G5cB2eMaxH5Y0QMl9j3ieNqdDSb3OiQNW5KQevalvJNKSb51quYNU3NC2qkOjXe1XE9cykdC78TMM6GPu8_BfuHhAwDv8iKF7R-AN3W5sfk9mHkkWCD3YOklqKynn5n3A_8G0z9CwyT8r1J_--fP-CfP84zESytXwaeCadlwA-ikn7GM39RAGw_9cGV4pY-3XijZAFa_yrVU80tAtckHl_1QTBFM7VwGfoj_9OmqQ-itBPM6_3Ehg9QucCZMfZayd_gsHsv4BHGVWs8u1O5n72SouSVnWDDqW8wT1DhIottcEg8I37fx8lnDvmQgu-p7jlfteJOjJLJueNHaTuZeCLJQwL-kaPtXfNN3jV234zR5i3FVStm4a31u4w-nuuZoPVec31LBa2683LngBVqhbtkYyc7GQUhWHyDN9I5-jwhX0Z_zxuouZiTm536Bio6uTmmfKn1jdBGuUOtVB8Q6nhCt3M30Ot-TxUIcyNKeciVE8V_CNambxYneGbxxA9hpugB-ofRNbXcaTS0OgwaLmca4oTlqAFVSrXLiu4a4PsHeW1Yf7LeUgVs09gme1QbHmWrCritlOdfH6Gm0ZXYO2fe1lzdNeaWctGR1qQpH42-T3dC5uBCP0DHqtbvKXNv2Ft3__UO-y3spNpftmXZBffbfNbdNm0Y1GDg-BrbKM6K8NwDn3eTIyP9qC__43hGZxZOayiMrXHaqP374PheABxp8n4mku945pPw9Kd9QciSOBwB103NTSbYfdeBHHT9U4LuvzAlvjtjPPZoFBfVA5RHH5-kNUqsewfiDabcRNOYkI-j_n8tZ09RxZg112DMcG7MlCVHjdk3FMWWdq1D9tVw-MwSJ0KYsmRAGM0R5uXxcPkKwp8CJS9HzpoeCiIchEGJdpSLU1y9-1basNfspjUuWPrFm3GSsnS4aSTpXCAEGG02ds1GG6rMZoTkh7eAYNhi_r4FB5iGqBN-Ggth2vNQlktlwF0EFFKBe4UErNdk-tb7jF34LPVTegYXyziIEoyDaHm2vfCTNFwmhOGIMpzEflQkgV8EOIUoDmAZnfELgkmIQ5wuA7LEywWlBOO8jFI_JX5KQy_AsKO8XlgUC6mqM_f262LppyTGZzXNodbuTw8I6d4qEy-8OlMXDnXeVtoLsD2b60GC4aZ2f65gW0svvOpemwFDUiDbJnFRIVvTkBdhqvei2DCuG2qKrW2euku6CKMXbraIvr1YfOayPhwn0E94xXjWqvri97877A34fEH-HQAA__8FL3G1">