Mercurial > hg > CbC > CbC_llvm

annotate mlir/test/Dialect/Linalg/parallel_loops.mlir @ 173:0572611fdcc8 llvm10 llvm12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: mlir-opt %s -convert-linalg-to-parallel-loops -split-input-file | FileCheck %s --dump-input-on-failure
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 #map0 = affine_map<(d0, d1) -> (d0, d1)>
anatofuz
parents:
diff changeset
4 func @linalg_generic_sum(%lhs: memref<2x2xf32>,
anatofuz
parents:
diff changeset
5 %rhs: memref<2x2xf32>,
anatofuz
parents:
diff changeset
6 %sum: memref<2x2xf32>) {
anatofuz
parents:
diff changeset
7 linalg.generic {
anatofuz
parents:
diff changeset
8 args_in = 2 : i64,
anatofuz
parents:
diff changeset
9 args_out = 1 : i64,
anatofuz
parents:
diff changeset
10 indexing_maps = [#map0, #map0, #map0],
anatofuz
parents:
diff changeset
11 iterator_types = ["parallel", "parallel"]
anatofuz
parents:
diff changeset
12 } %lhs, %rhs, %sum {
anatofuz
parents:
diff changeset
13 ^bb0(%lhs_in: f32, %rhs_in: f32, %sum_out: f32): // no predecessors
anatofuz
parents:
diff changeset
14 %0 = addf %lhs_in, %rhs_in : f32
anatofuz
parents:
diff changeset
15 linalg.yield %0 : f32
anatofuz
parents:
diff changeset
16 }: memref<2x2xf32>, memref<2x2xf32>, memref<2x2xf32>
anatofuz
parents:
diff changeset
17 return
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19 // CHECK-LABEL: @linalg_generic_sum
anatofuz
parents:
diff changeset
20 // CHECK: (%[[LHS:.*]]:{{.*}}, %[[RHS:.*]]:{{.*}}, %[[SUM:.*]]:{{.*}})
anatofuz
parents:
diff changeset
21 // CHECK-DAG: %[[C2:.*]] = constant 2
anatofuz
parents:
diff changeset
22 // CHECK-DAG: %[[C0:.*]] = constant 0
anatofuz
parents:
diff changeset
23 // CHECK-DAG: %[[C1:.*]] = constant 1
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
24 // CHECK: scf.parallel (%[[I:.*]], %[[J:.*]]) = {{.*}}
150
anatofuz
parents:
diff changeset
25 // CHECK: %[[LHS_ELEM:.*]] = load %[[LHS]][%[[I]], %[[J]]]
anatofuz
parents:
diff changeset
26 // CHECK: %[[RHS_ELEM:.*]] = load %[[RHS]][%[[I]], %[[J]]]
anatofuz
parents:
diff changeset
27 // CHECK: %[[SUM:.*]] = addf %[[LHS_ELEM]], %[[RHS_ELEM]] : f32
anatofuz
parents:
diff changeset
28 // CHECK: store %[[SUM]], %{{.*}}[%[[I]], %[[J]]]
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
29 // CHECK: scf.yield
150
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 // -----
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 #accesses = [
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
34 affine_map<(d0, d1, d2, d3) -> (d0, d1, d2, d3)>,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
35 affine_map<(d0, d1, d2, d3) -> (d0, d1, d3)>
150
anatofuz
parents:
diff changeset
36 ]
anatofuz
parents:
diff changeset
37 #trait = {
anatofuz
parents:
diff changeset
38 args_in = 1,
anatofuz
parents:
diff changeset
39 args_out = 1,
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
40 iterator_types = ["parallel", "parallel", "reduction", "parallel"],
150
anatofuz
parents:
diff changeset
41 indexing_maps = #accesses
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
44 func @lower_outer_parallel(%A: memref<?x?x?x?xf32>, %B: memref<?x?x?xf32>) {
150
anatofuz
parents:
diff changeset
45 linalg.generic #trait %A, %B {
anatofuz
parents:
diff changeset
46 ^bb0(%a: f32, %b: f32):
anatofuz
parents:
diff changeset
47 linalg.yield %a: f32
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
48 } : memref<?x?x?x?xf32>, memref<?x?x?xf32>
150
anatofuz
parents:
diff changeset
49 return
anatofuz
parents:
diff changeset
50 }
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
51 // CHECK-LABEL: @lower_outer_parallel
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
52 // CHECK-DAG: %[[C0:.*]] = constant 0
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
53 // CHECK-DAG: %[[C1:.*]] = constant 1
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
54 // CHECK-DAG: %[[D0:.*]] = dim %{{.*}}, 0
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
55 // CHECK-DAG: %[[D1:.*]] = dim %{{.*}}, 1
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
56 // CHECK-DAG: %[[D2:.*]] = dim %{{.*}}, 2
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
57 // CHECK-DAG: %[[D3:.*]] = dim %{{.*}}, 3
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
58 // CHECK: scf.parallel (%[[IV0:.*]], %[[IV1:.*]]) = (%[[C0]], %[[C0]]) to (%[[D0]], %[[D1]]) step (%[[C1]], %[[C1]])
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
59 // CHECK: scf.for %[[IV2:.*]] = %[[C0]] to %[[D2]] step %[[C1]]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
60 // CHECK: scf.for %[[IV3:.*]] = %[[C0]] to %[[D3]] step %[[C1]]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
61 // CHECK: load %{{.*}}[%[[IV0]], %[[IV1]], %[[IV2]], %[[IV3]]]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
62 // CHECK: store %{{.*}}, %{{.*}}[%[[IV0]], %[[IV1]], %[[IV3]]]