1// RUN: mlir-opt %s -convert-linalg-to-std -split-input-file | FileCheck %s 2 3func.func private @printMemrefF32(memref<*xf32>) 4 5// CHECK: func private @linalg_fill_f32_viewsxsxf32(f32, memref<?x?xf32, {{.*}}>) attributes {llvm.emit_c_interface} 6// CHECK: func private @linalg_matmul_viewsxsxf32_viewsxsxf32_viewsxsxf32(memref<?x?xf32, {{.*}}>, memref<?x?xf32, {{.*}}>, memref<?x?xf32, {{.*}}>) attributes {llvm.emit_c_interface} 7 8func.func @matmul(%A: memref<?x?xf32>, %B: memref<?x?xf32>) -> (memref<?x?xf32>) { 9 %c0 = arith.constant 0 : index 10 %c1 = arith.constant 1 : index 11 %f0 = arith.constant 0.0 : f32 12 %x = memref.dim %A, %c0 : memref<?x?xf32> 13 %y = memref.dim %B, %c1 : memref<?x?xf32> 14 %C = memref.alloc(%x, %y) : memref<?x?xf32> 15 16 // CHECK: call @linalg_fill_f32_viewsxsxf32({{.*}}) : (f32, memref<?x?xf32, {{.*}}>) 17 linalg.fill ins(%f0 : f32) outs(%C : memref<?x?xf32>) 18 19 // CHECK: call @linalg_matmul_viewsxsxf32_viewsxsxf32_viewsxsxf32({{.*}}) : (memref<?x?xf32, {{.*}}>, memref<?x?xf32, {{.*}}>, memref<?x?xf32, {{.*}}>) -> () 20 linalg.matmul ins(%A, %B: memref<?x?xf32>, memref<?x?xf32>) 21 outs(%C: memref<?x?xf32>) 22 return %C : memref<?x?xf32> 23} 24 25// ----- 26 27#accesses = [ 28 affine_map<(d0) -> (d0)>, 29 affine_map<(d0) -> (d0)>, 30 affine_map<(d0) -> (d0)> 31 ] 32#trait = { 33 doc = "...", 34 indexing_maps = #accesses, 35 library_call = "test", 36 iterator_types = ["parallel"] 37} 38 39// CHECK: func.func private @linalg_copy_view32xf16as1_view32xf16as6(memref<32xf16, strided<[?], offset: ?>, 1>, memref<32xf16, strided<[?], offset: ?>, 6>) attributes {llvm.emit_c_interface} 40// CHECK: func.func private @linalg_copy_view32xf16as6_view32xf16as1(memref<32xf16, strided<[?], offset: ?>, 6>, memref<32xf16, strided<[?], offset: ?>, 1>) attributes {llvm.emit_c_interface} 41 42module { 43 func.func @helper(%arg7: memref<32xf16, 1>, %arg8: memref<32xf16, 1>, %arg9: memref<32xf16, 1>) { 44 %localA = memref.alloca() : memref<32xf16, 6> 45 %localB = memref.alloca() : memref<32xf16, 6> 46 %localOut = memref.alloca() : memref<32xf16, 6> 47 linalg.copy ins(%arg8 : memref<32xf16, 1>) outs(%localA : memref<32xf16, 6>) 48 linalg.copy ins(%arg9 : memref<32xf16, 1>) outs(%localB : memref<32xf16, 6>) 49 50 linalg.generic #trait 51 ins(%localA, %localB : memref<32xf16, 6>, memref<32xf16, 6>) 52 outs(%localOut : memref<32xf16, 6>) { 53 ^bb0(%0: f16, %1: f16, %2: f16) : 54 %e = arith.addf %1, %0: f16 55 linalg.yield %e : f16 56 } 57 58 linalg.copy ins(%localOut : memref<32xf16, 6>) outs(%arg7 : memref<32xf16, 1>) 59 return 60 } 61} 62 63 64// ----- 65 66// CHECK: func.func private @linalg_elemwise_unary_negf_view16x8xf32_view16x8xf32(memref<16x8xf32, strided<[?, ?], offset: ?>>, memref<16x8xf32, strided<[?, ?], offset: ?>>) attributes {llvm.emit_c_interface} 67// CHECK: func.func private @linalg_elemwise_unary_negf_view16xf32_view16xf32(memref<16xf32, strided<[?], offset: ?>>, memref<16xf32, strided<[?], offset: ?>>) attributes {llvm.emit_c_interface} 68 69func.func @test_neg(%A : memref<16x8xf32>, %B: memref<16x8xf32>, %C: memref<16xf32>, %D: memref<16xf32>) { 70 linalg.elemwise_unary {fun = #linalg.unary_fn<negf>} 71 ins(%A: memref<16x8xf32>) outs(%B: memref<16x8xf32>) 72 linalg.elemwise_unary {fun = #linalg.unary_fn<negf>} 73 ins(%C: memref<16xf32>) outs(%D: memref<16xf32>) 74 return 75} 76 77// ----- 78 79// CHECK: func.func private @linalg_elemwise_unary_exp_view16x8xf32_view16x8xf32(memref<16x8xf32, strided<[?, ?], offset: ?>>, memref<16x8xf32, strided<[?, ?], offset: ?>>) attributes {llvm.emit_c_interface} 80// CHECK: func.func private @linalg_elemwise_unary_exp_view16xf32_view16xf32(memref<16xf32, strided<[?], offset: ?>>, memref<16xf32, strided<[?], offset: ?>>) attributes {llvm.emit_c_interface} 81 82func.func @test_exp(%A : memref<16x8xf32>, %B: memref<16x8xf32>, %C: memref<16xf32>, %D: memref<16xf32>) { 83 linalg.elemwise_unary {fun = #linalg.unary_fn<exp>} 84 ins(%A: memref<16x8xf32>) outs(%B: memref<16x8xf32>) 85 linalg.elemwise_unary {fun = #linalg.unary_fn<exp>} 86 ins(%C: memref<16xf32>) outs(%D: memref<16xf32>) 87 return 88} 89 90// ----- 91 92// CHECK: func.func private @linalg_elemwise_binary_add_view16x8xf32_view16x8xf32_view16x8xf32(memref<16x8xf32, strided<[?, ?], offset: ?>>, memref<16x8xf32, strided<[?, ?], offset: ?>>, memref<16x8xf32, strided<[?, ?], offset: ?>>) attributes {llvm.emit_c_interface} 93// CHECK: func.func private @linalg_elemwise_binary_add_view16xf32_view16xf32_view16xf32(memref<16xf32, strided<[?], offset: ?>>, memref<16xf32, strided<[?], offset: ?>>, memref<16xf32, strided<[?], offset: ?>>) attributes {llvm.emit_c_interface} 94 95func.func @test_add(%A : memref<16x8xf32>, %B: memref<16x8xf32>, %C: memref<16x8xf32>, %D: memref<16xf32>, %E: memref<16xf32>, %F: memref<16xf32>) { 96 linalg.elemwise_binary {fun = #linalg.binary_fn<add>} 97 ins(%A, %B: memref<16x8xf32>, memref<16x8xf32>) outs(%C: memref<16x8xf32>) 98 linalg.elemwise_binary {fun = #linalg.binary_fn<add>} 99 ins(%D, %E: memref<16xf32>, memref<16xf32>) outs(%F: memref<16xf32>) 100 return 101} 102