meta: emit and cache package semantic summaries

chore/gentests/gentests.go

@@ -40,6 +40,7 @@ func main() {
 	llgenDir(dir + "/cl/_testgo")
 	llgenDir(dir + "/cl/_testpy")
 	llgenDir(dir + "/cl/_testdata")
+	genMetaDir(dir + "/cl/_testmeta")
 
 	genExpects(dir)
 }
@@ -77,6 +78,34 @@ func genExpects(root string) {
 	runExpectDir(root, "cl/_testdata")
 }
 
+func genMetaDir(dir string) {
+	fis, err := os.ReadDir(dir)
+	check(err)
+	for _, fi := range fis {
+		name := fi.Name()
+		if !fi.IsDir() || strings.HasPrefix(name, "_") {
+			continue
+		}
+		testDir := filepath.Join(dir, name)
+		if _, err := os.Stat(filepath.Join(testDir, "in.go")); err != nil {
+			if os.IsNotExist(err) {
+				continue
+			}
+			check(err)
+		}
+		relPath, err := filepath.Rel(filepath.Dir(filepath.Dir(dir)), testDir)
+		check(err)
+		relPath = filepath.ToSlash(relPath)
+		fmt.Fprintln(os.Stderr, "meta", relPath)
+		meta, err := cltest.CaptureMeta("./"+relPath, testDir)
+		if err != nil {
+			fmt.Fprintln(os.Stderr, "error:", relPath, err)
+			continue
+		}
+		check(os.WriteFile(filepath.Join(testDir, "meta-expect.txt"), []byte(meta), 0644))
+	}
+}
+
 func runExpectDir(root, relDir string, configure ...func(*build.Config)) {
 	dir := filepath.Join(root, relDir)
 	fis, err := os.ReadDir(dir)

chore/metadump/main.go

@@ -0,0 +1,63 @@
+/*
+ * Copyright (c) 2024 The XGo Authors (xgo.dev). All rights reserved.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package main
+
+import (
+	"flag"
+	"fmt"
+	"os"
+
+	"github.com/goplus/llgo/internal/meta"
+)
+
+func main() {
+	var out string
+	flag.StringVar(&out, "o", "", "write decoded metadata to file")
+	flag.Usage = func() {
+		fmt.Fprintf(flag.CommandLine.Output(), "Usage: metadump [-o output] file.meta\n")
+		flag.PrintDefaults()
+	}
+	flag.Parse()
+
+	if flag.NArg() != 1 {
+		flag.Usage()
+		os.Exit(2)
+	}
+
+	if err := run(flag.Arg(0), out); err != nil {
+		fmt.Fprintln(os.Stderr, err)
+		os.Exit(1)
+	}
+}
+
+func run(input, output string) error {
+	pm, err := meta.Open(input)
+	if err != nil {
+		return fmt.Errorf("read %s: %w", input, err)
+	}
+	defer pm.Close()
+	text := pm.String()
+
+	if output == "" {
+		fmt.Print(text)
+		return nil
+	}
+	if err := os.WriteFile(output, []byte(text), 0o644); err != nil {
+		return fmt.Errorf("write %s: %w", output, err)
+	}
+	return nil
+}

cl/_testmeta/ifaceuse_basic/in.go

@@ -0,0 +1,11 @@
+package main
+
+type T struct{}
+
+func sink(v any) {
+	_ = v
+}
+
+func main() {
+	sink(T{})
+}

cl/_testmeta/ifaceuse_basic/meta-expect.txt

@@ -0,0 +1,26 @@
+[TypeChildren]
+*_llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T
+
+[OrdinaryEdges]
+*_llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T:
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+    _llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T
+__llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequal0:
+    github.com/goplus/llgo/runtime/internal/runtime.memequal0
+__llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr:
+    github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+_llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T:
+    *_llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequal0
+github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.init:
+    github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.init$guard
+github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.main:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T
+    github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.sink
+    github.com/goplus/llgo/runtime/internal/runtime.AllocU
+
+[UseIface]
+github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.main:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/ifaceuse_basic.T
+

cl/_testmeta/interface_anyonmous/in.go

@@ -0,0 +1,18 @@
+package main
+
+type T struct{}
+
+func (T) M() {}
+func (T) N() {}
+
+func use(v interface {
+	M()
+	N()
+}) {
+	v.M()
+	v.N()
+}
+
+func main() {
+	use(T{})
+}

cl/_testmeta/interface_anyonmous/meta-expect.txt

@@ -0,0 +1,84 @@
+[TypeChildren]
+*_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac:
+    _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+*_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T
+*_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo:
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo
+
+[OrdinaryEdges]
+*_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac:
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+    _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+*_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T:
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+    _llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T
+*_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo:
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo
+__llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M
+__llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N
+__llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.M:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.M
+__llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.N:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.N
+__llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.interequal:
+    github.com/goplus/llgo/runtime/internal/runtime.interequal
+__llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequal0:
+    github.com/goplus/llgo/runtime/internal/runtime.memequal0
+__llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequalptr:
+    github.com/goplus/llgo/runtime/internal/runtime.memequalptr
+_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac:
+    *_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T:
+    *_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.memequal0
+_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo:
+    *_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo
+    __llgo_stub.github.com/goplus/llgo/runtime/internal/runtime.interequal
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo$imethods
+_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo$imethods:
+    _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.M
+    github.com/goplus/llgo/runtime/internal/runtime.AssertNilDeref
+    github.com/goplus/llgo/runtime/internal/runtime.PanicWrapNilPointer
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.N
+    github.com/goplus/llgo/runtime/internal/runtime.AssertNilDeref
+    github.com/goplus/llgo/runtime/internal/runtime.PanicWrapNilPointer
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.init:
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.init$guard
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.main:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo
+    github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.use
+    github.com/goplus/llgo/runtime/internal/runtime.AllocU
+    github.com/goplus/llgo/runtime/internal/runtime.NewItab
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.use:
+    github.com/goplus/llgo/runtime/internal/runtime.IfacePtrData
+
+[UseIface]
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.main:
+    _llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T
+
+[UseIfaceMethod]
+github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.use:
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo M _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+    _llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo N _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+
+[MethodInfo]
+*_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T:
+    0 M _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M __llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M
+    1 N _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N __llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N
+_llgo_github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T:
+    0 M _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).M __llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.M
+    1 N _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.(*T).N __llgo_stub.github.com/goplus/llgo/cl/_testmeta/interface_anyonmous.T.N
+
+[InterfaceInfo]
+_llgo_iface$f14WsslTA1u5wwC83jLU0HU2u2mmAWxBVE38vPBbRAo:
+    M _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+    N _llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac
+

cl/_testmeta/interface_exported_var/in.go

@@ -0,0 +1,8 @@
+package main
+
+import "encoding/binary"
+
+func main() {
+	var order binary.ByteOrder = binary.LittleEndian
+	_ = order.Uint16([]byte{1, 2})
+}