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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] `mlir::vector::TransferWriteOp::getSource() ` 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  b4c54b20
Reproduced with:  
`mlir-opt "--convert-vector-to-scf=full-unroll target-rank=0" temp.mlir`

temp.mlir:
``` milr 

  func.func private @func2(%arg0: vector<22xf16>, %arg1: vector<22xf16>, %arg2: vector<22x22x22xf16>) {
    %c1_i64 = arith.constant 1774520363 : i64
 %c1_i32 = arith.constant 1268727148 : i32 
    %c1 = arith.constant 1 : index 
    %c31 = arith.constant 31 : index
    %6 = tensor.empty(%c1, %c31, %c1) : tensor<?x?x?xf16>
    %alloc_17 = memref.alloc(%c1) : memref<?x22xi32>
    %42 = affine.if affine_set<(d0) : ((d0 + 64) ceildiv 64 >= 0, (d0 - (d0 + 64) - d0 ceildiv 64) floordiv 128 == 0)>(%c31) -> i64 {
      %136 = tensor.empty() : tensor<i1>
      %141 = vector.broadcast %c1_i32 : i32 to vector<3xi32>
 vector.transfer_write %141, %alloc_17[%c1, %c1] {permutation_map = affine_map<(d0, d1) -> (d0)>} : vector<3xi32>, memref<?x22xi32>
 affine.yield %c1_i64 : i64
    } else {
      affine.yield %c1_i64 : i64
    }
    %43 = math.log %6 : tensor<?x?x?xf16>
    return
 }
```
 
trace:
```console
Assertion failed: (isa<To>(Val) && "cast<Ty>() argument of incompatible type!"), function cast, file Casting.h, line 566.
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 "--convert-vector-to-scf=full-unroll target-rank=0" temp.mlir
 #0 0x00000001024b0548 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8548)
 #1 0x00000001024ae7e4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f67e4)
 #2 0x00000001024b0bf4 SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f8bf4)
 #3 0x00000001a46cd4c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
 #4 0x00000001a46b5ee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
 #5 0x00000001a45f0340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
 #6 0x00000001a45ef754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
 #7 0x00000001068a64dc mlir::vector::TransferWriteOp::getSource() (.cold.1) (/workspace/build/bin/mlir-opt+0x1046ee4dc)
 #8 0x000000010418854c mlir::vector::TransferWriteOp::getSource() (/workspace/build/bin/mlir-opt+0x101fd054c)
 #9 0x00000001045e0498 (anonymous namespace)::lowering_n_d_unrolled::UnrollTransferWriteConversion::matchAndRewrite(mlir::vector::TransferWriteOp, mlir::PatternRewriter&) const (/workspace/build/bin/mlir-opt+0x102428498)
#10 0x0000000106153b74 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>)::$_2::operator()() const (/workspace/build/bin/mlir-opt+0x103f9bb74)
#11 0x0000000106150e70 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>) (/workspace/build/bin/mlir-opt+0x103f98e70)
#12 0x0000000104b992b4 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() (/workspace/build/bin/mlir-opt+0x1029e12b4)
#13 0x0000000104b96ae4 mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/workspace/build/bin/mlir-opt+0x1029deae4)
#14 0x00000001045e79c4 (anonymous namespace)::ConvertVectorToSCFPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x10242f9c4)
#15 0x0000000104b39e34 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102981e34)
#16 0x0000000104b3a524 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102982524)
#17 0x0000000104b3c3bc mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x1029843bc)
#18 0x0000000104b34808 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x10297c808)
#19 0x0000000104b33d30 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+0x10297bd30)
#20 0x0000000104bb2be0 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+0x1029fabe0)
#21 0x0000000104b2e6e4 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+0x1029766e4)
#22 0x0000000104b2eb54 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x102976b54)
#23 0x00000001021bb58c main (/workspace/build/bin/mlir-opt+0x10000358c)
#24 0x000000010d879088 

``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWVtv47rx_zTKCxGDIqnbQx68dvz_L7DBBsn2nEeDkkY2uxSpklQ27qcvqEtsOntJfA7aou0im-gynMtvfpwZSdxasVMAN1HyIUrWV7x3e21uVlpK3WnjeouvSl0fbu4-fXxAZS-kQ9yhSretcAiVrEpYSXCE1xFePkBndN1XUKNvwu0jukRovBOluJXCXOvOoYiQ6-tKqycw7voJKqfNtdPXtmoium56Ka97ZbSUyHGzA3dtuPoa0TWOCEEO2m7hNUXpZHP8fbxOly8Wxx_UCmnQqTBCTa-qhf-FOiOeuAMUMezPSUTyiCTc7LD3fvQuoitCnps4jehtRFZoFIh_JUDOBcafWaxAUfZhdgj5NVW8FSlDEV0jboTbLyqtrOPKoTjLWEIwTSnySkXKpoXTKkq-u4qkeUaymOXjKi8V2vvuqlFY1fB8Jk6_K09PFgTy6SDtQFltFtB27jCCW8UTRhV9OYoHPOhyEo_oKqKb5_n_BNmpci6lrrZxNthooTXQLIZrRxujwvHepJCQZ0HJuS42odc0QsFCNNPR1oLz60he41nboD2vMYrIB5Qyf7kCIWvxhIbM3XpFeIzKi12jc_FrVOOTNf5SI7U2_jQmPlPrSUcx0CSfgSrQdURv0cCQU-IMIcT0B2ifoSriIPhxLRvzOlJ1URrN64pbF5BrpI_TR0LTEMpptTNc2QbM9psRflsN6uc9MeXMl5pTGsRRsvYxdWDa3nEntNq2vDtJij89pmKF6iMec3q8J9kaBXvuxUWy-jkPptQfBMg62Imne82jla0RSAvnGXjH-pB5dOQvd_uF1Lt517xxGxhwvVFzJZhVvxS--cZYIA2v4HVx9LtYSxivLq0F49FHDRcS6onwwvKIrr7okY6_cTmwiqQRSX0t91Tx9w8zXQvEza5vQTmkGyRUpduOO1FKQO7QQUTiiBCfMbIaCvFgcdDiLwgJaMWtE2q32PsrUihASZouRifvP90uH2-R7UvfgDgq-x0y4FuVZ-feuc76MMkmIpudcPu-XFS6jchGyqf5z3Vn9F-hchHZCGt7sBHZIK5q76zsa0BuD6gy3O5RyauvA3aT-UfHq6-o7tvuBUy8iHBxb_TO8PYldDvUnj-35c0ln2KEn_H4L8aElThhORrio8uILu3Bjgf3Rig3ePxlSD_Jj0KGf9tq6wzwdsjlCgnlxszmEdl80-ar7YZFG9_1a_9XqIhs5qAi8gE_xxiTJk-YT_vRvzj0j0MG7Hv-PfTqUewUl__PVS3B2LlkvduFNAMWuEDOISobhgJjntkXR1w2oTl6Yo6ztKpZxSa9vTWedqKMyMYerIN2PB2Pt53krtGmXdSHQcabyDFlMatCEyw0USYA-I0m3N4Ar88skAIABxaSwELSYMreaKEKdZOUURbqTkPd0GTJGwF6pZtmSYhMdprrNOcpqys0D4N0ObcDf_xlak-_--70uRsv7sA96t4MG2Tiw6LSsl7EF7CDpQCsrgIH81MHWZznCfujDr7HpbipccJCl4rApQQwK3KvlyutDq3uLVK8hUl9Mboh9TcwQu22altvx4I1NImILv8ynAXOr4ZyZ4VWo0jLXbVfqvoBhtEgIvnbEPC9-0XwnjsHRk06zFC5CjTMou9FhTCSs-JYuHzdCgprGie0zNhr68uuk6LiLx7_LLLPHZhhoonI8tehrE6q5Nwat-PYUmotUaB6UjBGPyIxzTo_VPKkRf2HlRwXf9I7UXH5ALaX7m16JypFhG3JeKgHhLQZuT0x_KKM0qYoy4wFGY3PMoohw__L6J-a0QvSlEOGgzQF7ZqVRUFK9qty9H8GoD6EoK-NeILJ4c7oCqz9XZuvUniXL6mdpICYlCGn6JmzKYfTKsG7Ts5u2aWqN1rWg69CHgJEH2A30CgNabQx-u8wBzTpeQR3Avyp9IjCJL3SqhE7L-DJNRD0gohr4BBGzM66RVZUv0zPWP_db0Np_6IfV5t7bqfBz_TqszrZSBdlhpGmqEI_kzAztAB6mpkaHBdy3sZf9OfOu7Ssefey802vzlhv7auN_uMSsFRcHqywd1zxnS8BcyZWqFfDm7b6wjmbFHkMNAw3PQuXJ-T94d6LDvwz1lmR86IvUaR_evxh3bT2o7LODE9OvhO8KqynAqPl8cbk-z03oNxH1eh5l1zG_JwkJIQ4O4O4omV15tkc63f5E0J1iUuMllXgUn7mEstxjjow_iliOZR1-4snPeumsW27jadHsj03UG87ZyK6Oi4dp867nYno7Q_qz92njw8rrRw8u1d5u5PCfO7cHRdqrEynzeP9UGRVjsN5rTiDgtb0tLuH3eyS9vcaqV6Jv_XwCqk7aLU5fOibZmT964U1NLyXbluDBAc_XkxvX7Xr8wwOjXe4U3EpS1593TYqCOQE-Xdz4Z8X4dHfteASKuc7onXm8JplP2PScaSMx3dQUqvdvzq2n2TvAuaXNQ0GJoJD5pekhFPm204Kt1T1_TgDzZH9m_D5P2L__VTi2PbGvxfkvOElhDmPw5wTSIO5879qz1-wh9I0nGoJOcezTH6M5zS1VHs-zifLkACPzgi1e4Dm1zFe5HuZhL4HzyAkLsskr1DLhXr320yMaZIHEwYJxv06zwqc58EX1OPH1av6htYFLfgV3MRpgXOcM5Je7W_qJsYpT7KiyrM4L2JcAU1TlvEkS4umKq7EDcGE4ozGMcU4zhaQVwXhZVEmNSSkpBHD0HIhFx7lhTa7q-Fl_U3KSFpcSV6CtMNna0IUfEPDzYiQKFlfmZvhNX_Z72zEsH_6s0ctTjg5fO8e0pSs0fRx-tKXcSkevxVMX70RDz6j9AYu_0py1Rt5c_k3jQGpfwQAAP__eMV-Zw">