[Mlir-commits] [mlir] [mlir][vector] Check the indices when inferring in_bounds from a permutation map (PR #221268)

[Federico Bruzzone]

================
@@ -0,0 +1,103 @@
+// RUN: mlir-opt %s -affine-super-vectorize="virtual-vector-size=8" -split-input-file | FileCheck %s
+
+// The dimension is divisible by the vector size, but the index is offset by
+// one, so the last vector runs past the end of the memref.
+
+// CHECK-LABEL: func.func @offset_index
+//       CHECK:   affine.for %{{.*}} = 0 to 15 step 8 {
+//       CHECK:     vector.transfer_read %{{.*}}[%{{.*}}], %{{[0-9]+}} : memref<16xf32>, vector<8xf32>
+//       CHECK:     vector.transfer_write %{{.*}}, %{{.*}}[%{{[a-z0-9]+}}] : vector<8xf32>, memref<16xf32>
----------------
FedericoBruzzone wrote:

Eventually, same for other tests.

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