[Mlir-commits] [mlir] [mlir][vector] Add a check to ensure input vector rank equals target shape rank (PR #127706)

[Prakhar Dixit]

================
@@ -768,6 +768,15 @@ func.func @extract_strided_slice(%arg0: vector<4x8x16xf32>) {
 
 // -----
 
+func.func @extract_strided_slice(%arg0: vector<3x2x2xf32>) {
+  // expected-error at +1 {{expected input vector rank to match target shape rank}}
----------------
Prakhar-Dixit wrote:

> I looked at the error in CI:
> 
> * https://buildkite.com/llvm-project/github-pull-requests/builds/150611#annotation-windows-x64-test-results
> 
> ```shell
> # .---command stderr------------
> # | within split at C:\ws\src\mlir\test\Dialect\Vector\invalid.mlir:769 offset :5:8: error: unexpected error: 'vector.extract_strided_slice' op expected result type to be 'vector<2x2x2xf32>'
> # |   %1 = vector.extract_strided_slice %arg0 {offsets = [0, 0], sizes = [2, 2], strides = [1, 1]}:
> # |        ^
> # | within split at C:\ws\src\mlir\test\Dialect\Vector\invalid.mlir:769 offset :4:6: error: expected error "expected input vector rank to match target shape rank" was not produced
> # |   // expected-error at +1 {{expected input vector rank to match target shape rank}}
> # |      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> # `-----------------------------
> ```
> 
> I can reproduce this locally on non-Windows machine. @Prakhar-Dixit , does this test pass for you?

I have no clue how to handle this. I would be very grateful if you could help :pray: 

https://github.com/llvm/llvm-project/pull/127706