xref: /llvm-project/mlir/test/Integration/Dialect/Vector/CPU/scan.mlir (revision eb206e9ea84eff0a0596fed2de8316d924f946d1)
1// RUN: mlir-opt %s -test-vector-scan-lowering -test-lower-to-llvm  | \
2// RUN: mlir-runner -e entry -entry-point-result=void  \
3// RUN:   -shared-libs=%mlir_c_runner_utils | \
4// RUN: FileCheck %s
5
6func.func @entry() {
7  %f1 = arith.constant 1.0: f32
8  %f2 = arith.constant 2.0: f32
9  %f3 = arith.constant 3.0: f32
10  %f4 = arith.constant 4.0: f32
11  %f5 = arith.constant 5.0: f32
12  %f6 = arith.constant 6.0: f32
13
14  // Construct test vector.
15  %0 = vector.broadcast %f1 : f32 to vector<3x2xf32>
16  %1 = vector.insert %f2, %0[0, 1] : f32 into vector<3x2xf32>
17  %2 = vector.insert %f3, %1[1, 0] : f32 into vector<3x2xf32>
18  %3 = vector.insert %f4, %2[1, 1] : f32 into vector<3x2xf32>
19  %4 = vector.insert %f5, %3[2, 0] : f32 into vector<3x2xf32>
20  %x = vector.insert %f6, %4[2, 1] : f32 into vector<3x2xf32>
21  vector.print %x : vector<3x2xf32>
22  // CHECK:  ( ( 1, 2 ), ( 3, 4 ), ( 5, 6 ) )
23
24  %y = vector.broadcast %f6 : f32 to vector<2xf32>
25  %z = vector.broadcast %f6 : f32 to vector<3xf32>
26  // Scan
27  %a:2 = vector.scan <add>, %x, %y {inclusive = true, reduction_dim = 0} :
28    vector<3x2xf32>, vector<2xf32>
29  %b:2 = vector.scan <add>, %x, %z {inclusive = true, reduction_dim = 1} :
30    vector<3x2xf32>, vector<3xf32>
31  %c:2 = vector.scan <add>, %x, %y {inclusive = false, reduction_dim = 0} :
32    vector<3x2xf32>, vector<2xf32>
33  %d:2 = vector.scan <add>, %x, %z {inclusive = false, reduction_dim = 1} :
34    vector<3x2xf32>, vector<3xf32>
35
36  // CHECK: ( ( 1, 2 ), ( 4, 6 ), ( 9, 12 ) )
37  // CHECK: ( 9, 12 )
38  // CHECK: ( ( 1, 3 ), ( 3, 7 ), ( 5, 11 ) )
39  // CHECK: ( 3, 7, 11 )
40  // CHECK: ( ( 6, 6 ), ( 7, 8 ), ( 10, 12 ) )
41  // CHECK: ( 10, 12 )
42  // CHECK: ( ( 6, 7 ), ( 6, 9 ), ( 6, 11 ) )
43  // CHECK: ( 7, 9, 11 )
44  vector.print %a#0 : vector<3x2xf32>
45  vector.print %a#1 : vector<2xf32>
46  vector.print %b#0 : vector<3x2xf32>
47  vector.print %b#1 : vector<3xf32>
48  vector.print %c#0 : vector<3x2xf32>
49  vector.print %c#1 : vector<2xf32>
50  vector.print %d#0 : vector<3x2xf32>
51  vector.print %d#1 : vector<3xf32>
52
53  return
54}
55