diff --git a/cl/_testgo/reflectmkfn/in.go b/cl/_testgo/reflectmkfn/in.go new file mode 100644 index 00000000..6e0bcafe --- /dev/null +++ b/cl/_testgo/reflectmkfn/in.go @@ -0,0 +1,18 @@ +package main + +import ( + "reflect" + "strings" +) + +func main() { + typ := reflect.FuncOf([]reflect.Type{reflect.TypeOf(""), reflect.TypeOf(0)}, []reflect.Type{reflect.TypeOf("")}, false) + fn := reflect.MakeFunc(typ, func(args []reflect.Value) []reflect.Value { + r := strings.Repeat(args[0].String(), int(args[1].Int())) + return []reflect.Value{reflect.ValueOf(r)} + }) + r := fn.Interface().(func(string, int) string)("abc", 2) + if r != "abcabc" { + panic("error") + } +} diff --git a/cl/_testgo/reflectmkfn/out.ll b/cl/_testgo/reflectmkfn/out.ll new file mode 100644 index 00000000..e6c51d8a --- /dev/null +++ b/cl/_testgo/reflectmkfn/out.ll @@ -0,0 +1,286 @@ +; ModuleID = 'github.com/goplus/llgo/cl/_testgo/reflectmkfn' +source_filename = "github.com/goplus/llgo/cl/_testgo/reflectmkfn" + +%"github.com/goplus/llgo/runtime/internal/runtime.iface" = type { ptr, ptr } +%"github.com/goplus/llgo/runtime/internal/runtime.String" = type { ptr, i64 } +%"github.com/goplus/llgo/runtime/internal/runtime.eface" = type { ptr, ptr } +%"github.com/goplus/llgo/runtime/internal/runtime.Slice" = type { ptr, i64, i64 } +%reflect.Value = type { ptr, ptr, i64 } +%"github.com/goplus/llgo/runtime/abi.StructField" = type { %"github.com/goplus/llgo/runtime/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/runtime/internal/runtime.String", i1 } + +@"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init$guard" = global i1 false, align 1 +@_llgo_string = linkonce global ptr null, align 8 +@_llgo_int = linkonce global ptr null, align 8 +@"_llgo_func$CFociaKlCvq9sERkLkn9LoCwUbRN_-idPZ-9Ui7-BZI" = linkonce global ptr null, align 8 +@_llgo_Pointer = linkonce global ptr null, align 8 +@"github.com/goplus/llgo/cl/_testgo/reflectmkfn.struct$XBbb2Vd9fa-WWUcWFPjreitD8Eex4qtMIsPbz__3VQU" = linkonce global ptr null, align 8 +@0 = private unnamed_addr constant [2 x i8] c"$f", align 1 +@1 = private unnamed_addr constant [5 x i8] c"$data", align 1 +@2 = private unnamed_addr constant [45 x i8] c"github.com/goplus/llgo/cl/_testgo/reflectmkfn", align 1 +@3 = private unnamed_addr constant [94 x i8] c"type assertion interface{} -> struct{$f func(string, int) string; $data unsafe.Pointer} failed", align 1 +@4 = private unnamed_addr constant [3 x i8] c"abc", align 1 +@5 = private unnamed_addr constant [6 x i8] c"abcabc", align 1 +@6 = private unnamed_addr constant [5 x i8] c"error", align 1 + +define void @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init"() { +_llgo_0: + %0 = load i1, ptr @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init$guard", align 1 + br i1 %0, label %_llgo_2, label %_llgo_1 + +_llgo_1: ; preds = %_llgo_0 + store i1 true, ptr @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init$guard", align 1 + call void @reflect.init() + call void @strings.init() + call void @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init$after"() + br label %_llgo_2 + +_llgo_2: ; preds = %_llgo_1, %_llgo_0 + ret void +} + +define void @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.main"() { +_llgo_0: + %0 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64 32) + %1 = getelementptr inbounds %"github.com/goplus/llgo/runtime/internal/runtime.iface", ptr %0, i64 0 + %2 = load ptr, ptr @_llgo_string, align 8 + %3 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/runtime/internal/runtime.String" zeroinitializer, ptr %3, align 8 + %4 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %2, 0 + %5 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %4, ptr %3, 1 + %6 = call %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.TypeOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %5) + store %"github.com/goplus/llgo/runtime/internal/runtime.iface" %6, ptr %1, align 8 + %7 = getelementptr inbounds %"github.com/goplus/llgo/runtime/internal/runtime.iface", ptr %0, i64 1 + %8 = load ptr, ptr @_llgo_int, align 8 + %9 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %8, 0 + %10 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %9, ptr null, 1 + %11 = call %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.TypeOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %10) + store %"github.com/goplus/llgo/runtime/internal/runtime.iface" %11, ptr %7, align 8 + %12 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %0, 0 + %13 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %12, i64 2, 1 + %14 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %13, i64 2, 2 + %15 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64 16) + %16 = getelementptr inbounds %"github.com/goplus/llgo/runtime/internal/runtime.iface", ptr %15, i64 0 + %17 = load ptr, ptr @_llgo_string, align 8 + %18 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/runtime/internal/runtime.String" zeroinitializer, ptr %18, align 8 + %19 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %17, 0 + %20 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %19, ptr %18, 1 + %21 = call %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.TypeOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %20) + store %"github.com/goplus/llgo/runtime/internal/runtime.iface" %21, ptr %16, align 8 + %22 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %15, 0 + %23 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %22, i64 1, 1 + %24 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %23, i64 1, 2 + %25 = call %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.FuncOf(%"github.com/goplus/llgo/runtime/internal/runtime.Slice" %14, %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %24, i1 false) + %26 = call %reflect.Value @reflect.MakeFunc(%"github.com/goplus/llgo/runtime/internal/runtime.iface" %25, { ptr, ptr } { ptr @"__llgo_stub.github.com/goplus/llgo/cl/_testgo/reflectmkfn.main$1", ptr null }) + %27 = call %"github.com/goplus/llgo/runtime/internal/runtime.eface" @reflect.Value.Interface(%reflect.Value %26) + %28 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %27, 0 + %29 = load ptr, ptr @"_llgo_func$CFociaKlCvq9sERkLkn9LoCwUbRN_-idPZ-9Ui7-BZI", align 8 + %30 = load ptr, ptr @_llgo_Pointer, align 8 + %31 = load ptr, ptr @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.struct$XBbb2Vd9fa-WWUcWFPjreitD8Eex4qtMIsPbz__3VQU", align 8 + %32 = icmp eq ptr %28, %31 + br i1 %32, label %_llgo_3, label %_llgo_4 + +_llgo_1: ; preds = %_llgo_3 + %33 = load ptr, ptr @_llgo_string, align 8 + %34 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @6, i64 5 }, ptr %34, align 8 + %35 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %33, 0 + %36 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %35, ptr %34, 1 + call void @"github.com/goplus/llgo/runtime/internal/runtime.Panic"(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %36) + unreachable + +_llgo_2: ; preds = %_llgo_3 + ret void + +_llgo_3: ; preds = %_llgo_0 + %37 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %27, 1 + %38 = load { ptr, ptr }, ptr %37, align 8 + %39 = extractvalue { ptr, ptr } %38, 1 + %40 = extractvalue { ptr, ptr } %38, 0 + %41 = call %"github.com/goplus/llgo/runtime/internal/runtime.String" %40(ptr %39, %"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @4, i64 3 }, i64 2) + %42 = call i1 @"github.com/goplus/llgo/runtime/internal/runtime.StringEqual"(%"github.com/goplus/llgo/runtime/internal/runtime.String" %41, %"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @5, i64 6 }) + %43 = xor i1 %42, true + br i1 %43, label %_llgo_1, label %_llgo_2 + +_llgo_4: ; preds = %_llgo_0 + %44 = load ptr, ptr @_llgo_string, align 8 + %45 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @3, i64 94 }, ptr %45, align 8 + %46 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %44, 0 + %47 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %46, ptr %45, 1 + call void @"github.com/goplus/llgo/runtime/internal/runtime.Panic"(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %47) + unreachable +} + +define %"github.com/goplus/llgo/runtime/internal/runtime.Slice" @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.main$1"(%"github.com/goplus/llgo/runtime/internal/runtime.Slice" %0) { +_llgo_0: + %1 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %0, 0 + %2 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %0, 1 + %3 = icmp sge i64 0, %2 + call void @"github.com/goplus/llgo/runtime/internal/runtime.AssertIndexRange"(i1 %3) + %4 = getelementptr inbounds %reflect.Value, ptr %1, i64 0 + %5 = load %reflect.Value, ptr %4, align 8 + %6 = call %"github.com/goplus/llgo/runtime/internal/runtime.String" @reflect.Value.String(%reflect.Value %5) + %7 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %0, 0 + %8 = extractvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %0, 1 + %9 = icmp sge i64 1, %8 + call void @"github.com/goplus/llgo/runtime/internal/runtime.AssertIndexRange"(i1 %9) + %10 = getelementptr inbounds %reflect.Value, ptr %7, i64 1 + %11 = load %reflect.Value, ptr %10, align 8 + %12 = call i64 @reflect.Value.Int(%reflect.Value %11) + %13 = call %"github.com/goplus/llgo/runtime/internal/runtime.String" @strings.Repeat(%"github.com/goplus/llgo/runtime/internal/runtime.String" %6, i64 %12) + %14 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64 24) + %15 = getelementptr inbounds %reflect.Value, ptr %14, i64 0 + %16 = load ptr, ptr @_llgo_string, align 8 + %17 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/runtime/internal/runtime.String" %13, ptr %17, align 8 + %18 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" undef, ptr %16, 0 + %19 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.eface" %18, ptr %17, 1 + %20 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface" %19) + store %reflect.Value %20, ptr %15, align 8 + %21 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %14, 0 + %22 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %21, i64 1, 1 + %23 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %22, i64 1, 2 + ret %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %23 +} + +declare void @reflect.init() + +declare void @strings.init() + +declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64) + +declare %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.TypeOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface") + +define void @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.init$after"() { +_llgo_0: + %0 = load ptr, ptr @_llgo_string, align 8 + %1 = icmp eq ptr %0, null + br i1 %1, label %_llgo_1, label %_llgo_2 + +_llgo_1: ; preds = %_llgo_0 + %2 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Basic"(i64 24) + store ptr %2, ptr @_llgo_string, align 8 + br label %_llgo_2 + +_llgo_2: ; preds = %_llgo_1, %_llgo_0 + %3 = load ptr, ptr @_llgo_int, align 8 + %4 = icmp eq ptr %3, null + br i1 %4, label %_llgo_3, label %_llgo_4 + +_llgo_3: ; preds = %_llgo_2 + %5 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Basic"(i64 34) + store ptr %5, ptr @_llgo_int, align 8 + br label %_llgo_4 + +_llgo_4: ; preds = %_llgo_3, %_llgo_2 + %6 = load ptr, ptr @_llgo_string, align 8 + %7 = load ptr, ptr @_llgo_int, align 8 + %8 = load ptr, ptr @_llgo_string, align 8 + %9 = load ptr, ptr @"_llgo_func$CFociaKlCvq9sERkLkn9LoCwUbRN_-idPZ-9Ui7-BZI", align 8 + %10 = icmp eq ptr %9, null + br i1 %10, label %_llgo_5, label %_llgo_6 + +_llgo_5: ; preds = %_llgo_4 + %11 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + %12 = getelementptr ptr, ptr %11, i64 0 + store ptr %6, ptr %12, align 8 + %13 = getelementptr ptr, ptr %11, i64 1 + store ptr %7, ptr %13, align 8 + %14 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %11, 0 + %15 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %14, i64 2, 1 + %16 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %15, i64 2, 2 + %17 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 8) + %18 = getelementptr ptr, ptr %17, i64 0 + store ptr %8, ptr %18, align 8 + %19 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %17, 0 + %20 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %19, i64 1, 1 + %21 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %20, i64 1, 2 + %22 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Func"(%"github.com/goplus/llgo/runtime/internal/runtime.Slice" %16, %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %21, i1 false) + call void @"github.com/goplus/llgo/runtime/internal/runtime.SetDirectIface"(ptr %22) + store ptr %22, ptr @"_llgo_func$CFociaKlCvq9sERkLkn9LoCwUbRN_-idPZ-9Ui7-BZI", align 8 + br label %_llgo_6 + +_llgo_6: ; preds = %_llgo_5, %_llgo_4 + %23 = load ptr, ptr @_llgo_Pointer, align 8 + %24 = icmp eq ptr %23, null + br i1 %24, label %_llgo_7, label %_llgo_8 + +_llgo_7: ; preds = %_llgo_6 + %25 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Basic"(i64 58) + call void @"github.com/goplus/llgo/runtime/internal/runtime.SetDirectIface"(ptr %25) + store ptr %25, ptr @_llgo_Pointer, align 8 + br label %_llgo_8 + +_llgo_8: ; preds = %_llgo_7, %_llgo_6 + %26 = load ptr, ptr @_llgo_string, align 8 + %27 = load ptr, ptr @_llgo_int, align 8 + %28 = load ptr, ptr @_llgo_string, align 8 + %29 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 16) + %30 = getelementptr ptr, ptr %29, i64 0 + store ptr %26, ptr %30, align 8 + %31 = getelementptr ptr, ptr %29, i64 1 + store ptr %27, ptr %31, align 8 + %32 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %29, 0 + %33 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %32, i64 2, 1 + %34 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %33, i64 2, 2 + %35 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 8) + %36 = getelementptr ptr, ptr %35, i64 0 + store ptr %28, ptr %36, align 8 + %37 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %35, 0 + %38 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %37, i64 1, 1 + %39 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %38, i64 1, 2 + %40 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Func"(%"github.com/goplus/llgo/runtime/internal/runtime.Slice" %34, %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %39, i1 false) + %41 = call %"github.com/goplus/llgo/runtime/abi.StructField" @"github.com/goplus/llgo/runtime/internal/runtime.StructField"(%"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @0, i64 2 }, ptr %40, i64 0, %"github.com/goplus/llgo/runtime/internal/runtime.String" zeroinitializer, i1 false) + %42 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Basic"(i64 58) + %43 = call %"github.com/goplus/llgo/runtime/abi.StructField" @"github.com/goplus/llgo/runtime/internal/runtime.StructField"(%"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @1, i64 5 }, ptr %42, i64 8, %"github.com/goplus/llgo/runtime/internal/runtime.String" zeroinitializer, i1 false) + %44 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64 112) + %45 = getelementptr %"github.com/goplus/llgo/runtime/abi.StructField", ptr %44, i64 0 + store %"github.com/goplus/llgo/runtime/abi.StructField" %41, ptr %45, align 8 + %46 = getelementptr %"github.com/goplus/llgo/runtime/abi.StructField", ptr %44, i64 1 + store %"github.com/goplus/llgo/runtime/abi.StructField" %43, ptr %46, align 8 + %47 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" undef, ptr %44, 0 + %48 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %47, i64 2, 1 + %49 = insertvalue %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %48, i64 2, 2 + %50 = call ptr @"github.com/goplus/llgo/runtime/internal/runtime.Struct"(%"github.com/goplus/llgo/runtime/internal/runtime.String" { ptr @2, i64 45 }, i64 16, %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %49) + store ptr %50, ptr @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.struct$XBbb2Vd9fa-WWUcWFPjreitD8Eex4qtMIsPbz__3VQU", align 8 + ret void +} + +declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.Basic"(i64) + +declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64) + +declare %"github.com/goplus/llgo/runtime/internal/runtime.iface" @reflect.FuncOf(%"github.com/goplus/llgo/runtime/internal/runtime.Slice", %"github.com/goplus/llgo/runtime/internal/runtime.Slice", i1) + +declare %reflect.Value @reflect.MakeFunc(%"github.com/goplus/llgo/runtime/internal/runtime.iface", { ptr, ptr }) + +define linkonce %"github.com/goplus/llgo/runtime/internal/runtime.Slice" @"__llgo_stub.github.com/goplus/llgo/cl/_testgo/reflectmkfn.main$1"(ptr %0, %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %1) { +_llgo_0: + %2 = tail call %"github.com/goplus/llgo/runtime/internal/runtime.Slice" @"github.com/goplus/llgo/cl/_testgo/reflectmkfn.main$1"(%"github.com/goplus/llgo/runtime/internal/runtime.Slice" %1) + ret %"github.com/goplus/llgo/runtime/internal/runtime.Slice" %2 +} + +declare %"github.com/goplus/llgo/runtime/internal/runtime.eface" @reflect.Value.Interface(%reflect.Value) + +declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.Func"(%"github.com/goplus/llgo/runtime/internal/runtime.Slice", %"github.com/goplus/llgo/runtime/internal/runtime.Slice", i1) + +declare void @"github.com/goplus/llgo/runtime/internal/runtime.SetDirectIface"(ptr) + +declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.Struct"(%"github.com/goplus/llgo/runtime/internal/runtime.String", i64, %"github.com/goplus/llgo/runtime/internal/runtime.Slice") + +declare %"github.com/goplus/llgo/runtime/abi.StructField" @"github.com/goplus/llgo/runtime/internal/runtime.StructField"(%"github.com/goplus/llgo/runtime/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/runtime/internal/runtime.String", i1) + +declare void @"github.com/goplus/llgo/runtime/internal/runtime.Panic"(%"github.com/goplus/llgo/runtime/internal/runtime.eface") + +declare i1 @"github.com/goplus/llgo/runtime/internal/runtime.StringEqual"(%"github.com/goplus/llgo/runtime/internal/runtime.String", %"github.com/goplus/llgo/runtime/internal/runtime.String") + +declare void @"github.com/goplus/llgo/runtime/internal/runtime.AssertIndexRange"(i1) + +declare %"github.com/goplus/llgo/runtime/internal/runtime.String" @reflect.Value.String(%reflect.Value) + +declare i64 @reflect.Value.Int(%reflect.Value) + +declare %"github.com/goplus/llgo/runtime/internal/runtime.String" @strings.Repeat(%"github.com/goplus/llgo/runtime/internal/runtime.String", i64) + +declare %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/runtime/internal/runtime.eface") diff --git a/internal/crosscompile/cosscompile.go b/internal/crosscompile/cosscompile.go index 2386c716..c532cc79 100644 --- a/internal/crosscompile/cosscompile.go +++ b/internal/crosscompile/cosscompile.go @@ -177,6 +177,7 @@ func Use(goos, goarch string, wasiThreads, changeRpath bool) (export Export, err "-sEXPORT_KEEPALIVE=1", "-sEXPORT_ES6=1", "-sALLOW_MEMORY_GROWTH=1", + "-sRESERVED_FUNCTION_POINTERS=1", "-sEXPORTED_RUNTIME_METHODS=cwrap,allocateUTF8,stringToUTF8,UTF8ToString,FS,setValue,getValue", "-sWASM=1", "-sEXPORT_ALL=1", diff --git a/runtime/internal/lib/reflect/makefunc.go b/runtime/internal/lib/reflect/makefunc.go index 49553925..81a76404 100644 --- a/runtime/internal/lib/reflect/makefunc.go +++ b/runtime/internal/lib/reflect/makefunc.go @@ -26,9 +26,103 @@ import ( "unsafe" "github.com/goplus/llgo/runtime/abi" + c "github.com/goplus/llgo/runtime/internal/clite" + "github.com/goplus/llgo/runtime/internal/ffi" "github.com/goplus/llgo/runtime/internal/runtime" ) +type funcData struct { + ftyp *funcType + fn func(args []Value) (results []Value) + nin int +} + +func MakeFunc(typ Type, fn func(args []Value) (results []Value)) Value { + if typ.Kind() != Func { + panic("reflect: call of MakeFunc with non-Func type") + } + + t := typ.common() + ftyp := (*funcType)(unsafe.Pointer(t)) + sig, err := toFFISig(append([]*abi.Type{unsafePointerType}, ftyp.In...), ftyp.Out) + if err != nil { + panic(err) + } + closure := ffi.NewClosure() + + switch len(ftyp.Out) { + case 0: + err = closure.Bind(sig, func(cif *ffi.Signature, ret unsafe.Pointer, args *unsafe.Pointer, userdata unsafe.Pointer) { + fd := (*funcData)(userdata) + ins := make([]Value, fd.nin) + for i := 0; i < fd.nin; i++ { + ins[i] = ffiToValue(ffi.Index(args, uintptr(i+1)), fd.ftyp.In[i]) + } + fd.fn(ins) + }, unsafe.Pointer(&funcData{ftyp: ftyp, fn: fn, nin: len(ftyp.In)})) + case 1: + err = closure.Bind(sig, func(cif *ffi.Signature, ret unsafe.Pointer, args *unsafe.Pointer, userdata unsafe.Pointer) { + fd := (*funcData)(userdata) + ins := make([]Value, fd.nin) + for i := 0; i < fd.nin; i++ { + ins[i] = ffiToValue(ffi.Index(args, uintptr(i+1)), fd.ftyp.In[i]) + } + out := fd.fn(ins) + if fd.ftyp.Out[0].IfaceIndir() { + c.Memmove(ret, out[0].ptr, fd.ftyp.Out[0].Size_) + } else { + *(*unsafe.Pointer)(ret) = unsafe.Pointer(out[0].ptr) + } + }, unsafe.Pointer(&funcData{ftyp: ftyp, fn: fn, nin: len(ftyp.In)})) + default: + err = closure.Bind(sig, func(cif *ffi.Signature, ret unsafe.Pointer, args *unsafe.Pointer, userdata unsafe.Pointer) { + fd := (*funcData)(userdata) + ins := make([]Value, fd.nin) + for i := 0; i < fd.nin; i++ { + ins[i] = ffiToValue(ffi.Index(args, uintptr(i+1)), fd.ftyp.In[i]) + } + outs := fd.fn(ins) + var offset uintptr = 0 + for i, out := range outs { + if fd.ftyp.Out[i].IfaceIndir() { + c.Memmove(add(ret, offset, ""), out.ptr, fd.ftyp.Out[i].Size_) + } else { + *(*unsafe.Pointer)(add(ret, offset, "")) = unsafe.Pointer(out.ptr) + } + offset += fd.ftyp.Out[i].Size_ + } + }, unsafe.Pointer(&funcData{ftyp: ftyp, fn: fn, nin: len(ftyp.In)})) + } + if err != nil { + panic("libffi error: " + err.Error()) + } + styp := runtime.Struct("", 2*unsafe.Sizeof(0), abi.StructField{ + Name_: "$f", + Typ: &ftyp.Type, + }, abi.StructField{ + Name_: "$data", + Typ: unsafePointerType, + }) + fv := &struct { + fn unsafe.Pointer + env unsafe.Pointer + }{closure.Fn, unsafe.Pointer(&fn)} + return Value{styp, unsafe.Pointer(fv), flagIndir | flag(Func)} +} + +func ffiToValue(ptr unsafe.Pointer, typ *abi.Type) (v Value) { + kind := typ.Kind() + v.typ_ = typ + v.flag = flag(kind) + if typ.IfaceIndir() { + v.flag |= flagIndir + v.ptr = ptr + } else { + v.ptr = *(*unsafe.Pointer)(ptr) + } + return +} + /* import ( "unsafe" diff --git a/runtime/internal/lib/reflect/type.go b/runtime/internal/lib/reflect/type.go index ea59bfaa..5ff924ce 100644 --- a/runtime/internal/lib/reflect/type.go +++ b/runtime/internal/lib/reflect/type.go @@ -1220,7 +1220,9 @@ func FuncOf(in, out []Type, variadic bool) Type { // Populate the remaining fields of ft and store in cache. ft.Str_ = str ft.PtrToThis_ = nil - return addToCache(&ft.Type) + + rt := runtime.Func(ft.In, ft.Out, variadic) + return addToCache(&rt.Type) } func stringFor(t *abi.Type) string {