admin/llgo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ssa: cvtNamed check typeargs

Browse Source
This commit is contained in:
visualfc
2024-09-03 11:37:31 +08:00
parent 1a63c9296b
commit 765e812b77
3 changed files with 168 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
cl/_testgo/tpnamed/in.go Normal file
View File

@@ -0,0 +1,26 @@
package main
type Void = [0]byte
type Future[T any] func() T
type IO[T any] func() Future[T]
func WriteFile(fileName string) IO[error] {
return func() Future[error] {
return func() error {
return nil
}
}
}
func RunIO[T any](call IO[T]) T {
return call()()
}
func main() {
RunIO[Void](func() Future[Void] {
return func() (ret Void) {
return
}
})
}

122
cl/_testgo/tpnamed/out.ll Normal file
View File

@@ -0,0 +1,122 @@
; ModuleID = 'main'
source_filename = "main"
%"main.IO[error]" = type { ptr, ptr }
%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
%"main.Future[error]" = type { ptr, ptr }
%"github.com/goplus/llgo/internal/runtime.iface" = type { ptr, ptr }
%"main.IO[[0]byte]" = type { ptr, ptr }
%"main.Future[[0]byte]" = type { ptr, ptr }
@"main.init$guard" = global i1 false, align 1
@__llgo_argc = global i32 0, align 4
@__llgo_argv = global ptr null, align 8
define %"main.IO[error]" @main.WriteFile(%"github.com/goplus/llgo/internal/runtime.String" %0) {
_llgo_0:
%1 = alloca %"main.IO[error]", align 8
%2 = getelementptr inbounds %"main.IO[error]", ptr %1, i32 0, i32 0
store ptr @"__llgo_stub.main.WriteFile$1", ptr %2, align 8
%3 = getelementptr inbounds %"main.IO[error]", ptr %1, i32 0, i32 1
store ptr null, ptr %3, align 8
%4 = load %"main.IO[error]", ptr %1, align 8
ret %"main.IO[error]" %4
}
define %"main.Future[error]" @"main.WriteFile$1"() {
_llgo_0:
%0 = alloca %"main.Future[error]", align 8
%1 = getelementptr inbounds %"main.Future[error]", ptr %0, i32 0, i32 0
store ptr @"__llgo_stub.main.WriteFile$1$1", ptr %1, align 8
%2 = getelementptr inbounds %"main.Future[error]", ptr %0, i32 0, i32 1
store ptr null, ptr %2, align 8
%3 = load %"main.Future[error]", ptr %0, align 8
ret %"main.Future[error]" %3
}
define %"github.com/goplus/llgo/internal/runtime.iface" @"main.WriteFile$1$1"() {
_llgo_0:
ret %"github.com/goplus/llgo/internal/runtime.iface" zeroinitializer
}
define void @main.init() {
_llgo_0:
%0 = load i1, ptr @"main.init$guard", align 1
br i1 %0, label %_llgo_2, label %_llgo_1
_llgo_1: ; preds = %_llgo_0
store i1 true, ptr @"main.init$guard", align 1
br label %_llgo_2
_llgo_2: ; preds = %_llgo_1, %_llgo_0
ret void
}
define i32 @main(i32 %0, ptr %1) {
_llgo_0:
store i32 %0, ptr @__llgo_argc, align 4
store ptr %1, ptr @__llgo_argv, align 8
call void @"github.com/goplus/llgo/internal/runtime.init"()
call void @main.init()
%2 = alloca %"main.IO[[0]byte]", align 8
%3 = getelementptr inbounds %"main.IO[[0]byte]", ptr %2, i32 0, i32 0
store ptr @"__llgo_stub.main.main$1", ptr %3, align 8
%4 = getelementptr inbounds %"main.IO[[0]byte]", ptr %2, i32 0, i32 1
store ptr null, ptr %4, align 8
%5 = load %"main.IO[[0]byte]", ptr %2, align 8
%6 = call [0 x i8] @"main.RunIO[[0]byte]"(%"main.IO[[0]byte]" %5)
ret i32 0
}
define %"main.Future[[0]byte]" @"main.main$1"() {
_llgo_0:
%0 = alloca %"main.Future[[0]byte]", align 8
%1 = getelementptr inbounds %"main.Future[[0]byte]", ptr %0, i32 0, i32 0
store ptr @"__llgo_stub.main.main$1$1", ptr %1, align 8
%2 = getelementptr inbounds %"main.Future[[0]byte]", ptr %0, i32 0, i32 1
store ptr null, ptr %2, align 8
%3 = load %"main.Future[[0]byte]", ptr %0, align 8
ret %"main.Future[[0]byte]" %3
}
define [0 x i8] @"main.main$1$1"() {
_llgo_0:
ret [0 x i8] zeroinitializer
}
define linkonce %"main.Future[error]" @"__llgo_stub.main.WriteFile$1"(ptr %0) {
_llgo_0:
%1 = tail call %"main.Future[error]" @"main.WriteFile$1"()
ret %"main.Future[error]" %1
}
define linkonce %"github.com/goplus/llgo/internal/runtime.iface" @"__llgo_stub.main.WriteFile$1$1"(ptr %0) {
_llgo_0:
%1 = tail call %"github.com/goplus/llgo/internal/runtime.iface" @"main.WriteFile$1$1"()
ret %"github.com/goplus/llgo/internal/runtime.iface" %1
}
declare void @"github.com/goplus/llgo/internal/runtime.init"()
define linkonce %"main.Future[[0]byte]" @"__llgo_stub.main.main$1"(ptr %0) {
_llgo_0:
%1 = tail call %"main.Future[[0]byte]" @"main.main$1"()
ret %"main.Future[[0]byte]" %1
}
define linkonce [0 x i8] @"main.RunIO[[0]byte]"(%"main.IO[[0]byte]" %0) {
_llgo_0:
%1 = extractvalue %"main.IO[[0]byte]" %0, 1
%2 = extractvalue %"main.IO[[0]byte]" %0, 0
%3 = call %"main.Future[[0]byte]" %2(ptr %1)
%4 = extractvalue %"main.Future[[0]byte]" %3, 1
%5 = extractvalue %"main.Future[[0]byte]" %3, 0
%6 = call [0 x i8] %5(ptr %4)
ret [0 x i8] %6
}
define linkonce [0 x i8] @"__llgo_stub.main.main$1$1"(ptr %0) {
_llgo_0:
%1 = tail call [0 x i8] @"main.main$1$1"()
ret [0 x i8] %1
}

20
ssa/type_cvt.go
View File

@@ -128,9 +128,29 @@ func (p goTypes) cvtNamed(t *types.Named) (raw *types.Named, cvt bool) {
methods[i] = m
}
named := types.NewNamed(t.Obj(), types.Typ[types.Int], methods)
if tp := t.TypeParams(); tp != nil {
list := make([]*types.TypeParam, tp.Len())
for i := 0; i < tp.Len(); i++ {
param := tp.At(i)
list[i] = types.NewTypeParam(param.Obj(), param.Constraint())
}
named.SetTypeParams(list)
}
p.typs[unsafe.Pointer(t)] = unsafe.Pointer(named)
if tund, cvt := p.cvtType(t.Underlying()); cvt {
named.SetUnderlying(tund)
if tp := t.TypeArgs(); tp != nil {
targs := make([]types.Type, tp.Len())
for i := 0; i < tp.Len(); i++ {
targs[i] = tp.At(i)
}
typ, err := types.Instantiate(nil, named, targs, true)
if err != nil {
panic(fmt.Errorf("cvtNamed error: %v", err))
}
named = typ.(*types.Named)
p.typs[unsafe.Pointer(t)] = unsafe.Pointer(named)
}
return named, true
}
p.typs[unsafe.Pointer(t)] = unsafe.Pointer(t)