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

[Andrzej Warzyński]

================
@@ -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}}
----------------
banach-space wrote:

I looked at the error in CI:
* https://buildkite.com/llvm-project/github-pull-requests/builds/150611#annotation-windows-x64-test-results

```bash
# .---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?

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