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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] vector.transfer_read and vector.transfer_write allow different source and destination element type
        </td>
    </tr>

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

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

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

<pre>
    Originally posted by @banach-space in https://github.com/llvm/llvm-project/pull/133721#discussion_r2024763522

The test case can be found at 

`mlir/test/Dialect/Vector/invalid.mlir:528`

```mlir
func.func @test_vector.transfer_read(%arg1: memref<?xindex>) -> vector<3x4xi32> {
 %c3 = arith.constant 3 : index
  // expected-error@+1 {{expected a custom permutation_map when source rank is less than required for vector rank}}
 %0 = vector.transfer_read %arg1[%c3, %c3], %c3 : memref<?xindex>, vector<3x4xi32>
  return %0 : vector<3x4xi32>
}
```


`mlir/test/Dialect/Vector/invalid.mlir:658`

```mlir
func.func @test_vector.transfer_write(%vec_to_write: vector<3x4xi32>, %output_memref: memref<?xindex>) {
  %c3 = arith.constant 3 : index
  // expected-error@+1 {{expected a custom permutation_map when result rank is less than required for vector rank}}
  vector.transfer_write %vec_to_write, %output_memref[%c3, %c3] : vector<3x4xi32>, memref<?xindex>
}
```




</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzEVMuO67YS_JrWpjEGRephL7SQ7ePt3Vxka9BSy2JCkQofHvvvA1HjCZCMB8jJIgAhCewHu4qlkt6rqyFqoNxDecxkDKN1TW_jQ92jNNnF9o_mf05dlZFaP3C2PlCPlwdCwS7SyG5887PsCJXBMYTZg2iBn4CfriqM8bLp7AT8pPXt-Xqbnf2VugD8NEetgZ9yIWqeAxe98l30Xllzdpzxoq5EyTmwFlj7_5EwkA_YSU_YSYMXwsFG06MMuOZAxSatHPDTkgn8dFRSr0f9Ql2wS0SZm9Sq36RE0ZZ8CxX7LF9XirF2iKbbLI8F7NLxfEtdNsFJ4wdyZ0eyB74FXkp3zUG0ONHkaABxAHG6K9PTHcQP4Dt8A_ED13oQB3Ev7krwZQ_qPbAWgZedQBBHlE6FcdNZ44M0AZfNFtdWrEVc2UW6z9QF6t_IOeugYMD3eWpW758xlNhFH-yEM7kpBhkWaic54_tIBr2NriN00vyGyqMm7zGM0qCj36Ny1ONg3cfMKQvq47LWaVka9itG8MlHuU-ogB9WeFAeP7_xG7YOXxGVwDsK0Znn8e2LvHXIz-v8uN2f0kdV_ht9vDsVaBXIjbpzsB87LyZfubExzDGcn9x8o6kP6fwX2nHkow4_pZ2_aSZxgn_l6CsyvhDUSxnwwwvivtEHa7O-Ef1O7GRGTV4XotpV9Y5lYyPYhYma78RWbovdUAxDXm2pryWVshiKOlMNZ7xkBRN5lYucbWTJu4FxsS27muUFg4LRJJXeLC64se6aKe8jNbkoeLXNtLyQ9smJOV9lyhdPdk1yzUu8eiiYVj74PzsEFXRy71RQvvgfpelfkC61tu_Yq2EgRyY8LWEp6MkHZdK1I2malnB4zJRFp5t_bPUJqk9mn9DeGv5HAAAA__9-bwll">