78 lines · plain
1// RUN: mlir-opt -split-input-file -convert-func-to-emitc %s | FileCheck %s2// RUN: mlir-opt -split-input-file -convert-to-emitc="filter-dialects=func" %s | FileCheck %s3 4// CHECK-LABEL: emitc.func @foo()5// CHECK-NEXT: return6func.func @foo() {7 return8}9 10// -----11 12// CHECK-LABEL: emitc.func private @foo() attributes {specifiers = ["static"]}13// CHECK-NEXT: return14func.func private @foo() {15 return16}17 18// -----19 20// CHECK-LABEL: emitc.func @foo(%arg0: i32)21func.func @foo(%arg0: i32) {22 emitc.call_opaque "bar"(%arg0) : (i32) -> ()23 return24}25 26// -----27 28// CHECK-LABEL: emitc.func @foo(%arg0: i32) -> i3229// CHECK-NEXT: return %arg0 : i3230func.func @foo(%arg0: i32) -> i32 {31 return %arg0 : i3232}33 34// -----35 36// CHECK-LABEL: emitc.func @foo(%arg0: i32, %arg1: i32) -> i3237func.func @foo(%arg0: i32, %arg1: i32) -> i32 {38 %0 = "emitc.add" (%arg0, %arg1) : (i32, i32) -> i3239 return %0 : i3240}41 42// -----43 44// CHECK-LABEL: emitc.func private @return_i32(%arg0: i32) -> i32 attributes {specifiers = ["static"]}45// CHECK-NEXT: return %arg0 : i3246func.func private @return_i32(%arg0: i32) -> i32 {47 return %arg0 : i3248}49 50// CHECK-LABEL: emitc.func @call(%arg0: i32) -> i3251// CHECK-NEXT: %0 = call @return_i32(%arg0) : (i32) -> i3252// CHECK-NEXT: return %0 : i3253func.func @call(%arg0: i32) -> i32 {54 %0 = call @return_i32(%arg0) : (i32) -> (i32)55 return %0 : i3256}57 58// -----59 60// CHECK-LABEL: emitc.func private @return_i32(i32) -> i32 attributes {specifiers = ["extern"]}61func.func private @return_i32(%arg0: i32) -> i3262 63// -----64 65// CHECK-LABEL: emitc.func private @return_void() attributes {specifiers = ["static"]}66// CHECK-NEXT: return67func.func private @return_void() {68 return69}70 71// CHECK-LABEL: emitc.func @call()72// CHECK-NEXT: call @return_void() : () -> ()73// CHECK-NEXT: return74func.func @call() {75 call @return_void() : () -> ()76 return77}78