maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Linalg] Add test for fusion of GenericOp with IndexedGenericOp. 

PiperOrigin-RevId: 285211797
This commit is contained in:
Alexander Belyaev 2019-12-12 09:56:12 -08:00 committed by A. Unique TensorFlower
parent f7bffad5a7
commit 1b579d998a
1 changed files with 56 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

57
mlir/test/Dialect/Linalg/fusion.mlir
View File

@ -3,7 +3,10 @@
#map0 = (d0) -> (d0 + 2)
#map1 = (d0) -> (d0 + 4)
#map2 = (d0) -> (d0 + 3)
#map3 = (d0)[s0, s1] -> (d0 * s1 + s0)
#map4 = (d0) -> (d0)
#map5 = (d0, d1)[s0, s1, s2] -> (d0 * s1 + s0 + d1 * s2)
#map6 = (d0, d1) -> (d0, d1)
// CHECK-DAG: #[[strided2D:.*]] = (d0, d1)[s0, s1] -> (d0 * s0 + d1 * s1)
func @f1(%A: memref<?x?xf32, offset: 0, strides: [?, 1]>, %B: memref<?x?xf32, offset: 0, strides: [?, 1]>, %C: memref<?x?xf32, offset: 0, strides: [?, 1]>, %D: memref<?x?xf32, offset: 0, strides: [?, 1]>, %E: memref<?x?xf32, offset: 0, strides: [?, 1]>) -> memref<?x?xf32, offset: 0, strides: [?, 1]> {
@ -384,3 +387,55 @@ func @pointwise_no_view(%M: index, %N: index) {
// CHECK: addf
// CHECK: linalg.generic
// CHECK: mulf
func @indexed_generic_test(%A: memref<?x?xf32>,
%B: memref<?x?xf32>,
%C: memref<?x?xf32>,
%D: memref<?x?xf32>) {
linalg.generic #pointwise_2d_trait %A, %B, %C {
^bb0(%e: f32, %arg5: f32, %arg6: f32): // no predecessors
%2 = addf %e, %arg5 : f32
linalg.yield %2 : f32
}: memref<?x?xf32>, memref<?x?xf32>, memref<?x?xf32>
%c1 = constant 1 : index
%c0 = constant 0 : index
%c25 = constant 25 : index
%c10 = constant 10 : index
%0 = dim %C, 0 : memref<?x?xf32>
%1 = dim %C, 1 : memref<?x?xf32>
%2 = dim %D, 0 : memref<?x?xf32>
%3 = dim %D, 1 : memref<?x?xf32>
loop.for %arg2 = %c0 to %0 step %c10 {
loop.for %arg3 = %c0 to %1 step %c25 {
%4 = std.subview %C[%arg2, %arg3][%c10, %c25][%c1, %c1] :
memref<?x?xf32> to memref<?x?xf32, #map5>
%5 = std.subview %D[%arg2, %arg3][%c10, %c25][%c1, %c1] :
memref<?x?xf32> to memref<?x?xf32, #map5>
linalg.indexed_generic {
indexing_maps = [#map6, #map6],
iterator_types = ["parallel", "parallel"],
args_in = 1,
args_out = 1
} %4, %5 {
^bb0(%arg4: index, %arg5: index, %arg6: f32, %arg7: f32):
%6 = addi %arg4, %arg2 : index
%7 = addi %arg5, %arg3 : index
%8 = index_cast %6 : index to i32
%9 = sitofp %8 : i32 to f32
%10 = index_cast %7 : index to i32
%11 = sitofp %10 : i32 to f32
%12 = addf %9, %11 : f32
linalg.yield %12 : f32
}: memref<?x?xf32, #map5>, memref<?x?xf32, #map5>
}
}
return
}
// CHECK-LABEL: func @indexed_generic_test
// CHECK: loop.for
// CHECK: loop.for
// CHECK-NOT: loop.for
// CHECK: linalg.generic
// CHECK: addf
// CHECK: linalg.indexed_generic
// CHECK: index_cast