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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Crash when using --test-vector-sink-patterns
        </td>
    </tr>

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

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

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

<pre>
    I have the following MLIR program:
test.mlir:
```
module {
  func.func private @func1() {
    %c0_i64 = arith.constant 0 : i64
    %0 = vector.broadcast %c0_i64 : i64 to vector<26x7xi64>
    %1 = builtin.unrealized_conversion_cast %0 : vector<26x7xi64> to !llvm.array<26 x vector<7xi64>>
    %true = arith.constant true
    llvm.cond_br %true, ^bb1, ^bb2
  ^bb1:  // pred: ^bb0
    llvm.br ^bb3(%1 : !llvm.array<26 x vector<7xi64>>)
  ^bb2:  // pred: ^bb0
    llvm.br ^bb3(%1 : !llvm.array<26 x vector<7xi64>>)
  ^bb3(%2: !llvm.array<26 x vector<7xi64>>):  // 2 preds: ^bb1, ^bb2
    llvm.br ^bb4
  ^bb4:  // pred: ^bb3
    return
 }
}
```
The above MLIR program will cause a crash when using the following command:
```
mlir-opt --test-vector-sink-patterns test.mlir
```
And the crash backtrace is:
```
mlir-opt: /data/tmp/v0208/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From&) [with To = mlir::detail::TypedValue<mlir::VectorType>; From = mlir::OpResult]: 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: /data/tmp/v0208/llvm-project/build/bin/mlir-opt --test-vector-sink-patterns test.mlir
 #0 0x0000561622b271ef llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x170d1ef)
 #1 0x0000561622b24244 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007fc4381b4420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x00007fc437c8100b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #4 0x00007fc437c60859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #5 0x00007fc437c60729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #6 0x00007fc437c71fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #7 0x0000561622fcdcf7 (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x1bb3cf7)
 #8 0x00005616252a060a mlir::vector::BroadcastOp::fold(mlir::vector::BroadcastOpGenericAdaptor<llvm::ArrayRef<mlir::Attribute>>) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x3e8660a)
 #9 0x00005616252a089d llvm::LogicalResult llvm::detail::UniqueFunctionBase<llvm::LogicalResult, mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&>::CallImpl<mlir::Op<mlir::vector::BroadcastOp, mlir::OpTrait::ZeroRegions, mlir::OpTrait::OneResult, mlir::OpTrait::OneTypedResult<mlir::VectorType>::Impl, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::OneOperand, mlir::OpTrait::OpInvariants, mlir::ConditionallySpeculatable::Trait, mlir::OpTrait::AlwaysSpeculatableImplTrait, mlir::MemoryEffectOpInterface::Trait, mlir::InferIntRangeInterface::Trait>::getFoldHookFn()::'lambda'(mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) const>(void*, mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x3e8689d)
#10 0x000056162530b3f6 mlir::RegisteredOperationName::Model<mlir::vector::BroadcastOp>::foldHook(mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x3ef13f6)
#11 0x0000561625e03144 mlir::Operation::fold(llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x49e9144)
#12 0x0000561625e03490 mlir::Operation::fold(llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x49e9490)
#13 0x0000561625c94d71 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x0000561625c97c6b mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x487dc6b)
#15 0x0000561626405f22 mlir::applyPatternsGreedily(mlir::Operation*, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (.constprop.0) TestVectorTransforms.cpp:0:0
#16 0x000056162640e8ec (anonymous namespace)::TestVectorSinkPatterns::runOnOperation() TestVectorTransforms.cpp:0:0
#17 0x0000561625bdb261 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c1261)
#18 0x0000561625bdb6fa mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c16fa)
#19 0x0000561625bdba7e mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::'lambda'(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&)::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#20 0x0000561625bda765 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c0765)
#21 0x0000561625bdaf8b mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c0f8b)
#22 0x0000561625bdb6fa mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c16fa)
#23 0x0000561625bdc234 mlir::PassManager::run(mlir::Operation*) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47c2234)
#24 0x0000561625bcd34b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#25 0x0000561625bcddb2 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#26 0x0000561625bce024 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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#27 0x0000561625cd719e 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) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x48bd19e)
#28 0x0000561625bc4c39 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47aac39)
#29 0x0000561625bce191 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47b4191)
#30 0x0000561625bce656 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x47b4656)
#31 0x0000561622a3901b main (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x161f01b)
#32 0x00007fc437c62083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#33 0x0000561622af7aee _start (/data/tmp/v0208/llvm-project/build/bin/mlir-opt+0x16ddaee)
Aborted (core dumped)
```
My git version is 6ff8a06de9ce125023e117014ce4dca8fcc391d7.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWltv4ziy_jXKCxGDou4PeXCc9kyAzkmQ5MwBzotBkZTNaZrUklQSz69fkJKjS9u57Hp7egbb6E5LYrGqvrqxyBAbw9eSsYsguQySqzPc2I3SF89YrndKrn8P8Vmp6O7iGmzwEwN2w0ClhFDPXK7Bzdfre1BrtdZ4G0TzAM4tM3a2FVy3r0EKu79wvlW0EQwE2WUA5wBUjSQz9wPUmj9hy0AQQ_ceBigPUPFKCECAEgJXPI1BEF0BrLndzIiSxmJpAQRBNAc8jXti6OmeGLFKz0qtMCXY2BEbPwNY1VEF0QKlL9mLYxN96TmFnlPZcGG5nDVSMyz4H4yuiJJPTBuu5GrPu1XkED8nJ0ChEE_bGdYa7_wweOmJXyUPhVvdsEOI3feOyrMkStJVqfdTArQAQfKlLMPXJ-TJu4-Re0TLAC1BrRl1734EDnk6du5j5J3h7TD_BAZU9BLRD5fYsUCf5jBQFHlVzauuU2NOtI576fFRvFE3UzPbaOleguzKZUn7c5ArjxsGcKme2CjFwDMXAhDcGAYwIBqbDXjeMAka47JxnJtEbbdY0gN5KLg-V7UF5-cuW89bY5wbLr-d19hapqUBfR6PJ88l9XJa4SUm36zGhAFujgtq3bCk2OIALe22DtDyCSKYB2jpjHhea_U7I7Z7DdCSSyIayvoPD01dK-0oFthYLtezTRDNkzR1vCkjwu5qFqAcN1a52uGnRfMgmrvsDFDukwcstdoGKPXVJbl85nYDHpVPsX3JiuaUWcxF-_y4qxn9DYuGBdGiJ_nNW8wN-tC59HwnbG7re2YaYYPkyuk4N4Zpy5UEQQq5wUG0eFQ-6vLfsPAKOb1SECDkVY4Wj7t23A1ivW62TFqgKsAlUdsaW14KBlrcYYBQgDJQYS4YnQVwfvf1y_zhCzBNueUWYFA2a6CZs6ErRhtra-8wH6RrbjdNOSPONnuDT_zCjWmYcQGNJQWdew4FgpP9YDH5BmizrduYgDPg_9x1UbwHYz4RGK4EU_c_lwFafjqEQYAiCOALhBAmaZgiVKIsZNUgUMzOtA93mkvrMTw6RAHKeyKNn1fKWM1wG0cLwKVtvZf_W0gCdAlfwgzSkFVdLQtQFE5UjlEcgwe-llj8iiUVTAco9xosgOFrLiu1sgGau_cnxal_LLoZZkZq5xHo_7UCUCcgq0gc5WEZxwiC1UozY5VmK207YIKXAVq-5Okqjc8Fl83L-Vo27UBtN5phOjNqBlsYjksPIhrKyEgeQlgCjblhH2BOHNvUs40jCMuebTxmm8I8KVzN_JDOA7YI5UnRs02mbLNX736YYYYGDNMxwyysaPo5hlFU0bRnmI2CoiKUVNmJ4q8sI1Jlvah8KCpBGKYQD2rcfhl1z5f7Nuu2bj9UyonJ36X-hUmmOZlTXLdrcp9tc7dm37NqVHzn1mpeNpa9LtunAR-xPE0h7sEXU_B5QQf14qtac4JFW-UH34frx_9K_o-GLRtJXOm_xIaN8I1YuJwdLh9MYzepy-bPGGVE_rDFQrQL1vW2FqNZt_VSCdqJdxNTb1M3tMBCHKAfvR5z_wTIo8bcti__z7S6Z2uupHmD6laywyYZ0_jFea_88dXZffJI3lbroSGEGaP0O5p5x0j6FlF9LZ-w5titcCOyhZKUO6diIXYPNSONwBaXgnXdhudxnPFcPOOdGc5zuA7MumFbpXdfqooR67SxTFduJTsm5VpWTF9Le4_lmh0k3xtyzawLmV-V-raUbW_SDgQoE3hbUhygbJT1f1YgowL4nq_toV4Xw58hx05ZsfKCthXLdQujDieJYBlV6QCvyzxjmWb0Ffn_4G3n5xtFmfhQeu9joeoC4Wdx94lsWoVRlfY2HbVgCYNRGMcHY2i46P3VUMcFK8I47lGjKeq4gJ9A_SfCiAvYw4hGMEgR0yx0orBUcrdVjQESb5mpfZvfVbJfNGN0d9fuIu7Zs-aWXWn-xDr9a63cQvF_Sn8T3O8tnf7HZ026bqdWPFErI2k5sC6ua7FnZTxjLnajLGvX0G4H0n9eavUH20vvGDww2xXCKXWrcke9ULLia0dQKiW6fcNpnJJnlKRl75RkiD6NYVIh9Cn00xrzHzVAe-xWa1W73U0BHpmxXYehsTSV0tvpxsqBTCcgWc7Ie5HXs37g8tveBN3Gs5G3cgA8_4Quow1DUtISpeGRA4_b-lHd1nfYmNd-vJM-8oAjeHc5HdQ7icXOcHODJV67PeveyAvQSH_8TE-6j44zEqI07EMun1ogrfCnLXDHaya4ZJNYdKSvwNKTm2Q4yYm6lsZqf3yi9HdcxwSDCr3X_Q5rJu21rNQ-J06Y6BkJ0wr3Vi-mVscZ-7TVB1E_NztJ2lY-b431XvN5OhG39d2NM1u7XLXflJ_l3OD74B8huPUacMy-T3QEJwbHWZqc2OAnCxWYpclrqKBwqnmVl3_3EgWrvF8VEfpvifrxJQpFE6sTFMUTZffwD0bZ2Hqn0xKhqO_G0bhfLAmN4hLUTLsFf-6Plsw7p9TG0nbIbLBmdFXb8Unbg2o0YTdrHURfjnRLN1-v7xdKWvZiv3PqjeD6trY3mMu2jxrwKMBg9EDRSqbgaIlA12RfNlXlz7g_hK3xp23fYWtPQ_asBvSUVbgRdkWZYJYdn9OdM34U8JDuimPBiG133nrXjfdyHv3R-Z1Soj92aSPpbaOlE6MxiOIPnE1W3UnkSvsd6bEJAcp_nFGPu7Z4PWogWIgSk2-rSo72kgMj_YRBctj5H8yag53NT-MVlAsl1z_WsG-o9E62jDdAhGZhMWxETS24nUt6Nyk6fwa0v2CGvkkxOtyymsv1PauOfj7ZkUNJw4L1C-hk_0diEhWHE_HvVkZO1ZFgTKKiN2gxXX_CIjxq0K5JJBvctoPzz4bFe9Y4GcoyDov-2CCCU5Rpkp4E5Q-Dkyb9UfbkNgGOChiWYIu5PNFvj9OwgmG_pRlfLshIimAegdVK8JKsjMXargbCP_rL9RjmUS8iGkOqMswYaJmfChSlmHWlZF4qbRkF_j6RZv6KC9v__mVw8elmB9bcgu6CIOAGpFWVY5hSVhAWogSiiIVhBsOYsJgSnFeEREVIs9kZvYhoERX4jF2EWVRAlKAsPdtcZDSvCgbLimYYxlVVRIgUESzyBEMS5uUZv0DQcYZ5GEdxlM4YQziukiQvWZLFMApiyLaYi5m_uKb0-szf6rkIURpl4ZnAJRPGXwNFyAcoQkFydaYvvLXKZm2CGApurOk5WG6FvzrqJyRXYDG9lPbGDZ2zRouLf_0qUqf30wX6ZwAAAP__HlIb6Q">