closureStub bugfix; llgen: SetRuntime

This commit is contained in:
xushiwei
2024-05-05 19:44:16 +08:00
parent 4f1b6e95a1
commit 2bbd828f3a
4 changed files with 52 additions and 14 deletions

View File

@@ -4,12 +4,15 @@ import (
"github.com/goplus/llgo/internal/runtime/c" "github.com/goplus/llgo/internal/runtime/c"
) )
func callback(f func()) { func callback(msg *c.Char, f func(*c.Char)) {
f() f(msg)
}
func print(msg *c.Char) {
c.Printf(msg)
} }
func main() { func main() {
callback(func() { callback(c.Str("Hello\n"), print)
c.Printf(c.Str("Hello, callback\n")) callback(c.Str("callback\n"), print)
})
} }

View File

@@ -2,12 +2,14 @@
source_filename = "main" source_filename = "main"
@"main.init$guard" = global ptr null @"main.init$guard" = global ptr null
@0 = private unnamed_addr constant [17 x i8] c"Hello, callback\0A\00", align 1 @0 = private unnamed_addr constant [7 x i8] c"Hello\0A\00", align 1
@1 = private unnamed_addr constant [10 x i8] c"callback\0A\00", align 1
define void @main.callback({ ptr, ptr } %0) { define void @main.callback(ptr %0, { ptr, ptr } %1) {
_llgo_0: _llgo_0:
%1 = extractvalue { ptr, ptr } %0, 0 %2 = extractvalue { ptr, ptr } %1, 1
call void %1() %3 = extractvalue { ptr, ptr } %1, 0
call void %3(ptr %2, ptr %0)
ret void ret void
} }
@@ -30,19 +32,40 @@ _llgo_0:
call void @main.init() call void @main.init()
%0 = alloca { ptr, ptr }, align 8 %0 = alloca { ptr, ptr }, align 8
%1 = getelementptr inbounds { ptr, ptr }, ptr %0, i32 0, i32 0 %1 = getelementptr inbounds { ptr, ptr }, ptr %0, i32 0, i32 0
store ptr @"main.main$1", ptr %1, align 8 store ptr @__llgo_stub.main.print, ptr %1, align 8
%2 = getelementptr inbounds { ptr, ptr }, ptr %0, i32 0, i32 1 %2 = getelementptr inbounds { ptr, ptr }, ptr %0, i32 0, i32 1
store ptr null, ptr %2, align 8 store ptr null, ptr %2, align 8
%3 = load { ptr, ptr }, ptr %0, align 8 %3 = load { ptr, ptr }, ptr %0, align 8
call void @main.callback({ ptr, ptr } %3) call void @main.callback(ptr @0, { ptr, ptr } %3)
%4 = alloca { ptr, ptr }, align 8
%5 = getelementptr inbounds { ptr, ptr }, ptr %4, i32 0, i32 0
store ptr @__llgo_stub.main.print, ptr %5, align 8
%6 = getelementptr inbounds { ptr, ptr }, ptr %4, i32 0, i32 1
store ptr null, ptr %6, align 8
%7 = load { ptr, ptr }, ptr %4, align 8
call void @main.callback(ptr @1, { ptr, ptr } %7)
ret void ret void
} }
define void @main.print(ptr %0) {
_llgo_0:
%1 = call i32 (ptr, ...) @printf(ptr %0)
ret void
%2 = call i32 (ptr, ...) @printf(ptr %0)
ret void
%3 = call i32 (ptr, ...) @printf(ptr %0)
ret void
_llgo_01: ; No predecessors!
_llgo_02: ; No predecessors!
}
declare void @"github.com/goplus/llgo/internal/runtime.init"() declare void @"github.com/goplus/llgo/internal/runtime.init"()
define void @"main.main$1"() { define void @__llgo_stub.main.print(ptr %0, ptr %1) {
_llgo_0: _llgo_0:
%0 = call i32 (ptr, ...) @printf(ptr @0) call void @main.print(ptr %1)
ret void ret void
} }

View File

@@ -71,6 +71,11 @@ func Gen(pkgPath, inFile string, src any) string {
} }
prog := llssa.NewProgram(nil) prog := llssa.NewProgram(nil)
prog.SetRuntime(func() *types.Package {
rt, err := imp.Import(llssa.PkgRuntime)
check(err)
return rt
})
ret, err := cl.NewPackage(prog, ssaPkg, files) ret, err := cl.NewPackage(prog, ssaPkg, files)
check(err) check(err)

View File

@@ -377,6 +377,7 @@ func (p Package) closureStub(b Builder, t *types.Struct, v Expr) Expr {
} else { } else {
sig := v.raw.Type.(*types.Signature) sig := v.raw.Type.(*types.Signature)
n := sig.Params().Len() n := sig.Params().Len()
nret := sig.Results().Len()
ctx := types.NewParam(token.NoPos, nil, ClosureCtx, types.Typ[types.UnsafePointer]) ctx := types.NewParam(token.NoPos, nil, ClosureCtx, types.Typ[types.UnsafePointer])
sig = FuncAddCtx(ctx, sig) sig = FuncAddCtx(ctx, sig)
fn := p.NewFunc(ClosureStub+name, sig, InC) fn := p.NewFunc(ClosureStub+name, sig, InC)
@@ -385,7 +386,13 @@ func (p Package) closureStub(b Builder, t *types.Struct, v Expr) Expr {
args[i] = fn.Param(i + 1) args[i] = fn.Param(i + 1)
} }
b := fn.MakeBody(1) b := fn.MakeBody(1)
b.Return(b.Call(v, args...)) call := b.Call(v, args...)
switch nret {
case 0:
b.impl.CreateRetVoid()
default: // TODO(xsw): support multiple return values
b.impl.CreateRet(call.impl)
}
p.stubs[name] = fn p.stubs[name] = fn
v = fn.Expr v = fn.Expr
} }