[Mlir-commits] [mlir] 1b0bdff - [mlir][vector] Fix test case

[Matthias Springer]

Author: Matthias Springer
Date: 2023-07-10T18:04:25+02:00
New Revision: 1b0bdffbd3316bcf3ef1aaa48d25a8b22b9e99d7

URL: https://github.com/llvm/llvm-project/commit/1b0bdffbd3316bcf3ef1aaa48d25a8b22b9e99d7
DIFF: https://github.com/llvm/llvm-project/commit/1b0bdffbd3316bcf3ef1aaa48d25a8b22b9e99d7.diff

LOG: [mlir][vector] Fix test case

There was an invalid test case in `test-transfer-read-1d.mlir`. A read was going out-of-bounds, but the dimension was marked as in-bounds.

Differential Revision: https://reviews.llvm.org/D154855

Added: 
    

Modified: 
    mlir/test/Integration/Dialect/Vector/CPU/test-transfer-read-1d.mlir

Removed: 
    


################################################################################
diff  --git a/mlir/test/Integration/Dialect/Vector/CPU/test-transfer-read-1d.mlir b/mlir/test/Integration/Dialect/Vector/CPU/test-transfer-read-1d.mlir
index 1cc27e754f55b9..5ff849b22069a6 100644
--- a/mlir/test/Integration/Dialect/Vector/CPU/test-transfer-read-1d.mlir
+++ b/mlir/test/Integration/Dialect/Vector/CPU/test-transfer-read-1d.mlir
@@ -54,9 +54,10 @@ func.func @transfer_read_1d_unit_stride(%A : memref<?x?xf32>) {
 func.func @transfer_read_1d_non_static_unit_stride(%A : memref<?x?xf32>) {
   %c1 = arith.constant 1 : index
   %c2 = arith.constant 2 : index
+  %c4 = arith.constant 4 : index
   %c6 = arith.constant 6 : index
   %fm42 = arith.constant -42.0: f32
-  %1 = memref.reinterpret_cast %A to offset: [%c6], sizes: [%c1, %c2],  strides: [%c6, %c1]
+  %1 = memref.reinterpret_cast %A to offset: [%c6], sizes: [%c4, %c6],  strides: [%c6, %c1]
       : memref<?x?xf32> to memref<?x?xf32, strided<[?, ?], offset: ?>>
   %2 = vector.transfer_read %1[%c2, %c1], %fm42 {in_bounds=[true]}
       : memref<?x?xf32, strided<[?, ?], offset: ?>>, vector<4xf32>