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

[Andrzej Warzyński]

================
@@ -766,6 +766,16 @@ func.func @extract_strided_slice(%arg0: vector<4x8x16xf32>) {
   %1 = vector.extract_strided_slice %arg0 {offsets = [2], sizes = [2], strides = [1]} : vector<4x8x16xf32> to vector<3x1xf32>
 }
 
+// -----
+
+ func.func @extract_strided_slice() -> () {
+  // expected-error at +1 {{expected input vector rank to match target shape rank}}
+  %0 = arith.constant dense<1.000000e+00> : vector<24x2x2xf32>
----------------
banach-space wrote:

IIUC, this could be an argument? Lets reduce the number of Ops in this test to the required minimum.

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