1// RUN: mlir-opt %s -vector-bufferize -split-input-file | FileCheck %s
2
3// CHECK-LABEL: func @transfer_read(
4//  CHECK-SAME:     %[[t:.*]]: tensor<?x?xf32>, %[[o1:.*]]: index, %[[o2:.*]]: index, %[[pad:.*]]: f32)
5//       CHECK:   %[[m:.*]] = bufferization.to_memref %[[t]] : memref<?x?xf32>
6//       CHECK:   %[[r:.*]] = vector.transfer_read %[[m]][%[[o1]], %[[o2]]], %[[pad]] {in_bounds = [true, false]} : memref<?x?xf32>, vector<5x6xf32>
7//       CHECK:   return %[[r]]
8func.func @transfer_read(%t: tensor<?x?xf32>, %o1: index,
9                    %o2: index, %pad: f32) -> vector<5x6xf32> {
10  %0 = vector.transfer_read %t[%o1, %o2], %pad {in_bounds = [true, false]}
11      : tensor<?x?xf32>, vector<5x6xf32>
12  return %0 : vector<5x6xf32>
13}
14
15// -----
16
17// CHECK-LABEL: func @transfer_write(
18//  CHECK-SAME:     %[[t:.*]]: tensor<?x?xf32>, %[[o1:.*]]: index, %[[o2:.*]]: index, %[[vec:.*]]: vector<5x6xf32>)
19//       CHECK:   %[[m:.*]] = bufferization.to_memref %[[t]] : memref<?x?xf32>
20//       CHECK:   %[[alloc:.*]] = memref.alloc(%{{.*}}, %{{.*}}) {{.*}} : memref<?x?xf32>
21//       CHECK:   memref.copy %[[m]], %[[alloc]]
22//       CHECK:   vector.transfer_write %[[vec]], %[[alloc]][%[[o1]], %[[o2]]] {in_bounds = [true, false]} : vector<5x6xf32>, memref<?x?xf32>
23//       CHECK:   %[[r:.*]] = bufferization.to_tensor %[[alloc]] : memref<?x?xf32>
24//       CHECK:   return %[[r]]
25func.func @transfer_write(%t: tensor<?x?xf32>, %o1: index,
26                     %o2: index, %vec: vector<5x6xf32>) -> tensor<?x?xf32> {
27  %0 = vector.transfer_write %vec, %t[%o1, %o2] {in_bounds = [true, false]}
28      : vector<5x6xf32>, tensor<?x?xf32>
29  return %0 : tensor<?x?xf32>
30}
31