66 lines · plain
1// RUN: mlir-opt -llvm-request-c-wrappers -convert-func-to-llvm %s | FileCheck %s2 3// CHECK: llvm.func private @res_attrs_with_memref_return() -> (!llvm.struct{{.*}} {test.returnOne})4// CHECK-LABEL: llvm.func @_mlir_ciface_res_attrs_with_memref_return5// CHECK-SAME: !llvm.ptr6// CHECK-NOT: test.returnOne7func.func private @res_attrs_with_memref_return() -> (memref<f32> {test.returnOne})8 9// CHECK: llvm.func private @res_attrs_with_value_return() -> (f32 {test.returnOne = 1 : i64})10// CHECK-LABEL: llvm.func @_mlir_ciface_res_attrs_with_value_return11// CHECK-SAME: -> (f32 {test.returnOne = 1 : i64})12func.func private @res_attrs_with_value_return() -> (f32 {test.returnOne = 1})13 14// CHECK: llvm.func private @multiple_return() -> !llvm.struct<{{.*}}>15// CHECK-LABEL: llvm.func @_mlir_ciface_multiple_return16// CHECK-NOT: test.returnOne17// CHECK-NOT: test.returnTwo18// CHECK-NOT: test.returnThree19func.func private @multiple_return() -> (memref<f32> {test.returnOne = 1}, f32 {test.returnTwo = 2, test.returnThree = 3})20 21// CHECK: llvm.func private @multiple_return_missing_res_attr() -> !llvm.struct<{{.*}}>22// CHECK-LABEL: llvm.func @_mlir_ciface_multiple_return_missing_res_attr23// CHECK-NOT: test.returnOne24// CHECK-NOT: test.returnTwo25// CHECK-NOT: test.returnThree26func.func private @multiple_return_missing_res_attr() -> (memref<f32> {test.returnOne = 1}, i64, f32 {test.returnTwo = 2, test.returnThree = 3})27 28// CHECK: llvm.func private @one_arg_attr_no_res_attrs_with_memref_return({{.*}}) -> !llvm.struct{{.*}}29// CHECK-LABEL: llvm.func @_mlir_ciface_one_arg_attr_no_res_attrs_with_memref_return30// CHECK-SAME: !llvm.ptr31// CHECK-SAME: !llvm.ptr32// CHECK-SAME: {test.argOne = 1 : i64})33func.func private @one_arg_attr_no_res_attrs_with_memref_return(%arg0: memref<f32> {test.argOne = 1}) -> memref<f32>34 35// CHECK: llvm.func private @one_arg_attr_one_res_attr_with_memref_return({{.*}}) -> (!llvm.struct<{{.*}}> {test.returnOne = 1 : i64})36// CHECK-LABEL: llvm.func @_mlir_ciface_one_arg_attr_one_res_attr_with_memref_return37// CHECK-SAME: !llvm.ptr38// CHECK-NOT: test.returnOne39// CHECK-SAME: !llvm.ptr40// CHECK-SAME: {test.argOne = 1 : i64})41func.func private @one_arg_attr_one_res_attr_with_memref_return(%arg0: memref<f32> {test.argOne = 1}) -> (memref<f32> {test.returnOne = 1})42 43// CHECK: llvm.func private @one_arg_attr_one_res_attr_with_value_return({{.*}}) -> (f32 {test.returnOne = 1 : i64})44// CHECK-LABEL: llvm.func @_mlir_ciface_one_arg_attr_one_res_attr_with_value_return45// CHECK-SAME: !llvm.ptr46// CHECK-SAME: {test.argOne = 1 : i64}47// CHECK-SAME: -> (f32 {test.returnOne = 1 : i64})48func.func private @one_arg_attr_one_res_attr_with_value_return(%arg0: memref<f32> {test.argOne = 1}) -> (f32 {test.returnOne = 1})49 50// CHECK: llvm.func private @multiple_arg_attr_multiple_res_attr({{.*}}) -> !llvm.struct<{{.*}}>51// CHECK-LABEL: llvm.func @_mlir_ciface_multiple_arg_attr_multiple_res_attr52// CHECK-SAME: !llvm.ptr53// CHECK-NOT: test.returnOne54// CHECK-NOT: test.returnTwo55// CHECK-SAME: !llvm.ptr56// CHECK-SAME: {test.argZero = 0 : i64}57// CHECK-SAME: f3258// CHECK-SAME: i32 {test.argTwo = 2 : i64})59func.func private @multiple_arg_attr_multiple_res_attr(%arg0: memref<f32> {test.argZero = 0}, %arg1: f32, %arg2: i32 {test.argTwo = 2}) -> (f32, memref<i32> {test.returnOne = 1}, i32 {test.returnTwo = 2})60 61// CHECK: llvm.func private @drop_linkage_attr() -> (!llvm.struct{{.*}} {test.returnOne})62// CHECK-LABEL: llvm.func @_mlir_ciface_drop_linkage_attr63// CHECK-SAME: !llvm.ptr64// CHECK-NOT: llvm.linkage65func.func private @drop_linkage_attr() -> (memref<f32> {test.returnOne}) attributes { llvm.linkage = #llvm.linkage<weak> }66