Merge pull request #302 from xushiwei/q

README: panic/defer

.github/workflows/go.yml

@@ -11,19 +11,38 @@ on:
 
 jobs:
 
-  test-macos:
-    runs-on: macos-latest
+  test:
     strategy:
       matrix:
+        os: [macos-latest, ubuntu-latest]
         llvm: [17]
+    runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
 
       - name: Update Homebrew
-        if: matrix.llvm == 17 # needed as long as LLVM 17 is still fresh
+        # needed as long as LLVM 17 is still fresh
+        if: matrix.llvm == 17 && startsWith(matrix.os, 'macos')
         run: brew update
-      - name: Install LLVM ${{ matrix.llvm }}
-        run: HOMEBREW_NO_AUTO_UPDATE=1 brew install llvm@${{ matrix.llvm }}
+      - name: Install LLVM ${{ matrix.llvm }} and bdw-gc
+        if: startsWith(matrix.os, 'macos')
+        run: |
+          HOMEBREW_NO_AUTO_UPDATE=1 brew install llvm@${{ matrix.llvm }} bdw-gc
+          echo `brew --prefix llvm@${{ matrix.llvm }}`/bin >> $GITHUB_PATH
+      - name: Install LLVM ${{ matrix.llvm }} and libgc-dev
+        if: startsWith(matrix.os, 'ubuntu')
+        run: |
+          echo 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-${{ matrix.llvm }} main' | sudo tee /etc/apt/sources.list.d/llvm.list
+          wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
+          sudo apt-get update
+          sudo apt-get install --no-install-recommends clang-${{ matrix.llvm }} llvm-${{ matrix.llvm }}-dev libgc-dev
+          echo /usr/lib/llvm-${{ matrix.llvm }}/bin >> $GITHUB_PATH
+    
+      - name: Clang information
+        run: |
+          echo $PATH
+          which clang
+          clang --version
         
       - name: Set up Go
         uses: actions/setup-go@v5
@@ -34,36 +53,39 @@ jobs:
         run: go build -v ./...
 
       - name: Test
+        if: matrix.os != 'ubuntu-latest'
         run: go test -v ./...
+      - name: Test with coverage
+        if: matrix.os == 'ubuntu-latest'
+        run: go test -v -coverprofile="coverage.txt" -covermode=atomic ./...
 
-  test-linux:
-    runs-on: ubuntu-20.04
-    strategy:
-      matrix:
-        llvm: [17]
-    steps:
-    - uses: actions/checkout@v4
+      - name: Install
+        run: go install ./...
+      
+      - name: LLGO tests
+        if: matrix.os != 'ubuntu-latest'
+        run: |
+          echo "Test result on ${{ matrix.os }} with LLVM ${{ matrix.llvm }}" > result.md
+          LLGOROOT=$PWD bash .github/workflows/test_llgo.sh
+      
+      - name: Test _demo and _pydemo
+        run: |
+          set +e
+          LLGOROOT=$PWD bash .github/workflows/test_demo.sh
+          exit 0
+      
+      - name: Show test result
+        run: cat result.md
 
-    - name: Install LLVM ${{ matrix.llvm }}
-      run: |
-        echo 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-${{ matrix.llvm }} main' | sudo tee /etc/apt/sources.list.d/llvm.list
-        wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
-        sudo apt-get update
-        sudo apt-get install --no-install-recommends llvm-${{ matrix.llvm }}-dev
+      - name: PR comment with test result
+        uses: thollander/actions-comment-pull-request@v2
+        if: false
+        with:
+          filePath: result.md
+          comment_tag: test-result-on-${{ matrix.os }}-with-llvm-${{ matrix.llvm }}
 
-    - name: Set up Go
-      uses: actions/setup-go@v5
-      with:
-        go-version: '1.20'
-
-    - name: Build
-      run: go build -v ./...
-
-    - name: Test
-      run: go test -v -coverprofile="coverage.txt" -covermode=atomic ./...
-
-    - name: Upload coverage reports to Codecov
-      uses: codecov/codecov-action@v4
-      with:
-        token: ${{ secrets.CODECOV_TOKEN }}
-        slug: goplus/llgo
+      - name: Upload coverage reports to Codecov
+        uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          slug: goplus/llgo

.github/workflows/test_demo.sh

@@ -0,0 +1,29 @@
+#!/bin/bash
+
+# llgo run subdirectories under _demo and _pydemo
+total=0
+failed=0
+failed_cases=""
+for d in ./_demo/* ./_pydemo/*; do
+  total=$((total+1))
+  if [ -d "$d" ]; then
+    echo "Testing $d"
+    if ! llgo run -v "$d"; then
+      echo "FAIL"
+      failed=$((failed+1))
+      failed_cases="$failed_cases\n* :x: $d"
+    else
+      echo "PASS"
+    fi
+  fi
+done
+echo "=== Done"
+echo "$((total-failed))/$total tests passed"
+
+if [ "$failed" -ne 0 ]; then
+  echo ":bangbang: Failed demo cases:" | tee -a result.md
+  echo -e "$failed_cases" | tee -a result.md
+  exit 1
+else
+  echo ":white_check_mark: All demo tests passed" | tee -a result.md
+fi

.github/workflows/test_llgo.sh

@@ -0,0 +1,38 @@
+#!/bin/bash
+set -e
+
+export LLGOROOT=$PWD
+
+testcmd=/tmp/test
+llgo build -o $testcmd ./_test
+cases=$($testcmd)
+total=$(echo "$cases" | wc -l | tr -d ' ')
+failed=0
+failed_cases=""
+
+for idx in $(seq 1 $((total))); do
+  case=$(echo "$cases" | sed -n "${idx}p")
+  case_name=$(echo "$case" | cut -d',' -f2)
+  echo "=== Test case: $case_name"
+  set +e
+  out=$("$testcmd" "$((idx-1))" 2>&1)
+  exit_code=$?
+  set -e
+  if [ "${exit_code:-0}" -ne 0 ]; then
+    echo "failed: $out"
+    failed=$((failed+1))
+    failed_cases="$failed_cases\n* :x: $case_name"
+  else
+    echo "passed"
+  fi
+done
+echo "=== Done"
+echo "$((total-failed))/$total tests passed"
+
+if [ "$failed" -ne 0 ]; then
+  echo ":bangbang: Failed llgo cases:" | tee -a result.md
+  echo -e "$failed_cases" | tee -a result.md
+  exit 1
+else
+  echo ":white_check_mark: All llgo tests passed" | tee -a result.md
+fi

.gitignore

@@ -9,7 +9,8 @@
 *.dylib
 
 test.db
-llgo_autogen.ll
+demo.ll
+llgo_autogen*.ll
 stories*.bin
 .DS_Store
 err.log

README.md

@@ -170,10 +170,7 @@ Here are some examples related to them:
 Common Go syntax is already supported. Except for the following, which needs to be improved:
 
 * map (Very limited support)
-* panic (Limited support)
 * recover (Not supported yet)
-* defer (Limited: defer in loops is not supported)
-* gc (Not supported yet)
 * chan (Not supported yet)
 * generics (Not supported yet)
 
@@ -186,6 +183,22 @@ Here are some examples related to Go syntax:
 * [goroutine](_demo/goroutine/goroutine.go): goroutine demo
 
 
+## Defer
+
+LLGo defer does not support usage in loops. This is not a bug but a feature, because we think that using defer in a loop is a very unrecommended practice.
+
+
+### Garbage Collection (GC)
+
+By default, LLGo implements `gc` based on [bdwgc](https://www.hboehm.info/gc/) (also known as [libgc](https://www.hboehm.info/gc/)).
+
+However, you can disable gc by specifying the `nogc` tag. For example:
+
+```sh
+llgo run -tags nogc .
+```
+
+
 ## Go packages support
 
 Here are the Go packages that can be imported correctly:
@@ -204,6 +217,7 @@ Follow these steps to generate the `llgo` command (its usage is the same as the
 
 ```sh
 brew update  # execute if needed
+brew install libgc
 brew install llvm@17
 go install -v ./...
 ```
@@ -214,6 +228,7 @@ go install -v ./...
 echo 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-17 main' | sudo tee /etc/apt/sources.list.d/llvm.list
 wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
 sudo apt-get update  # execute if needed
+sudo apt-get install libgc-dev
 sudo apt-get install --no-install-recommends llvm-17-dev
 go install -v ./...
 ```

_demo/setjmp/setjmp.go

@@ -0,0 +1,16 @@
+package main
+
+import (
+	"github.com/goplus/llgo/c/setjmp"
+)
+
+func main() {
+	var jb setjmp.SigjmpBuf
+	switch ret := setjmp.Sigsetjmp(&jb, 0); ret {
+	case 0:
+		println("Hello, setjmp!")
+		setjmp.Siglongjmp(&jb, 1)
+	default:
+		println("exception:", ret)
+	}
+}

_test/bdwgc.go

@@ -0,0 +1,101 @@
+package main
+
+import (
+	"unsafe"
+
+	"github.com/goplus/llgo/_test/testing"
+	"github.com/goplus/llgo/c"
+	"github.com/goplus/llgo/internal/runtime/bdwgc"
+)
+
+// ------ Test malloc ------
+
+func TestMalloc(t *testing.T) {
+	pn := (*int)(bdwgc.Malloc(unsafe.Sizeof(int(0))))
+	*pn = 1 << 30
+	c.Printf(c.Str("value: %d, %x, %p, %p\n"), *pn, *pn, pn, &pn)
+
+	pl := (*int64)(bdwgc.Realloc(c.Pointer(pn), unsafe.Sizeof(int64(0))))
+	*pl = 1 << 60
+	c.Printf(c.Str("value: %lld, %llx, %p, %p\n"), *pl, *pl, pl, &pl)
+
+	bdwgc.Free(c.Pointer(pl))
+}
+
+// ------ Test finalizer ------
+
+const (
+	RETURN_VALUE_FREED = 1 << 31
+)
+
+var called uint = 0
+
+func setReturnValueFreed(pobj c.Pointer, clientData c.Pointer) {
+	called |= RETURN_VALUE_FREED
+	c.Printf(c.Str("called: %x\n"), called)
+}
+
+func setLoopValueFreed(pobj c.Pointer, clientData c.Pointer) {
+	pmask := (*uint)(clientData)
+	called |= *pmask
+	c.Printf(c.Str("called: %x\n"), called)
+}
+
+func isCalled(mask uint) bool {
+	return called&mask != 0
+}
+
+func returnValue() *int {
+	pn := bdwgc.Malloc(unsafe.Sizeof(int(0)))
+	bdwgc.RegisterFinalizer(pn, setReturnValueFreed, nil, nil, nil)
+	return (*int)(pn)
+}
+
+func callFunc() {
+	pn := returnValue()
+	*pn = 1 << 30
+	c.Printf(c.Str("value: %d, %x, %p, %p\n"), *pn, *pn, pn, &pn)
+	bdwgc.Gcollect()
+	check(!isCalled(RETURN_VALUE_FREED), c.Str("finalizer should not be called"))
+}
+
+func loop() {
+	for i := 0; i < 5; i++ {
+		p := bdwgc.Malloc(unsafe.Sizeof(int(0)))
+		pn := (*int)(p)
+		*pn = i
+		c.Printf(c.Str("value: %d, %x, %p, %p\n"), *pn, *pn, pn, &pn)
+		pflag := (*uint)(c.Malloc(unsafe.Sizeof(uint(0))))
+		*pflag = 1 << i
+		bdwgc.RegisterFinalizer(p, setLoopValueFreed, c.Pointer(pflag), nil, nil)
+		bdwgc.Gcollect()
+		check(!isCalled(1<<i), c.Str("finalizer should not be called"))
+		for j := 0; j < i; j++ {
+			check(isCalled(1<<j), c.Str("finalizers of previous objects should be called"))
+		}
+	}
+}
+
+// Clear stack to avoid reference
+func clearStack() {
+	p := c.Alloca(128)
+	c.Memset(p, 0, 128)
+}
+
+func check(b bool, msg *c.Char) {
+	if !b {
+		c.Printf(c.Str("check failed: %s\n"), msg)
+		panic("check failed")
+	}
+}
+
+func TestFinalizer(t *testing.T) {
+	bdwgc.Init()
+
+	callFunc()
+	clearStack()
+	bdwgc.Gcollect()
+	check(isCalled(RETURN_VALUE_FREED), c.Str("finalizer should be called"))
+
+	loop()
+}

_test/main.go

@@ -0,0 +1,31 @@
+package main
+
+import (
+	"github.com/goplus/llgo/_test/testing"
+	"github.com/goplus/llgo/c"
+)
+
+type TestCase struct {
+	Name string
+	F    func(*testing.T)
+}
+
+func main() {
+	tests := []TestCase{
+		{"TestMalloc", TestMalloc},
+		{"TestFinalizer", TestFinalizer},
+	}
+	if c.Argc == 1 {
+		for _, test := range tests {
+			c.Printf(c.Str("%s\n"), c.AllocaCStr(test.Name))
+		}
+		return
+	}
+	c.Fprintf(c.Stderr, c.Str("arg: %s\n"), c.Index(c.Argv, 1))
+	idx := int(c.Atoi(c.Index(c.Argv, 1)))
+	if idx < 0 || idx >= len(tests) {
+		c.Printf(c.Str("invalid test index %d"), idx)
+		panic("invalid test index")
+	}
+	tests[idx].F(nil)
+}

_test/testing/testing.go

@@ -0,0 +1,4 @@
+package testing
+
+type T struct {
+}

c/c.go

@@ -57,9 +57,6 @@ func Alloca(size uintptr) Pointer
 //go:linkname AllocaCStr llgo.allocaCStr
 func AllocaCStr(s string) *Char
 
-//go:linkname Unreachable llgo.unreachable
-func Unreachable()
-
 //go:linkname Malloc C.malloc
 func Malloc(size uintptr) Pointer
 
@@ -79,8 +76,17 @@ func GoStringData(string) *Char
 
 // -----------------------------------------------------------------------------
 
-//go:linkname Remove C.remove
-func Remove(path *Char) Int
+//go:linkname AllocaSigjmpBuf llgo.sigjmpbuf
+func AllocaSigjmpBuf() Pointer
+
+//go:linkname Sigsetjmp llgo.sigsetjmp
+func Sigsetjmp(jb Pointer, savemask Int) Int
+
+//go:linkname Siglongjmp llgo.siglongjmp
+func Siglongjmp(jb Pointer, retval Int)
+
+//go:linkname Unreachable llgo.unreachable
+func Unreachable()
 
 // -----------------------------------------------------------------------------
 
@@ -97,15 +103,6 @@ func Qsort(base Pointer, count, elem uintptr, compar func(a, b Pointer) Int)
 
 // -----------------------------------------------------------------------------
 
-//go:linkname Stdin __stdinp
-var Stdin FilePtr
-
-//go:linkname Stdout __stdoutp
-var Stdout FilePtr
-
-//go:linkname Stderr __stderrp
-var Stderr FilePtr
-
 //go:linkname Printf C.printf
 func Printf(format *Char, __llgo_va_list ...any) Int
 
@@ -126,6 +123,11 @@ func Fflush(fp FilePtr) Int
 
 // -----------------------------------------------------------------------------
 
+//go:linkname Remove C.remove
+func Remove(path *Char) Int
+
+// -----------------------------------------------------------------------------
+
 //go:linkname Time C.time
 func Time(*int32) int32
 
@@ -169,3 +171,6 @@ func GetoptLong(argc Int, argv **Char, optstring *Char, longopts *Option, longin
 func GetoptLongOnly(argc Int, argv **Char, optstring *Char, longopts *Option, longindex *Int) Int
 
 // -----------------------------------------------------------------------------
+
+//go:linkname Atoi C.atoi
+func Atoi(s *Char) Int

c/c_default.go

@@ -1,3 +1,6 @@
+//go:build !linux
+// +build !linux
+
 /*
  * Copyright (c) 2024 The GoPlus Authors (goplus.org). All rights reserved.
  *
@@ -14,21 +17,15 @@
  * limitations under the License.
  */
 
-package runtime
+package c
 
-// Defer presents defer statements in a function.
-type Defer struct {
-	proc func(uintptr)
-	bits uintptr
-	link *Defer
-	rund int // index of RunDefers
-}
+import _ "unsafe"
 
-// DeferProc calls deferred statements.
-func DeferProc(d *Defer) {
-	for d != nil {
-		d.proc(d.bits)
-		d = d.link
-		_ = d.rund
-	}
-}
+//go:linkname Stdin __stdinp
+var Stdin FilePtr
+
+//go:linkname Stdout __stdoutp
+var Stdout FilePtr
+
+//go:linkname Stderr __stderrp
+var Stderr FilePtr

c/c_linux.go

@@ -0,0 +1,31 @@
+//go:build linux
+// +build linux
+
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 c
+
+import _ "unsafe"
+
+//go:linkname Stdin stdin
+var Stdin FilePtr
+
+//go:linkname Stdout stdout
+var Stdout FilePtr
+
+//go:linkname Stderr stderr
+var Stderr FilePtr

c/setjmp/setjmp.go

@@ -0,0 +1,53 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 setjmp
+
+// #include <setjmp.h>
+import "C"
+
+import (
+	_ "unsafe"
+
+	"github.com/goplus/llgo/c"
+)
+
+const (
+	LLGoPackage = "decl"
+)
+
+type (
+	JmpBuf    = C.jmp_buf
+	SigjmpBuf = C.sigjmp_buf
+)
+
+// -----------------------------------------------------------------------------
+
+//go:linkname Setjmp C.setjmp
+func Setjmp(env *JmpBuf) c.Int
+
+//go:linkname Longjmp C.longjmp
+func Longjmp(env *JmpBuf, val c.Int)
+
+// -----------------------------------------------------------------------------
+
+//go:linkname Sigsetjmp C.sigsetjmp
+func Sigsetjmp(env *SigjmpBuf, savemask c.Int) c.Int
+
+//go:linkname Siglongjmp C.siglongjmp
+func Siglongjmp(env *SigjmpBuf, val c.Int)
+
+// -----------------------------------------------------------------------------

c/setjmp/trycatch/_code/demo.cpp

@@ -0,0 +1,5 @@
+#include <stdexcept>
+
+extern "C" void throwCppException() {
+    throw std::runtime_error("C++ exception");
+}

c/setjmp/trycatch/_code/try_catch.cpp

@@ -0,0 +1,13 @@
+#include <exception>
+#include <stdio.h>
+
+extern "C" void throwCppException();
+
+int main() {
+    try {
+        throwCppException();
+    } catch (std::exception& e) {
+        printf("Hi, %s\n", e.what());
+    }
+    return 0;
+}

c/setjmp/trycatch/demo.go

@@ -0,0 +1,28 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 trycatch
+
+import (
+	_ "unsafe"
+)
+
+const (
+	LLGoPackage = "link: c++"
+)
+
+//go:linkname ThrowCppException C.throwCppException
+func ThrowCppException()

c/setjmp/trycatch/llgo.cfg

@@ -0,0 +1,8 @@
+{
+    "cl": [
+        "clang -emit-llvm -S -o demo.ll -c _code/demo.cpp",
+        "clang -emit-llvm -S -o _code/llgo_autogen.ll -c _code/try_catch.cpp",
+        "llgen .",
+        "rm llgo_autogen.lla; zip llgo_autogen.lla llgo_autogen.ll demo.ll",
+    ]
+}

cl/_testdata/vargs/out.ll

@@ -12,6 +12,7 @@ source_filename = "main"
 @_llgo_int = linkonce global ptr null
 @0 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
 @1 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
+@_llgo_string = linkonce global ptr null
 
 define void @main.init() {
 _llgo_0:
@@ -123,7 +124,16 @@ _llgo_5:                                          ; preds = %_llgo_2
   %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 1
   store i64 21, ptr %17, align 4
   %18 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %15, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.String" %18)
+  %19 = load ptr, ptr @_llgo_string, align 8
+  %20 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %18, ptr %20, align 8
+  %21 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %21, i32 0, i32 0
+  store ptr %19, ptr %22, align 8
+  %23 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %21, i32 0, i32 1
+  store ptr %20, ptr %23, align 8
+  %24 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %21, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %24)
   unreachable
 }
 
@@ -143,6 +153,16 @@ _llgo_1:                                          ; preds = %_llgo_0
   br label %_llgo_2
 
 _llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
+  %3 = load ptr, ptr @_llgo_string, 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/internal/runtime.Basic"(i64 24)
+  store ptr %5, ptr @_llgo_string, align 8
+  br label %_llgo_4
+
+_llgo_4:                                          ; preds = %_llgo_3, %_llgo_2
   ret void
 }
 
@@ -150,6 +170,8 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
 
 declare void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1)
 
-declare void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface")
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
+
+declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface")
 
 declare i32 @printf(ptr, ...)

cl/_testdefer/firstloop1/in.go

@@ -0,0 +1,16 @@
+package foo
+
+func f(s string) bool {
+	return len(s) > 2
+}
+
+func Loop() {
+	for i := 0; i < 3; i++ {
+		if s := "hello"; f(s) {
+			defer println(s)
+		} else {
+			defer println("world")
+			return
+		}
+	}
+}

cl/_testdefer/firstloop1/out.txt

@@ -0,0 +1,7 @@
+ 0: always
+ 6: cond
+ 3: loop
+ 1: loop
+ 4: loop
+ 2: cond
+ 5: cond

cl/_testdefer/firstloop2/in.go

@@ -0,0 +1,7 @@
+package foo
+
+func Loop() {
+	for i := 0; i < 3; i++ {
+		println(i)
+	}
+}

cl/_testdefer/firstloop2/out.txt

@@ -0,0 +1,4 @@
+ 0: always
+ 3: loop
+ 1: loop
+ 2: always

cl/_testgo/defer/out.ll

@@ -1,188 +0,0 @@
-; ModuleID = 'main'
-source_filename = "main"
-
-%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
-%"github.com/goplus/llgo/internal/runtime.Defer" = type { { ptr, ptr }, i64, ptr, i64 }
-
-@"main.init$guard" = global ptr null
-@__llgo_argc = global ptr null
-@__llgo_argv = global ptr null
-@__llgo_defer = linkonce global ptr null
-@0 = private unnamed_addr constant [6 x i8] c"hello\00", align 1
-@1 = private unnamed_addr constant [6 x i8] c"hello\00", align 1
-@2 = private unnamed_addr constant [4 x i8] c"bye\00", align 1
-@3 = private unnamed_addr constant [6 x i8] c"world\00", align 1
-@4 = private unnamed_addr constant [3 x i8] c"hi\00", align 1
-
-define i1 @main.f(%"github.com/goplus/llgo/internal/runtime.String" %0) {
-_llgo_0:
-  %1 = extractvalue %"github.com/goplus/llgo/internal/runtime.String" %0, 1
-  %2 = icmp sgt i64 %1, 2
-  ret i1 %2
-}
-
-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
-  call void @"main.init$after"()
-  br label %_llgo_2
-
-_llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
-  ret void
-}
-
-define i32 @main(i32 %0, ptr %1) {
-_llgo_0:
-  %2 = load ptr, ptr @__llgo_defer, align 8
-  %3 = call ptr @pthread_getspecific(ptr %2)
-  %4 = alloca i8, i64 40, align 1
-  %5 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, i32 0, i32 0
-  store ptr null, ptr %5, align 8
-  %6 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, i32 0, i32 1
-  store i64 0, ptr %6, align 4
-  %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, i32 0, i32 2
-  store ptr %3, ptr %7, align 8
-  %8 = call i32 @pthread_setspecific(ptr %2, ptr %4)
-  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()
-  %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, i32 0, i32 1
-  %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, i32 0, i32 3
-  %11 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
-  %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %11, i32 0, i32 0
-  store ptr @0, ptr %12, align 8
-  %13 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %11, i32 0, i32 1
-  store i64 5, ptr %13, align 4
-  %14 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %11, align 8
-  %15 = call i1 @main.f(%"github.com/goplus/llgo/internal/runtime.String" %14)
-  br i1 %15, label %_llgo_2, label %_llgo_3
-
-_llgo_1:                                          ; No predecessors!
-  ret i32 0
-
-_llgo_2:                                          ; preds = %_llgo_0
-  %16 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
-  %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %16, i32 0, i32 0
-  store ptr @1, ptr %17, align 8
-  %18 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %16, i32 0, i32 1
-  store i64 5, ptr %18, align 4
-  %19 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %16, align 8
-  %20 = load i64, ptr %9, align 4
-  %21 = or i64 %20, 1
-  store i64 %21, ptr %9, align 4
-  %22 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
-  %23 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %22, i32 0, i32 0
-  store ptr @2, ptr %23, align 8
-  %24 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %22, i32 0, i32 1
-  store i64 3, ptr %24, align 4
-  %25 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %22, align 8
-  %26 = load i64, ptr %9, align 4
-  %27 = or i64 %26, 2
-  store i64 %27, ptr %9, align 4
-  store i64 0, ptr %10, align 4
-  br label %_llgo_4
-
-_llgo_3:                                          ; preds = %_llgo_0
-  %28 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
-  %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %28, i32 0, i32 0
-  store ptr @3, ptr %29, align 8
-  %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %28, i32 0, i32 1
-  store i64 5, ptr %30, align 4
-  %31 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %28, align 8
-  %32 = load i64, ptr %9, align 4
-  %33 = or i64 %32, 4
-  store i64 %33, ptr %9, align 4
-  store i64 1, ptr %10, align 4
-  br label %_llgo_4
-
-_llgo_4:                                          ; preds = %_llgo_3, %_llgo_2
-  %34 = load i64, ptr %9, align 4
-  %35 = and i64 %34, 4
-  %36 = icmp ne i64 %35, 0
-  br i1 %36, label %_llgo_7, label %_llgo_8
-
-_llgo_5:                                          ; preds = %_llgo_12
-  ret i32 0
-
-_llgo_6:                                          ; preds = %_llgo_12
-  ret i32 0
-
-_llgo_7:                                          ; preds = %_llgo_4
-  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %31)
-  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
-  br label %_llgo_8
-
-_llgo_8:                                          ; preds = %_llgo_7, %_llgo_4
-  %37 = and i64 %34, 2
-  %38 = icmp ne i64 %37, 0
-  br i1 %38, label %_llgo_9, label %_llgo_10
-
-_llgo_9:                                          ; preds = %_llgo_8
-  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %25)
-  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
-  br label %_llgo_10
-
-_llgo_10:                                         ; preds = %_llgo_9, %_llgo_8
-  %39 = and i64 %34, 1
-  %40 = icmp ne i64 %39, 0
-  br i1 %40, label %_llgo_11, label %_llgo_12
-
-_llgo_11:                                         ; preds = %_llgo_10
-  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %19)
-  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
-  br label %_llgo_12
-
-_llgo_12:                                         ; preds = %_llgo_11, %_llgo_10
-  call void @"main.main$1"()
-  %41 = load %"github.com/goplus/llgo/internal/runtime.Defer", ptr %4, align 8
-  %42 = extractvalue %"github.com/goplus/llgo/internal/runtime.Defer" %41, 2
-  %43 = call i32 @pthread_setspecific(ptr %2, ptr %42)
-  %44 = load i64, ptr %10, align 4
-  switch i64 %44, label %_llgo_5 [
-    i64 1, label %_llgo_6
-  ]
-}
-
-declare void @"github.com/goplus/llgo/internal/runtime.init"()
-
-define void @"main.main$1"() {
-_llgo_0:
-  %0 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
-  %1 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 0
-  store ptr @4, ptr %1, align 8
-  %2 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 1
-  store i64 2, ptr %2, align 4
-  %3 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %0, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %3)
-  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
-  ret void
-}
-
-declare ptr @pthread_getspecific(i32)
-
-declare i32 @pthread_setspecific(i32, ptr)
-
-declare void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String")
-
-declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)
-
-define void @"main.init$after"() {
-_llgo_0:
-  %0 = load ptr, ptr @__llgo_defer, align 8
-  %1 = icmp eq ptr %0, null
-  br i1 %1, label %_llgo_1, label %_llgo_2
-
-_llgo_1:                                          ; preds = %_llgo_0
-  %2 = call i32 @pthread_key_create(ptr @__llgo_defer, ptr null)
-  br label %_llgo_2
-
-_llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
-  ret void
-}
-
-declare i32 @pthread_key_create(ptr, ptr)

cl/_testgo/defer1/out.ll

@@ -0,0 +1 @@
+;

cl/_testgo/defer2/in.go

@@ -0,0 +1,15 @@
+package main
+
+func f(s string) bool {
+	return len(s) > 2
+}
+
+func main() {
+	if s := "hello"; f(s) {
+		defer println(s)
+	} else {
+		defer println("world")
+		return
+	}
+	defer println("bye")
+}

cl/_testgo/defer2/out.ll

@@ -0,0 +1 @@
+;

cl/_testgo/defer3/in.go

@@ -0,0 +1,23 @@
+package main
+
+func f(s string) bool {
+	return len(s) > 2
+}
+
+func fail() {
+	defer println("bye")
+	panic("panic message")
+}
+
+func main() {
+	defer func() {
+		println("hi")
+	}()
+	if s := "hello"; f(s) {
+		defer println(s)
+	} else {
+		defer println("world")
+		return
+	}
+	fail()
+}

cl/_testgo/defer3/out.ll

@@ -0,0 +1 @@
+;

cl/_testgo/ifaceconv/in.go

@@ -0,0 +1,85 @@
+package main
+
+// Tests of interface conversions and type assertions.
+
+type I0 interface {
+}
+type I1 interface {
+	f()
+}
+type I2 interface {
+	f()
+	g()
+}
+
+type C0 struct{}
+type C1 struct{}
+
+func (C1) f() {}
+
+type C2 struct{}
+
+func (C2) f() {}
+func (C2) g() {}
+
+func main() {
+	var i0 I0
+	var i1 I1
+	var i2 I2
+
+	// Nil always causes a type assertion to fail, even to the
+	// same type.
+	if _, ok := i0.(I0); ok {
+		panic("nil i0.(I0) succeeded")
+	}
+	if _, ok := i1.(I1); ok {
+		panic("nil i1.(I1) succeeded")
+	}
+	if _, ok := i2.(I2); ok {
+		panic("nil i2.(I2) succeeded")
+	}
+
+	// Conversions can't fail, even with nil.
+	_ = I0(i0)
+
+	_ = I0(i1)
+	_ = I1(i1)
+
+	_ = I0(i2)
+	_ = I1(i2)
+	_ = I2(i2)
+
+	// Non-nil type assertions pass or fail based on the concrete type.
+	i1 = C1{}
+	if _, ok := i1.(I0); !ok {
+		panic("C1 i1.(I0) failed")
+	}
+	if _, ok := i1.(I1); !ok {
+		panic("C1 i1.(I1) failed")
+	}
+	if _, ok := i1.(I2); ok {
+		panic("C1 i1.(I2) succeeded")
+	}
+
+	i1 = C2{}
+	if _, ok := i1.(I0); !ok {
+		panic("C2 i1.(I0) failed")
+	}
+	if _, ok := i1.(I1); !ok {
+		panic("C2 i1.(I1) failed")
+	}
+	if _, ok := i1.(I2); !ok {
+		panic("C2 i1.(I2) failed")
+	}
+
+	// Conversions can't fail.
+	i1 = C1{}
+	if I0(i1) == nil {
+		panic("C1 I0(i1) was nil")
+	}
+	if I1(i1) == nil {
+		panic("C1 I1(i1) was nil")
+	}
+
+	println("pass")
+}

cl/_testgo/ifaceprom/in.go

@@ -0,0 +1,60 @@
+package main
+
+// Test of promotion of methods of an interface embedded within a
+// struct.  In particular, this test exercises that the correct
+// method is called.
+
+type I interface {
+	one() int
+	two() string
+}
+
+type S struct {
+	I
+}
+
+type impl struct{}
+
+func (impl) one() int {
+	return 1
+}
+
+func (impl) two() string {
+	return "two"
+}
+
+func main() {
+	var s S
+	s.I = impl{}
+	if one := s.I.one(); one != 1 {
+		panic(one)
+	}
+	if one := s.one(); one != 1 {
+		panic(one)
+	}
+	closOne := s.I.one
+	if one := closOne(); one != 1 {
+		panic(one)
+	}
+	closOne = s.one
+	if one := closOne(); one != 1 {
+		panic(one)
+	}
+
+	if two := s.I.two(); two != "two" {
+		panic(two)
+	}
+	if two := s.two(); two != "two" {
+		panic(two)
+	}
+	closTwo := s.I.two
+	if two := closTwo(); two != "two" {
+		panic(two)
+	}
+	closTwo = s.two
+	if two := closTwo(); two != "two" {
+		panic(two)
+	}
+
+	println("pass")
+}

cl/_testgo/interface/in.go

@@ -0,0 +1,27 @@
+package main
+
+import (
+	"github.com/goplus/llgo/cl/internal/foo"
+)
+
+type Game1 struct {
+	*foo.Game
+}
+
+type Game2 struct {
+}
+
+func (p *Game2) initGame() {
+}
+
+func main() {
+	var g1 any = &Game1{&foo.Game{}}
+	var g2 any = &Game2{}
+	v1, ok := g1.(foo.Gamer)
+	println("OK", v1, ok)
+	if ok {
+		v1.Load()
+	}
+	v2, ok := g2.(foo.Gamer)
+	println("FAIL", v2, ok)
+}

cl/_testgo/interface/out.ll

@@ -0,0 +1,773 @@
+; ModuleID = 'main'
+source_filename = "main"
+
+%main.Game1 = type { ptr }
+%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr }
+%"github.com/goplus/llgo/internal/runtime.iface" = type { ptr, ptr }
+%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
+%"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 }
+%"github.com/goplus/llgo/internal/abi.Method" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr, ptr, ptr }
+%"github.com/goplus/llgo/internal/abi.StructField" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/internal/runtime.String", i1 }
+%"github.com/goplus/llgo/internal/abi.Imethod" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr }
+
+@"main.init$guard" = global ptr null
+@__llgo_argc = global ptr null
+@__llgo_argv = global ptr null
+@"*_llgo_main.Game1" = linkonce global ptr null
+@_llgo_main.Game1 = linkonce global ptr null
+@"_llgo_struct$cJmCzeVn0orHWafCrTGAnbbAF46F2A4Fms4bJBm8ITI" = linkonce global ptr null
+@"*_llgo_github.com/goplus/llgo/cl/internal/foo.Game" = linkonce global ptr null
+@"_llgo_github.com/goplus/llgo/cl/internal/foo.Game" = linkonce global ptr null
+@"_llgo_struct$n1H8J_3prDN3firMwPxBLVTkE5hJ9Di-AqNvaC9jczw" = linkonce global ptr null
+@0 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@1 = private unnamed_addr constant [5 x i8] c"Load\00", align 1
+@"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac" = linkonce global ptr null
+@2 = private unnamed_addr constant [9 x i8] c"initGame\00", align 1
+@3 = private unnamed_addr constant [48 x i8] c"github.com/goplus/llgo/cl/internal/foo.initGame\00", align 1
+@4 = private unnamed_addr constant [39 x i8] c"github.com/goplus/llgo/cl/internal/foo\00", align 1
+@5 = private unnamed_addr constant [44 x i8] c"github.com/goplus/llgo/cl/internal/foo.Game\00", align 1
+@6 = private unnamed_addr constant [5 x i8] c"Game\00", align 1
+@7 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@8 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@9 = private unnamed_addr constant [5 x i8] c"Load\00", align 1
+@10 = private unnamed_addr constant [9 x i8] c"initGame\00", align 1
+@11 = private unnamed_addr constant [48 x i8] c"github.com/goplus/llgo/cl/internal/foo.initGame\00", align 1
+@12 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@13 = private unnamed_addr constant [11 x i8] c"main.Game1\00", align 1
+@"*_llgo_main.Game2" = linkonce global ptr null
+@_llgo_main.Game2 = linkonce global ptr null
+@14 = private unnamed_addr constant [9 x i8] c"initGame\00", align 1
+@15 = private unnamed_addr constant [14 x i8] c"main.initGame\00", align 1
+@16 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@17 = private unnamed_addr constant [11 x i8] c"main.Game2\00", align 1
+@"_llgo_github.com/goplus/llgo/cl/internal/foo.Gamer" = linkonce global ptr null
+@18 = private unnamed_addr constant [5 x i8] c"Load\00", align 1
+@19 = private unnamed_addr constant [48 x i8] c"github.com/goplus/llgo/cl/internal/foo.initGame\00", align 1
+@20 = private unnamed_addr constant [39 x i8] c"github.com/goplus/llgo/cl/internal/foo\00", align 1
+@21 = private unnamed_addr constant [45 x i8] c"github.com/goplus/llgo/cl/internal/foo.Gamer\00", align 1
+@"main.iface$sO8a1LvuUsjXwiwaC6sR9-L4DiYgiOnZi7iosyShJXg" = global ptr null
+@22 = private unnamed_addr constant [5 x i8] c"Load\00", align 1
+@23 = private unnamed_addr constant [48 x i8] c"github.com/goplus/llgo/cl/internal/foo.initGame\00", align 1
+@24 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@25 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@26 = private unnamed_addr constant [3 x i8] c"OK\00", align 1
+@27 = private unnamed_addr constant [5 x i8] c"FAIL\00", align 1
+
+define void @main.Game1.Load(%main.Game1 %0) {
+_llgo_0:
+  %1 = alloca %main.Game1, align 8
+  %2 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %1, i64 8)
+  store %main.Game1 %0, ptr %2, align 8
+  %3 = getelementptr inbounds %main.Game1, ptr %2, i32 0, i32 0
+  %4 = load ptr, ptr %3, align 8
+  call void @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load"(ptr %4)
+  ret void
+}
+
+define void @main.Game1.initGame(%main.Game1 %0) {
+_llgo_0:
+  %1 = alloca %main.Game1, align 8
+  %2 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %1, i64 8)
+  store %main.Game1 %0, ptr %2, align 8
+  %3 = getelementptr inbounds %main.Game1, ptr %2, i32 0, i32 0
+  %4 = load ptr, ptr %3, align 8
+  call void @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame"(ptr %4)
+  ret void
+}
+
+define void @"main.(*Game1).Load"(ptr %0) {
+_llgo_0:
+  %1 = getelementptr inbounds %main.Game1, ptr %0, i32 0, i32 0
+  %2 = load ptr, ptr %1, align 8
+  call void @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load"(ptr %2)
+  ret void
+}
+
+define void @"main.(*Game1).initGame"(ptr %0) {
+_llgo_0:
+  %1 = getelementptr inbounds %main.Game1, ptr %0, i32 0, i32 0
+  %2 = load ptr, ptr %1, align 8
+  call void @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame"(ptr %2)
+  ret void
+}
+
+define void @"main.(*Game2).initGame"(ptr %0) {
+_llgo_0:
+  ret void
+}
+
+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
+  call void @"github.com/goplus/llgo/cl/internal/foo.init"()
+  call void @"main.init$after"()
+  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 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 8)
+  %3 = getelementptr inbounds %main.Game1, ptr %2, i32 0, i32 0
+  %4 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 0)
+  store ptr %4, ptr %3, align 8
+  %5 = load ptr, ptr @"*_llgo_main.Game1", align 8
+  %6 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %6, i32 0, i32 0
+  store ptr %5, ptr %7, align 8
+  %8 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %6, i32 0, i32 1
+  store ptr %2, ptr %8, align 8
+  %9 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %6, align 8
+  %10 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 0)
+  %11 = load ptr, ptr @"*_llgo_main.Game2", align 8
+  %12 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %13 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %12, i32 0, i32 0
+  store ptr %11, ptr %13, align 8
+  %14 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %12, i32 0, i32 1
+  store ptr %10, ptr %14, align 8
+  %15 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %12, align 8
+  %16 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %9, 0
+  %17 = load ptr, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Gamer", align 8
+  %18 = call i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr %17, ptr %16)
+  br i1 %18, label %_llgo_3, label %_llgo_4
+
+_llgo_1:                                          ; preds = %_llgo_5
+  %19 = call ptr @"github.com/goplus/llgo/internal/runtime.IfacePtrData"(%"github.com/goplus/llgo/internal/runtime.iface" %48)
+  %20 = extractvalue %"github.com/goplus/llgo/internal/runtime.iface" %48, 0
+  %21 = getelementptr ptr, ptr %20, i64 3
+  %22 = load ptr, ptr %21, align 8
+  %23 = alloca { ptr, ptr }, align 8
+  %24 = getelementptr inbounds { ptr, ptr }, ptr %23, i32 0, i32 0
+  store ptr %22, ptr %24, align 8
+  %25 = getelementptr inbounds { ptr, ptr }, ptr %23, i32 0, i32 1
+  store ptr %19, ptr %25, align 8
+  %26 = load { ptr, ptr }, ptr %23, align 8
+  %27 = extractvalue { ptr, ptr } %26, 1
+  %28 = extractvalue { ptr, ptr } %26, 0
+  call void %28(ptr %27)
+  br label %_llgo_2
+
+_llgo_2:                                          ; preds = %_llgo_1, %_llgo_5
+  %29 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %15, 0
+  %30 = load ptr, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Gamer", align 8
+  %31 = call i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr %30, ptr %29)
+  br i1 %31, label %_llgo_6, label %_llgo_7
+
+_llgo_3:                                          ; preds = %_llgo_0
+  %32 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %9, 1
+  %33 = load ptr, ptr @"main.iface$sO8a1LvuUsjXwiwaC6sR9-L4DiYgiOnZi7iosyShJXg", align 8
+  %34 = call ptr @"github.com/goplus/llgo/internal/runtime.NewItab"(ptr %33, ptr %16)
+  %35 = alloca %"github.com/goplus/llgo/internal/runtime.iface", align 8
+  %36 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %35, i32 0, i32 0
+  store ptr %34, ptr %36, align 8
+  %37 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %35, i32 0, i32 1
+  store ptr %32, ptr %37, align 8
+  %38 = load %"github.com/goplus/llgo/internal/runtime.iface", ptr %35, align 8
+  %39 = alloca { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, align 8
+  %40 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %39, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.iface" %38, ptr %40, align 8
+  %41 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %39, i32 0, i32 1
+  store i1 true, ptr %41, align 1
+  %42 = load { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %39, align 8
+  br label %_llgo_5
+
+_llgo_4:                                          ; preds = %_llgo_0
+  %43 = alloca { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, align 8
+  %44 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %43, i32 0, i32 0
+  store { ptr, ptr } zeroinitializer, ptr %44, align 8
+  %45 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %43, i32 0, i32 1
+  store i1 false, ptr %45, align 1
+  %46 = load { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %43, align 8
+  br label %_llgo_5
+
+_llgo_5:                                          ; preds = %_llgo_4, %_llgo_3
+  %47 = phi { %"github.com/goplus/llgo/internal/runtime.iface", i1 } [ %42, %_llgo_3 ], [ %46, %_llgo_4 ]
+  %48 = extractvalue { %"github.com/goplus/llgo/internal/runtime.iface", i1 } %47, 0
+  %49 = extractvalue { %"github.com/goplus/llgo/internal/runtime.iface", i1 } %47, 1
+  %50 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %51 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %50, i32 0, i32 0
+  store ptr @26, ptr %51, align 8
+  %52 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %50, i32 0, i32 1
+  store i64 2, ptr %52, align 4
+  %53 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %50, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %53)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintIface"(%"github.com/goplus/llgo/internal/runtime.iface" %48)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1 %49)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  br i1 %49, label %_llgo_1, label %_llgo_2
+
+_llgo_6:                                          ; preds = %_llgo_2
+  %54 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %15, 1
+  %55 = load ptr, ptr @"main.iface$sO8a1LvuUsjXwiwaC6sR9-L4DiYgiOnZi7iosyShJXg", align 8
+  %56 = call ptr @"github.com/goplus/llgo/internal/runtime.NewItab"(ptr %55, ptr %29)
+  %57 = alloca %"github.com/goplus/llgo/internal/runtime.iface", align 8
+  %58 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %57, i32 0, i32 0
+  store ptr %56, ptr %58, align 8
+  %59 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %57, i32 0, i32 1
+  store ptr %54, ptr %59, align 8
+  %60 = load %"github.com/goplus/llgo/internal/runtime.iface", ptr %57, align 8
+  %61 = alloca { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, align 8
+  %62 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %61, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.iface" %60, ptr %62, align 8
+  %63 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %61, i32 0, i32 1
+  store i1 true, ptr %63, align 1
+  %64 = load { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %61, align 8
+  br label %_llgo_8
+
+_llgo_7:                                          ; preds = %_llgo_2
+  %65 = alloca { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, align 8
+  %66 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %65, i32 0, i32 0
+  store { ptr, ptr } zeroinitializer, ptr %66, align 8
+  %67 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %65, i32 0, i32 1
+  store i1 false, ptr %67, align 1
+  %68 = load { %"github.com/goplus/llgo/internal/runtime.iface", i1 }, ptr %65, align 8
+  br label %_llgo_8
+
+_llgo_8:                                          ; preds = %_llgo_7, %_llgo_6
+  %69 = phi { %"github.com/goplus/llgo/internal/runtime.iface", i1 } [ %64, %_llgo_6 ], [ %68, %_llgo_7 ]
+  %70 = extractvalue { %"github.com/goplus/llgo/internal/runtime.iface", i1 } %69, 0
+  %71 = extractvalue { %"github.com/goplus/llgo/internal/runtime.iface", i1 } %69, 1
+  %72 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %73 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %72, i32 0, i32 0
+  store ptr @27, ptr %73, align 8
+  %74 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %72, i32 0, i32 1
+  store i64 4, ptr %74, align 4
+  %75 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %72, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %75)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintIface"(%"github.com/goplus/llgo/internal/runtime.iface" %70)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1 %71)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  ret i32 0
+}
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr, i64)
+
+declare void @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load"(ptr)
+
+declare void @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame"(ptr)
+
+declare void @"github.com/goplus/llgo/cl/internal/foo.init"()
+
+declare void @"github.com/goplus/llgo/internal/runtime.init"()
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64)
+
+define void @"main.init$after"() {
+_llgo_0:
+  %0 = load ptr, ptr @_llgo_main.Game1, 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/internal/runtime.NewNamed"(i64 25, i64 2, i64 2)
+  store ptr %2, ptr @_llgo_main.Game1, align 8
+  br label %_llgo_2
+
+_llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
+  %3 = load ptr, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Game", 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/internal/runtime.NewNamed"(i64 25, i64 0, i64 2)
+  store ptr %5, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Game", align 8
+  br label %_llgo_4
+
+_llgo_4:                                          ; preds = %_llgo_3, %_llgo_2
+  %6 = load ptr, ptr @"_llgo_struct$n1H8J_3prDN3firMwPxBLVTkE5hJ9Di-AqNvaC9jczw", align 8
+  %7 = icmp eq ptr %6, null
+  br i1 %7, label %_llgo_5, label %_llgo_6
+
+_llgo_5:                                          ; preds = %_llgo_4
+  %8 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %8, i32 0, i32 0
+  store ptr @0, ptr %9, align 8
+  %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %8, i32 0, i32 1
+  store i64 4, ptr %10, align 4
+  %11 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %8, align 8
+  %12 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %13 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %14 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %13, i32 0, i32 0
+  store ptr %12, ptr %14, align 8
+  %15 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %13, i32 0, i32 1
+  store i64 0, ptr %15, align 4
+  %16 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %13, i32 0, i32 2
+  store i64 0, ptr %16, align 4
+  %17 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %13, align 8
+  %18 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %11, i64 0, %"github.com/goplus/llgo/internal/runtime.Slice" %17)
+  store ptr %18, ptr @"_llgo_struct$n1H8J_3prDN3firMwPxBLVTkE5hJ9Di-AqNvaC9jczw", align 8
+  br label %_llgo_6
+
+_llgo_6:                                          ; preds = %_llgo_5, %_llgo_4
+  %19 = load ptr, ptr @"_llgo_struct$n1H8J_3prDN3firMwPxBLVTkE5hJ9Di-AqNvaC9jczw", align 8
+  br i1 %4, label %_llgo_7, label %_llgo_8
+
+_llgo_7:                                          ; preds = %_llgo_6
+  %20 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %21 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 0
+  store ptr @1, ptr %21, align 8
+  %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 1
+  store i64 4, ptr %22, align 4
+  %23 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %20, align 8
+  %24 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %25 = icmp eq ptr %24, null
+  br i1 %25, label %_llgo_9, label %_llgo_10
+
+_llgo_8:                                          ; preds = %_llgo_10, %_llgo_6
+  %26 = load ptr, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Game", align 8
+  %27 = load ptr, ptr @"*_llgo_github.com/goplus/llgo/cl/internal/foo.Game", align 8
+  %28 = icmp eq ptr %27, null
+  br i1 %28, label %_llgo_11, label %_llgo_12
+
+_llgo_9:                                          ; preds = %_llgo_7
+  %29 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %30 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %31 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %30, i32 0, i32 0
+  store ptr %29, ptr %31, align 8
+  %32 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %30, i32 0, i32 1
+  store i64 0, ptr %32, align 4
+  %33 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %30, i32 0, i32 2
+  store i64 0, ptr %33, align 4
+  %34 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %30, align 8
+  %35 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %36 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %37 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %36, i32 0, i32 0
+  store ptr %35, ptr %37, align 8
+  %38 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %36, i32 0, i32 1
+  store i64 0, ptr %38, align 4
+  %39 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %36, i32 0, i32 2
+  store i64 0, ptr %39, align 4
+  %40 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %36, align 8
+  %41 = call ptr @"github.com/goplus/llgo/internal/runtime.Func"(%"github.com/goplus/llgo/internal/runtime.Slice" %34, %"github.com/goplus/llgo/internal/runtime.Slice" %40, i1 false)
+  store ptr %41, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  br label %_llgo_10
+
+_llgo_10:                                         ; preds = %_llgo_9, %_llgo_7
+  %42 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %43 = alloca %"github.com/goplus/llgo/internal/abi.Method", align 8
+  %44 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %43, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %23, ptr %44, align 8
+  %45 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %43, i32 0, i32 1
+  store ptr %42, ptr %45, align 8
+  %46 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %43, i32 0, i32 2
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load", ptr %46, align 8
+  %47 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %43, i32 0, i32 3
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load", ptr %47, align 8
+  %48 = load %"github.com/goplus/llgo/internal/abi.Method", ptr %43, align 8
+  %49 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %50 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %49, i32 0, i32 0
+  store ptr @2, ptr %50, align 8
+  %51 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %49, i32 0, i32 1
+  store i64 8, ptr %51, align 4
+  %52 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %49, align 8
+  %53 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %54 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %53, i32 0, i32 0
+  store ptr @3, ptr %54, align 8
+  %55 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %53, i32 0, i32 1
+  store i64 47, ptr %55, align 4
+  %56 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %53, align 8
+  %57 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %58 = alloca %"github.com/goplus/llgo/internal/abi.Method", align 8
+  %59 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %58, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %56, ptr %59, align 8
+  %60 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %58, i32 0, i32 1
+  store ptr %57, ptr %60, align 8
+  %61 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %58, i32 0, i32 2
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame", ptr %61, align 8
+  %62 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %58, i32 0, i32 3
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame", ptr %62, align 8
+  %63 = load %"github.com/goplus/llgo/internal/abi.Method", ptr %58, align 8
+  %64 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 80)
+  %65 = getelementptr %"github.com/goplus/llgo/internal/abi.Method", ptr %64, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Method" %48, ptr %65, align 8
+  %66 = getelementptr %"github.com/goplus/llgo/internal/abi.Method", ptr %64, i64 1
+  store %"github.com/goplus/llgo/internal/abi.Method" %63, ptr %66, align 8
+  %67 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %68 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 0
+  store ptr %64, ptr %68, align 8
+  %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 1
+  store i64 2, ptr %69, align 4
+  %70 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 2
+  store i64 2, ptr %70, align 4
+  %71 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, align 8
+  %72 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %73 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %72, i32 0, i32 0
+  store ptr @4, ptr %73, align 8
+  %74 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %72, i32 0, i32 1
+  store i64 38, ptr %74, align 4
+  %75 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %72, align 8
+  %76 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %77 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %76, i32 0, i32 0
+  store ptr @5, ptr %77, align 8
+  %78 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %76, i32 0, i32 1
+  store i64 43, ptr %78, align 4
+  %79 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %76, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.InitNamed"(ptr %5, %"github.com/goplus/llgo/internal/runtime.String" %75, %"github.com/goplus/llgo/internal/runtime.String" %79, ptr %19, { ptr, i64, i64 } zeroinitializer, %"github.com/goplus/llgo/internal/runtime.Slice" %71)
+  br label %_llgo_8
+
+_llgo_11:                                         ; preds = %_llgo_8
+  %80 = call ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr %26)
+  store ptr %80, ptr @"*_llgo_github.com/goplus/llgo/cl/internal/foo.Game", align 8
+  br label %_llgo_12
+
+_llgo_12:                                         ; preds = %_llgo_11, %_llgo_8
+  %81 = load ptr, ptr @"*_llgo_github.com/goplus/llgo/cl/internal/foo.Game", align 8
+  %82 = load ptr, ptr @"_llgo_struct$cJmCzeVn0orHWafCrTGAnbbAF46F2A4Fms4bJBm8ITI", align 8
+  %83 = icmp eq ptr %82, null
+  br i1 %83, label %_llgo_13, label %_llgo_14
+
+_llgo_13:                                         ; preds = %_llgo_12
+  %84 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %85 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %84, i32 0, i32 0
+  store ptr @6, ptr %85, align 8
+  %86 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %84, i32 0, i32 1
+  store i64 4, ptr %86, align 4
+  %87 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %84, align 8
+  %88 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %89 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %88, i32 0, i32 0
+  store ptr @7, ptr %89, align 8
+  %90 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %88, i32 0, i32 1
+  store i64 0, ptr %90, align 4
+  %91 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %88, align 8
+  %92 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %87, ptr %81, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %91, i1 true)
+  %93 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %94 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %93, i32 0, i32 0
+  store ptr @8, ptr %94, align 8
+  %95 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %93, i32 0, i32 1
+  store i64 4, ptr %95, align 4
+  %96 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %93, align 8
+  %97 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 56)
+  %98 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %97, i64 0
+  store %"github.com/goplus/llgo/internal/abi.StructField" %92, ptr %98, align 8
+  %99 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %100 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %99, i32 0, i32 0
+  store ptr %97, ptr %100, align 8
+  %101 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %99, i32 0, i32 1
+  store i64 1, ptr %101, align 4
+  %102 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %99, i32 0, i32 2
+  store i64 1, ptr %102, align 4
+  %103 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %99, align 8
+  %104 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %96, i64 8, %"github.com/goplus/llgo/internal/runtime.Slice" %103)
+  store ptr %104, ptr @"_llgo_struct$cJmCzeVn0orHWafCrTGAnbbAF46F2A4Fms4bJBm8ITI", align 8
+  br label %_llgo_14
+
+_llgo_14:                                         ; preds = %_llgo_13, %_llgo_12
+  %105 = load ptr, ptr @"_llgo_struct$cJmCzeVn0orHWafCrTGAnbbAF46F2A4Fms4bJBm8ITI", align 8
+  br i1 %1, label %_llgo_15, label %_llgo_16
+
+_llgo_15:                                         ; preds = %_llgo_14
+  %106 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %107 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %106, i32 0, i32 0
+  store ptr @9, ptr %107, align 8
+  %108 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %106, i32 0, i32 1
+  store i64 4, ptr %108, align 4
+  %109 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %106, align 8
+  %110 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %111 = alloca %"github.com/goplus/llgo/internal/abi.Method", align 8
+  %112 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %111, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %109, ptr %112, align 8
+  %113 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %111, i32 0, i32 1
+  store ptr %110, ptr %113, align 8
+  %114 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %111, i32 0, i32 2
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load", ptr %114, align 8
+  %115 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %111, i32 0, i32 3
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).Load", ptr %115, align 8
+  %116 = load %"github.com/goplus/llgo/internal/abi.Method", ptr %111, align 8
+  %117 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %118 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %117, i32 0, i32 0
+  store ptr @10, ptr %118, align 8
+  %119 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %117, i32 0, i32 1
+  store i64 8, ptr %119, align 4
+  %120 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %117, align 8
+  %121 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %122 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %121, i32 0, i32 0
+  store ptr @11, ptr %122, align 8
+  %123 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %121, i32 0, i32 1
+  store i64 47, ptr %123, align 4
+  %124 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %121, align 8
+  %125 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %126 = alloca %"github.com/goplus/llgo/internal/abi.Method", align 8
+  %127 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %126, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %124, ptr %127, align 8
+  %128 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %126, i32 0, i32 1
+  store ptr %125, ptr %128, align 8
+  %129 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %126, i32 0, i32 2
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame", ptr %129, align 8
+  %130 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %126, i32 0, i32 3
+  store ptr @"github.com/goplus/llgo/cl/internal/foo.(*Game).initGame", ptr %130, align 8
+  %131 = load %"github.com/goplus/llgo/internal/abi.Method", ptr %126, align 8
+  %132 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 80)
+  %133 = getelementptr %"github.com/goplus/llgo/internal/abi.Method", ptr %132, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Method" %116, ptr %133, align 8
+  %134 = getelementptr %"github.com/goplus/llgo/internal/abi.Method", ptr %132, i64 1
+  store %"github.com/goplus/llgo/internal/abi.Method" %131, ptr %134, align 8
+  %135 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %136 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %135, i32 0, i32 0
+  store ptr %132, ptr %136, align 8
+  %137 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %135, i32 0, i32 1
+  store i64 2, ptr %137, align 4
+  %138 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %135, i32 0, i32 2
+  store i64 2, ptr %138, align 4
+  %139 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %135, align 8
+  %140 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %141 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %140, i32 0, i32 0
+  store ptr @12, ptr %141, align 8
+  %142 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %140, i32 0, i32 1
+  store i64 4, ptr %142, align 4
+  %143 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %140, align 8
+  %144 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %145 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %144, i32 0, i32 0
+  store ptr @13, ptr %145, align 8
+  %146 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %144, i32 0, i32 1
+  store i64 10, ptr %146, align 4
+  %147 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %144, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.InitNamed"(ptr %2, %"github.com/goplus/llgo/internal/runtime.String" %143, %"github.com/goplus/llgo/internal/runtime.String" %147, ptr %105, { ptr, i64, i64 } zeroinitializer, %"github.com/goplus/llgo/internal/runtime.Slice" %139)
+  br label %_llgo_16
+
+_llgo_16:                                         ; preds = %_llgo_15, %_llgo_14
+  %148 = load ptr, ptr @_llgo_main.Game1, align 8
+  %149 = load ptr, ptr @"*_llgo_main.Game1", align 8
+  %150 = icmp eq ptr %149, null
+  br i1 %150, label %_llgo_17, label %_llgo_18
+
+_llgo_17:                                         ; preds = %_llgo_16
+  %151 = call ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr %148)
+  store ptr %151, ptr @"*_llgo_main.Game1", align 8
+  br label %_llgo_18
+
+_llgo_18:                                         ; preds = %_llgo_17, %_llgo_16
+  %152 = load ptr, ptr @_llgo_main.Game2, align 8
+  %153 = icmp eq ptr %152, null
+  br i1 %153, label %_llgo_19, label %_llgo_20
+
+_llgo_19:                                         ; preds = %_llgo_18
+  %154 = call ptr @"github.com/goplus/llgo/internal/runtime.NewNamed"(i64 25, i64 0, i64 1)
+  store ptr %154, ptr @_llgo_main.Game2, align 8
+  br label %_llgo_20
+
+_llgo_20:                                         ; preds = %_llgo_19, %_llgo_18
+  %155 = load ptr, ptr @"_llgo_struct$n1H8J_3prDN3firMwPxBLVTkE5hJ9Di-AqNvaC9jczw", align 8
+  br i1 %153, label %_llgo_21, label %_llgo_22
+
+_llgo_21:                                         ; preds = %_llgo_20
+  %156 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %157 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %156, i32 0, i32 0
+  store ptr @14, ptr %157, align 8
+  %158 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %156, i32 0, i32 1
+  store i64 8, ptr %158, align 4
+  %159 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %156, align 8
+  %160 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %161 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %160, i32 0, i32 0
+  store ptr @15, ptr %161, align 8
+  %162 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %160, i32 0, i32 1
+  store i64 13, ptr %162, align 4
+  %163 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %160, align 8
+  %164 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %165 = alloca %"github.com/goplus/llgo/internal/abi.Method", align 8
+  %166 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %165, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %163, ptr %166, align 8
+  %167 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %165, i32 0, i32 1
+  store ptr %164, ptr %167, align 8
+  %168 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %165, i32 0, i32 2
+  store ptr @"main.(*Game2).initGame", ptr %168, align 8
+  %169 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Method", ptr %165, i32 0, i32 3
+  store ptr @"main.(*Game2).initGame", ptr %169, align 8
+  %170 = load %"github.com/goplus/llgo/internal/abi.Method", ptr %165, align 8
+  %171 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 40)
+  %172 = getelementptr %"github.com/goplus/llgo/internal/abi.Method", ptr %171, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Method" %170, ptr %172, align 8
+  %173 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %174 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %173, i32 0, i32 0
+  store ptr %171, ptr %174, align 8
+  %175 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %173, i32 0, i32 1
+  store i64 1, ptr %175, align 4
+  %176 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %173, i32 0, i32 2
+  store i64 1, ptr %176, align 4
+  %177 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %173, align 8
+  %178 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %179 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %178, i32 0, i32 0
+  store ptr @16, ptr %179, align 8
+  %180 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %178, i32 0, i32 1
+  store i64 4, ptr %180, align 4
+  %181 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %178, align 8
+  %182 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %183 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %182, i32 0, i32 0
+  store ptr @17, ptr %183, align 8
+  %184 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %182, i32 0, i32 1
+  store i64 10, ptr %184, align 4
+  %185 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %182, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.InitNamed"(ptr %154, %"github.com/goplus/llgo/internal/runtime.String" %181, %"github.com/goplus/llgo/internal/runtime.String" %185, ptr %155, { ptr, i64, i64 } zeroinitializer, %"github.com/goplus/llgo/internal/runtime.Slice" %177)
+  br label %_llgo_22
+
+_llgo_22:                                         ; preds = %_llgo_21, %_llgo_20
+  %186 = load ptr, ptr @_llgo_main.Game2, align 8
+  %187 = load ptr, ptr @"*_llgo_main.Game2", align 8
+  %188 = icmp eq ptr %187, null
+  br i1 %188, label %_llgo_23, label %_llgo_24
+
+_llgo_23:                                         ; preds = %_llgo_22
+  %189 = call ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr %186)
+  store ptr %189, ptr @"*_llgo_main.Game2", align 8
+  br label %_llgo_24
+
+_llgo_24:                                         ; preds = %_llgo_23, %_llgo_22
+  %190 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %191 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %192 = load ptr, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Gamer", align 8
+  %193 = icmp eq ptr %192, null
+  br i1 %193, label %_llgo_25, label %_llgo_26
+
+_llgo_25:                                         ; preds = %_llgo_24
+  %194 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %195 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %194, i32 0, i32 0
+  store ptr @18, ptr %195, align 8
+  %196 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %194, i32 0, i32 1
+  store i64 4, ptr %196, align 4
+  %197 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %194, align 8
+  %198 = alloca %"github.com/goplus/llgo/internal/abi.Imethod", align 8
+  %199 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %198, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %197, ptr %199, align 8
+  %200 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %198, i32 0, i32 1
+  store ptr %190, ptr %200, align 8
+  %201 = load %"github.com/goplus/llgo/internal/abi.Imethod", ptr %198, align 8
+  %202 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %203 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %202, i32 0, i32 0
+  store ptr @19, ptr %203, align 8
+  %204 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %202, i32 0, i32 1
+  store i64 47, ptr %204, align 4
+  %205 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %202, align 8
+  %206 = alloca %"github.com/goplus/llgo/internal/abi.Imethod", align 8
+  %207 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %206, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %205, ptr %207, align 8
+  %208 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %206, i32 0, i32 1
+  store ptr %191, ptr %208, align 8
+  %209 = load %"github.com/goplus/llgo/internal/abi.Imethod", ptr %206, align 8
+  %210 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48)
+  %211 = getelementptr %"github.com/goplus/llgo/internal/abi.Imethod", ptr %210, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Imethod" %201, ptr %211, align 8
+  %212 = getelementptr %"github.com/goplus/llgo/internal/abi.Imethod", ptr %210, i64 1
+  store %"github.com/goplus/llgo/internal/abi.Imethod" %209, ptr %212, align 8
+  %213 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %214 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %213, i32 0, i32 0
+  store ptr %210, ptr %214, align 8
+  %215 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %213, i32 0, i32 1
+  store i64 2, ptr %215, align 4
+  %216 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %213, i32 0, i32 2
+  store i64 2, ptr %216, align 4
+  %217 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %213, align 8
+  %218 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %219 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %218, i32 0, i32 0
+  store ptr @20, ptr %219, align 8
+  %220 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %218, i32 0, i32 1
+  store i64 38, ptr %220, align 4
+  %221 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %218, align 8
+  %222 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %223 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %222, i32 0, i32 0
+  store ptr @21, ptr %223, align 8
+  %224 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %222, i32 0, i32 1
+  store i64 44, ptr %224, align 4
+  %225 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %222, align 8
+  %226 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" %221, %"github.com/goplus/llgo/internal/runtime.String" %225, %"github.com/goplus/llgo/internal/runtime.Slice" %217)
+  store ptr %226, ptr @"_llgo_github.com/goplus/llgo/cl/internal/foo.Gamer", align 8
+  br label %_llgo_26
+
+_llgo_26:                                         ; preds = %_llgo_25, %_llgo_24
+  %227 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %228 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %229 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %230 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %229, i32 0, i32 0
+  store ptr @22, ptr %230, align 8
+  %231 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %229, i32 0, i32 1
+  store i64 4, ptr %231, align 4
+  %232 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %229, align 8
+  %233 = alloca %"github.com/goplus/llgo/internal/abi.Imethod", align 8
+  %234 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %233, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %232, ptr %234, align 8
+  %235 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %233, i32 0, i32 1
+  store ptr %227, ptr %235, align 8
+  %236 = load %"github.com/goplus/llgo/internal/abi.Imethod", ptr %233, align 8
+  %237 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %238 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %237, i32 0, i32 0
+  store ptr @23, ptr %238, align 8
+  %239 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %237, i32 0, i32 1
+  store i64 47, ptr %239, align 4
+  %240 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %237, align 8
+  %241 = alloca %"github.com/goplus/llgo/internal/abi.Imethod", align 8
+  %242 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %241, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %240, ptr %242, align 8
+  %243 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %241, i32 0, i32 1
+  store ptr %228, ptr %243, align 8
+  %244 = load %"github.com/goplus/llgo/internal/abi.Imethod", ptr %241, align 8
+  %245 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48)
+  %246 = getelementptr %"github.com/goplus/llgo/internal/abi.Imethod", ptr %245, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Imethod" %236, ptr %246, align 8
+  %247 = getelementptr %"github.com/goplus/llgo/internal/abi.Imethod", ptr %245, i64 1
+  store %"github.com/goplus/llgo/internal/abi.Imethod" %244, ptr %247, align 8
+  %248 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %249 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %248, i32 0, i32 0
+  store ptr %245, ptr %249, align 8
+  %250 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %248, i32 0, i32 1
+  store i64 2, ptr %250, align 4
+  %251 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %248, i32 0, i32 2
+  store i64 2, ptr %251, align 4
+  %252 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %248, align 8
+  %253 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %254 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %253, i32 0, i32 0
+  store ptr @24, ptr %254, align 8
+  %255 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %253, i32 0, i32 1
+  store i64 4, ptr %255, align 4
+  %256 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %253, align 8
+  %257 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %258 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %257, i32 0, i32 0
+  store ptr @25, ptr %258, align 8
+  %259 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %257, i32 0, i32 1
+  store i64 0, ptr %259, align 4
+  %260 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %257, align 8
+  %261 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" %256, %"github.com/goplus/llgo/internal/runtime.String" %260, %"github.com/goplus/llgo/internal/runtime.Slice" %252)
+  store ptr %261, ptr @"main.iface$sO8a1LvuUsjXwiwaC6sR9-L4DiYgiOnZi7iosyShJXg", align 8
+  ret void
+}
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.NewNamed"(i64, i64, i64)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String", i64, %"github.com/goplus/llgo/internal/runtime.Slice")
+
+declare %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/internal/runtime.String", i1)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
+
+declare void @"github.com/goplus/llgo/internal/runtime.InitNamed"(ptr, %"github.com/goplus/llgo/internal/runtime.String", %"github.com/goplus/llgo/internal/runtime.String", ptr, %"github.com/goplus/llgo/internal/runtime.Slice", %"github.com/goplus/llgo/internal/runtime.Slice")
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.Func"(%"github.com/goplus/llgo/internal/runtime.Slice", %"github.com/goplus/llgo/internal/runtime.Slice", i1)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String", %"github.com/goplus/llgo/internal/runtime.String", %"github.com/goplus/llgo/internal/runtime.Slice")
+
+declare i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr, ptr)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.NewItab"(ptr, ptr)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String")
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintIface"(%"github.com/goplus/llgo/internal/runtime.iface")
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.IfacePtrData"(%"github.com/goplus/llgo/internal/runtime.iface")

cl/_testgo/invoke/in.go

@@ -53,7 +53,10 @@ func main() {
 	println(i, m)
 	m = &t
 	invoke(m)
-	// panic
+	var a any = T{"world"}
+	invoke(a.(I))
+	invoke(a.(interface{}).(interface{ Invoke() int }))
+	//panic
 	invoke(nil)
 }
 

cl/_testgo/invoke/out.ll

@@ -5,6 +5,7 @@ source_filename = "main"
 %"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
 %"github.com/goplus/llgo/internal/runtime.iface" = type { ptr, ptr }
 %"github.com/goplus/llgo/internal/abi.Type" = type { i64, i64, i32, i8, i8, i8, i8, { ptr, ptr }, ptr, %"github.com/goplus/llgo/internal/runtime.String", ptr }
+%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr }
 %"github.com/goplus/llgo/internal/abi.StructField" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/internal/runtime.String", i1 }
 %"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 }
 %"github.com/goplus/llgo/internal/abi.Method" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr, ptr, ptr }
@@ -58,6 +59,17 @@ source_filename = "main"
 @25 = private unnamed_addr constant [7 x i8] c"Method\00", align 1
 @26 = private unnamed_addr constant [5 x i8] c"main\00", align 1
 @27 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@28 = private unnamed_addr constant [6 x i8] c"world\00", align 1
+@_llgo_main.I = linkonce global ptr null
+@29 = private unnamed_addr constant [7 x i8] c"Invoke\00", align 1
+@30 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@31 = private unnamed_addr constant [7 x i8] c"main.I\00", align 1
+@32 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
+@_llgo_any = linkonce global ptr null
+@33 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+@34 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@35 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
+@36 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
 
 define i64 @main.T.Invoke(%main.T %0) {
 _llgo_0:
@@ -326,8 +338,130 @@ _llgo_0:
   store ptr %88, ptr %93, align 8
   %94 = load %"github.com/goplus/llgo/internal/runtime.iface", ptr %91, align 8
   call void @main.invoke(%"github.com/goplus/llgo/internal/runtime.iface" %94)
+  %95 = alloca %main.T, align 8
+  %96 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %95, i64 16)
+  %97 = getelementptr inbounds %main.T, ptr %96, i32 0, i32 0
+  %98 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %99 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %98, i32 0, i32 0
+  store ptr @28, ptr %99, align 8
+  %100 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %98, i32 0, i32 1
+  store i64 5, ptr %100, align 4
+  %101 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %98, align 8
+  store %"github.com/goplus/llgo/internal/runtime.String" %101, ptr %97, align 8
+  %102 = load %main.T, ptr %96, align 8
+  %103 = load ptr, ptr @_llgo_main.T, align 8
+  %104 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %main.T %102, ptr %104, align 8
+  %105 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %106 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %105, i32 0, i32 0
+  store ptr %103, ptr %106, align 8
+  %107 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %105, i32 0, i32 1
+  store ptr %104, ptr %107, align 8
+  %108 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %105, align 8
+  %109 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %108, 0
+  %110 = load ptr, ptr @_llgo_main.I, align 8
+  %111 = call i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr %110, ptr %109)
+  br i1 %111, label %_llgo_1, label %_llgo_2
+
+_llgo_1:                                          ; preds = %_llgo_0
+  %112 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %108, 1
+  %113 = load ptr, ptr @"_llgo_iface$uRUteI7wmSy7y7ODhGzk0FdDaxGKMhVSSu6HZEv9aa0", align 8
+  %114 = call ptr @"github.com/goplus/llgo/internal/runtime.NewItab"(ptr %113, ptr %109)
+  %115 = alloca %"github.com/goplus/llgo/internal/runtime.iface", align 8
+  %116 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %115, i32 0, i32 0
+  store ptr %114, ptr %116, align 8
+  %117 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %115, i32 0, i32 1
+  store ptr %112, ptr %117, align 8
+  %118 = load %"github.com/goplus/llgo/internal/runtime.iface", ptr %115, align 8
+  call void @main.invoke(%"github.com/goplus/llgo/internal/runtime.iface" %118)
+  %119 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %108, 0
+  %120 = load ptr, ptr @_llgo_any, align 8
+  %121 = call i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr %120, ptr %119)
+  br i1 %121, label %_llgo_3, label %_llgo_4
+
+_llgo_2:                                          ; preds = %_llgo_0
+  %122 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %123 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %122, i32 0, i32 0
+  store ptr @32, ptr %123, align 8
+  %124 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %122, i32 0, i32 1
+  store i64 21, ptr %124, align 4
+  %125 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %122, align 8
+  %126 = load ptr, ptr @_llgo_string, align 8
+  %127 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %125, ptr %127, align 8
+  %128 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %129 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %128, i32 0, i32 0
+  store ptr %126, ptr %129, align 8
+  %130 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %128, i32 0, i32 1
+  store ptr %127, ptr %130, align 8
+  %131 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %128, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %131)
+  unreachable
+
+_llgo_3:                                          ; preds = %_llgo_1
+  %132 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %108, 1
+  %133 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %134 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %133, i32 0, i32 0
+  store ptr %119, ptr %134, align 8
+  %135 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %133, i32 0, i32 1
+  store ptr %132, ptr %135, align 8
+  %136 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %133, align 8
+  %137 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %136, 0
+  %138 = load ptr, ptr @"_llgo_iface$uRUteI7wmSy7y7ODhGzk0FdDaxGKMhVSSu6HZEv9aa0", align 8
+  %139 = call i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr %138, ptr %137)
+  br i1 %139, label %_llgo_5, label %_llgo_6
+
+_llgo_4:                                          ; preds = %_llgo_1
+  %140 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %141 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %140, i32 0, i32 0
+  store ptr @35, ptr %141, align 8
+  %142 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %140, i32 0, i32 1
+  store i64 21, ptr %142, align 4
+  %143 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %140, align 8
+  %144 = load ptr, ptr @_llgo_string, align 8
+  %145 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %143, ptr %145, align 8
+  %146 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %147 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %146, i32 0, i32 0
+  store ptr %144, ptr %147, align 8
+  %148 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %146, i32 0, i32 1
+  store ptr %145, ptr %148, align 8
+  %149 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %146, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %149)
+  unreachable
+
+_llgo_5:                                          ; preds = %_llgo_3
+  %150 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %136, 1
+  %151 = load ptr, ptr @"_llgo_iface$uRUteI7wmSy7y7ODhGzk0FdDaxGKMhVSSu6HZEv9aa0", align 8
+  %152 = call ptr @"github.com/goplus/llgo/internal/runtime.NewItab"(ptr %151, ptr %137)
+  %153 = alloca %"github.com/goplus/llgo/internal/runtime.iface", align 8
+  %154 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %153, i32 0, i32 0
+  store ptr %152, ptr %154, align 8
+  %155 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.iface", ptr %153, i32 0, i32 1
+  store ptr %150, ptr %155, align 8
+  %156 = load %"github.com/goplus/llgo/internal/runtime.iface", ptr %153, align 8
+  call void @main.invoke(%"github.com/goplus/llgo/internal/runtime.iface" %156)
   call void @main.invoke(%"github.com/goplus/llgo/internal/runtime.iface" zeroinitializer)
   ret i32 0
+
+_llgo_6:                                          ; preds = %_llgo_3
+  %157 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %158 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %157, i32 0, i32 0
+  store ptr @36, ptr %158, align 8
+  %159 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %157, i32 0, i32 1
+  store i64 21, ptr %159, align 4
+  %160 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %157, align 8
+  %161 = load ptr, ptr @_llgo_string, align 8
+  %162 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %160, ptr %162, align 8
+  %163 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %164 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %163, i32 0, i32 0
+  store ptr %161, ptr %164, align 8
+  %165 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %163, i32 0, i32 1
+  store ptr %162, ptr %165, align 8
+  %166 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %163, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %166)
+  unreachable
 }
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr, i64)
@@ -945,6 +1079,83 @@ _llgo_39:                                         ; preds = %_llgo_38
   br label %_llgo_40
 
 _llgo_40:                                         ; preds = %_llgo_39, %_llgo_38
+  %317 = load ptr, ptr @"_llgo_func$ETeB8WwW04JEq0ztcm-XPTJtuYvtpkjIsAc0-2NT9zA", align 8
+  %318 = load ptr, ptr @_llgo_main.I, align 8
+  %319 = icmp eq ptr %318, null
+  br i1 %319, label %_llgo_41, label %_llgo_42
+
+_llgo_41:                                         ; preds = %_llgo_40
+  %320 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %321 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %320, i32 0, i32 0
+  store ptr @29, ptr %321, align 8
+  %322 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %320, i32 0, i32 1
+  store i64 6, ptr %322, align 4
+  %323 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %320, align 8
+  %324 = alloca %"github.com/goplus/llgo/internal/abi.Imethod", align 8
+  %325 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %324, i32 0, i32 0
+  store %"github.com/goplus/llgo/internal/runtime.String" %323, ptr %325, align 8
+  %326 = getelementptr inbounds %"github.com/goplus/llgo/internal/abi.Imethod", ptr %324, i32 0, i32 1
+  store ptr %317, ptr %326, align 8
+  %327 = load %"github.com/goplus/llgo/internal/abi.Imethod", ptr %324, align 8
+  %328 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 24)
+  %329 = getelementptr %"github.com/goplus/llgo/internal/abi.Imethod", ptr %328, i64 0
+  store %"github.com/goplus/llgo/internal/abi.Imethod" %327, ptr %329, align 8
+  %330 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %331 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %330, i32 0, i32 0
+  store ptr %328, ptr %331, align 8
+  %332 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %330, i32 0, i32 1
+  store i64 1, ptr %332, align 4
+  %333 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %330, i32 0, i32 2
+  store i64 1, ptr %333, align 4
+  %334 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %330, align 8
+  %335 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %336 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %335, i32 0, i32 0
+  store ptr @30, ptr %336, align 8
+  %337 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %335, i32 0, i32 1
+  store i64 4, ptr %337, align 4
+  %338 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %335, align 8
+  %339 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %340 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %339, i32 0, i32 0
+  store ptr @31, ptr %340, align 8
+  %341 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %339, i32 0, i32 1
+  store i64 6, ptr %341, align 4
+  %342 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %339, align 8
+  %343 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" %338, %"github.com/goplus/llgo/internal/runtime.String" %342, %"github.com/goplus/llgo/internal/runtime.Slice" %334)
+  store ptr %343, ptr @_llgo_main.I, align 8
+  br label %_llgo_42
+
+_llgo_42:                                         ; preds = %_llgo_41, %_llgo_40
+  %344 = load ptr, ptr @_llgo_any, align 8
+  %345 = icmp eq ptr %344, null
+  br i1 %345, label %_llgo_43, label %_llgo_44
+
+_llgo_43:                                         ; preds = %_llgo_42
+  %346 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %347 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %348 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %347, i32 0, i32 0
+  store ptr %346, ptr %348, align 8
+  %349 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %347, i32 0, i32 1
+  store i64 0, ptr %349, align 4
+  %350 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %347, i32 0, i32 2
+  store i64 0, ptr %350, align 4
+  %351 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %347, align 8
+  %352 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %353 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %352, i32 0, i32 0
+  store ptr @33, ptr %353, align 8
+  %354 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %352, i32 0, i32 1
+  store i64 4, ptr %354, align 4
+  %355 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %352, align 8
+  %356 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %357 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %356, i32 0, i32 0
+  store ptr @34, ptr %357, align 8
+  %358 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %356, i32 0, i32 1
+  store i64 0, ptr %358, align 4
+  %359 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %356, align 8
+  %360 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" %355, %"github.com/goplus/llgo/internal/runtime.String" %359, %"github.com/goplus/llgo/internal/runtime.Slice" %351)
+  store ptr %360, ptr @_llgo_any, align 8
+  br label %_llgo_44
+
+_llgo_44:                                         ; preds = %_llgo_43, %_llgo_42
   ret void
 }
 
@@ -971,3 +1182,7 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr)
 declare ptr @"github.com/goplus/llgo/internal/runtime.IfaceType"(%"github.com/goplus/llgo/internal/runtime.iface")
 
 declare void @"github.com/goplus/llgo/internal/runtime.PrintIface"(%"github.com/goplus/llgo/internal/runtime.iface")
+
+declare i1 @"github.com/goplus/llgo/internal/runtime.Implements"(ptr, ptr)
+
+declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface")

cl/_testgo/reader/in.go

@@ -0,0 +1,307 @@
+package main
+
+import (
+	"unicode/utf8"
+)
+
+type Reader interface {
+	Read(p []byte) (n int, err error)
+}
+
+type Writer interface {
+	Write(p []byte) (n int, err error)
+}
+
+type Closer interface {
+	Close() error
+}
+
+type Seeker interface {
+	Seek(offset int64, whence int) (int64, error)
+}
+
+type ReadWriter interface {
+	Reader
+	Writer
+}
+
+type ReadCloser interface {
+	Reader
+	Closer
+}
+
+type WriteCloser interface {
+	Writer
+	Closer
+}
+
+type ReadWriteCloser interface {
+	Reader
+	Writer
+	Closer
+}
+
+type ReadSeeker interface {
+	Reader
+	Seeker
+}
+
+type ReadSeekCloser interface {
+	Reader
+	Seeker
+	Closer
+}
+
+type WriteSeeker interface {
+	Writer
+	Seeker
+}
+
+type ReadWriteSeeker interface {
+	Reader
+	Writer
+	Seeker
+}
+
+type ReaderFrom interface {
+	ReadFrom(r Reader) (n int64, err error)
+}
+
+type WriterTo interface {
+	WriteTo(w Writer) (n int64, err error)
+}
+
+type ReaderAt interface {
+	ReadAt(p []byte, off int64) (n int, err error)
+}
+
+type WriterAt interface {
+	WriteAt(p []byte, off int64) (n int, err error)
+}
+
+type ByteReader interface {
+	ReadByte() (byte, error)
+}
+
+type ByteScanner interface {
+	ByteReader
+	UnreadByte() error
+}
+
+type ByteWriter interface {
+	WriteByte(c byte) error
+}
+
+type RuneReader interface {
+	ReadRune() (r rune, size int, err error)
+}
+
+type RuneScanner interface {
+	RuneReader
+	UnreadRune() error
+}
+
+type StringWriter interface {
+	WriteString(s string) (n int, err error)
+}
+
+func WriteString(w Writer, s string) (n int, err error) {
+	if sw, ok := w.(StringWriter); ok {
+		return sw.WriteString(s)
+	}
+	return w.Write([]byte(s))
+}
+
+func NopCloser(r Reader) ReadCloser {
+	if _, ok := r.(WriterTo); ok {
+		return nopCloserWriterTo{r}
+	}
+	return nopCloser{r}
+}
+
+type nopCloser struct {
+	Reader
+}
+
+func (nopCloser) Close() error { return nil }
+
+type nopCloserWriterTo struct {
+	Reader
+}
+
+func (nopCloserWriterTo) Close() error { return nil }
+
+func (c nopCloserWriterTo) WriteTo(w Writer) (n int64, err error) {
+	return c.Reader.(WriterTo).WriteTo(w)
+}
+
+func ReadAll(r Reader) ([]byte, error) {
+	b := make([]byte, 0, 512)
+	for {
+		n, err := r.Read(b[len(b):cap(b)])
+		b = b[:len(b)+n]
+		if err != nil {
+			if err == EOF {
+				err = nil
+			}
+			return b, err
+		}
+
+		if len(b) == cap(b) {
+			// Add more capacity (let append pick how much).
+			b = append(b, 0)[:len(b)]
+		}
+	}
+}
+
+type stringReader struct {
+	s        string
+	i        int64 // current reading index
+	prevRune int   // index of previous rune; or < 0
+}
+
+func (r *stringReader) Len() int {
+	if r.i >= int64(len(r.s)) {
+		return 0
+	}
+	return int(int64(len(r.s)) - r.i)
+}
+
+func (r *stringReader) Size() int64 { return int64(len(r.s)) }
+
+func (r *stringReader) Read(b []byte) (n int, err error) {
+	if r.i >= int64(len(r.s)) {
+		return 0, EOF
+	}
+	r.prevRune = -1
+	n = copy(b, r.s[r.i:])
+	r.i += int64(n)
+	return
+}
+
+func (r *stringReader) ReadAt(b []byte, off int64) (n int, err error) {
+	if off < 0 {
+		return 0, newError("stringsReader.ReadAt: negative offset")
+	}
+	if off >= int64(len(r.s)) {
+		return 0, EOF
+	}
+	n = copy(b, r.s[off:])
+	if n < len(b) {
+		err = EOF
+	}
+	return
+}
+
+func (r *stringReader) ReadByte() (byte, error) {
+	r.prevRune = -1
+	if r.i >= int64(len(r.s)) {
+		return 0, EOF
+	}
+	b := r.s[r.i]
+	r.i++
+	return b, nil
+}
+
+func (r *stringReader) UnreadByte() error {
+	if r.i <= 0 {
+		return newError("stringsReader.UnreadByte: at beginning of string")
+	}
+	r.prevRune = -1
+	r.i--
+	return nil
+}
+
+func (r *stringReader) ReadRune() (ch rune, size int, err error) {
+	if r.i >= int64(len(r.s)) {
+		r.prevRune = -1
+		return 0, 0, EOF
+	}
+	r.prevRune = int(r.i)
+	if c := r.s[r.i]; c < utf8.RuneSelf {
+		r.i++
+		return rune(c), 1, nil
+	}
+	ch, size = utf8.DecodeRuneInString(r.s[r.i:])
+	r.i += int64(size)
+	return
+}
+
+func (r *stringReader) UnreadRune() error {
+	if r.i <= 0 {
+		return newError("strings.Reader.UnreadRune: at beginning of string")
+	}
+	if r.prevRune < 0 {
+		return newError("strings.Reader.UnreadRune: previous operation was not ReadRune")
+	}
+	r.i = int64(r.prevRune)
+	r.prevRune = -1
+	return nil
+}
+
+const (
+	SeekStart   = 0 // seek relative to the origin of the file
+	SeekCurrent = 1 // seek relative to the current offset
+	SeekEnd     = 2 // seek relative to the end
+)
+
+func (r *stringReader) Seek(offset int64, whence int) (int64, error) {
+	r.prevRune = -1
+	var abs int64
+	switch whence {
+	case SeekStart:
+		abs = offset
+	case SeekCurrent:
+		abs = r.i + offset
+	case SeekEnd:
+		abs = int64(len(r.s)) + offset
+	default:
+		return 0, newError("stringsReader.Seek: invalid whence")
+	}
+	if abs < 0 {
+		return 0, newError("stringsReader.Seek: negative position")
+	}
+	r.i = abs
+	return abs, nil
+}
+
+func (r *stringReader) WriteTo(w Writer) (n int64, err error) {
+	r.prevRune = -1
+	if r.i >= int64(len(r.s)) {
+		return 0, nil
+	}
+	s := r.s[r.i:]
+	m, err := WriteString(w, s)
+	if m > len(s) {
+		panic("stringsReader.WriteTo: invalid WriteString count")
+	}
+	r.i += int64(m)
+	n = int64(m)
+	if m != len(s) && err == nil {
+		err = ErrShortWrite
+	}
+	return
+}
+
+func newError(text string) error {
+	return &errorString{text}
+}
+
+type errorString struct {
+	s string
+}
+
+func (e *errorString) Error() string {
+	return e.s
+}
+
+var (
+	EOF           = newError("EOF")
+	ErrShortWrite = newError("short write")
+)
+
+func main() {
+	r := &stringReader{s: "hello world"}
+	data, err := ReadAll(r)
+	println(string(data), err)
+}

cl/_testlibc/defer/in.go

@@ -0,0 +1,17 @@
+package main
+
+import "github.com/goplus/llgo/internal/runtime/c"
+
+func f(s string) bool {
+	return len(s) > 2
+}
+
+func main() {
+	c.GoDeferData()
+	if s := "hello"; f(s) {
+		defer c.Printf(c.Str("%s\n"), c.AllocaCStr(s))
+	} else {
+		defer c.Printf(c.Str("world\n"))
+	}
+	defer c.Printf(c.Str("bye\n"))
+}

cl/_testlibc/defer/out.ll

@@ -0,0 +1 @@
+;

cl/_testlibc/setjmp/in.go

@@ -0,0 +1,17 @@
+package main
+
+import (
+	"github.com/goplus/llgo/c"
+)
+
+func main() {
+	jb := c.AllocaSigjmpBuf()
+	switch ret := c.Sigsetjmp(jb, 0); ret {
+	case 0:
+		cstr := c.Str("?Hello, setjmp!\n")
+		c.Fprintf(c.Stderr, c.Advance(cstr, 1))
+		c.Siglongjmp(jb, 1)
+	default:
+		println("exception:", ret)
+	}
+}

cl/_testlibc/setjmp/out.ll

@@ -0,0 +1 @@
+;

cl/_testrt/any/out.ll

@@ -9,6 +9,7 @@ source_filename = "main"
 @"*_llgo_int8" = linkonce global ptr null
 @_llgo_int8 = linkonce global ptr null
 @0 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
+@_llgo_string = linkonce global ptr null
 @_llgo_int = linkonce global ptr null
 @1 = private unnamed_addr constant [22 x i8] c"type assertion failed\00", align 1
 @__llgo_argc = global ptr null
@@ -34,7 +35,16 @@ _llgo_2:                                          ; preds = %_llgo_0
   %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 1
   store i64 21, ptr %7, align 4
   %8 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %5, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.String" %8)
+  %9 = load ptr, ptr @_llgo_string, align 8
+  %10 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %8, ptr %10, align 8
+  %11 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %11, i32 0, i32 0
+  store ptr %9, ptr %12, align 8
+  %13 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %11, i32 0, i32 1
+  store ptr %10, ptr %13, align 8
+  %14 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %11, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %14)
   unreachable
 }
 
@@ -58,7 +68,16 @@ _llgo_2:                                          ; preds = %_llgo_0
   %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %7, i32 0, i32 1
   store i64 21, ptr %9, align 4
   %10 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %7, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.String" %10)
+  %11 = load ptr, ptr @_llgo_string, align 8
+  %12 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %10, ptr %12, align 8
+  %13 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %14 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %13, i32 0, i32 0
+  store ptr %11, ptr %14, align 8
+  %15 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %13, i32 0, i32 1
+  store ptr %12, ptr %15, align 8
+  %16 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %13, align 8
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %16)
   unreachable
 }
 
@@ -129,16 +148,26 @@ _llgo_3:                                          ; preds = %_llgo_2
   br label %_llgo_4
 
 _llgo_4:                                          ; preds = %_llgo_3, %_llgo_2
-  %7 = load ptr, ptr @_llgo_int, align 8
+  %7 = load ptr, ptr @_llgo_string, align 8
   %8 = icmp eq ptr %7, null
   br i1 %8, label %_llgo_5, label %_llgo_6
 
 _llgo_5:                                          ; preds = %_llgo_4
-  %9 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
-  store ptr %9, ptr @_llgo_int, align 8
+  %9 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 24)
+  store ptr %9, ptr @_llgo_string, align 8
   br label %_llgo_6
 
 _llgo_6:                                          ; preds = %_llgo_5, %_llgo_4
+  %10 = load ptr, ptr @_llgo_int, align 8
+  %11 = icmp eq ptr %10, null
+  br i1 %11, label %_llgo_7, label %_llgo_8
+
+_llgo_7:                                          ; preds = %_llgo_6
+  %12 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  store ptr %12, ptr @_llgo_int, align 8
+  br label %_llgo_8
+
+_llgo_8:                                          ; preds = %_llgo_7, %_llgo_6
   ret void
 }
 
@@ -146,7 +175,9 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr)
 
-declare void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface")
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
+
+declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface")
 
 declare void @"github.com/goplus/llgo/internal/runtime.init"()
 

cl/_testrt/cast/out.ll

@@ -44,7 +44,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -73,7 +73,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -102,7 +102,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -131,7 +131,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -160,7 +160,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -189,7 +189,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -218,7 +218,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -247,7 +247,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -276,7 +276,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -305,7 +305,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -334,7 +334,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -363,7 +363,7 @@ _llgo_1:                                          ; preds = %_llgo_0
   %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, i32 0, i32 1
   store ptr %9, ptr %12, align 8
   %13 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %10, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %13)
   unreachable
 
 _llgo_2:                                          ; preds = %_llgo_0
@@ -387,7 +387,7 @@ _llgo_3:                                          ; preds = %_llgo_2
   %24 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %22, i32 0, i32 1
   store ptr %21, ptr %24, align 8
   %25 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %22, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %25)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %25)
   unreachable
 
 _llgo_4:                                          ; preds = %_llgo_2
@@ -488,6 +488,6 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
 
-declare void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface")
+declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface")
 
 declare void @"github.com/goplus/llgo/internal/runtime.init"()

cl/_testrt/concat/in.go

@@ -1,9 +1,5 @@
 package main
 
-import (
-	"github.com/goplus/llgo/internal/runtime/c"
-)
-
 func concat(args ...string) (ret string) {
 	for _, v := range args {
 		ret += v
@@ -17,5 +13,5 @@ func info(s string) string {
 
 func main() {
 	result := concat("Hello", " ", "World")
-	c.Fprintf(c.Stderr, c.Str("Hi, %s\n"), c.AllocaCStr(result))
+	println(result)
 }

cl/_testrt/concat/out.ll

@@ -13,8 +13,6 @@ source_filename = "main"
 @3 = private unnamed_addr constant [6 x i8] c"Hello\00", align 1
 @4 = private unnamed_addr constant [2 x i8] c" \00", align 1
 @5 = private unnamed_addr constant [6 x i8] c"World\00", align 1
-@__stderrp = external global ptr
-@6 = private unnamed_addr constant [8 x i8] c"Hi, %s\0A\00", align 1
 
 define %"github.com/goplus/llgo/internal/runtime.String" @main.concat(%"github.com/goplus/llgo/internal/runtime.Slice" %0) {
 _llgo_0:
@@ -119,12 +117,8 @@ _llgo_0:
   store i64 3, ptr %21, align 4
   %22 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %18, align 8
   %23 = call %"github.com/goplus/llgo/internal/runtime.String" @main.concat(%"github.com/goplus/llgo/internal/runtime.Slice" %22)
-  %24 = load ptr, ptr @__stderrp, align 8
-  %25 = extractvalue %"github.com/goplus/llgo/internal/runtime.String" %23, 1
-  %26 = add i64 %25, 1
-  %27 = alloca i8, i64 %26, align 1
-  %28 = call ptr @"github.com/goplus/llgo/internal/runtime.CStrCopy"(ptr %27, %"github.com/goplus/llgo/internal/runtime.String" %23)
-  %29 = call i32 (ptr, ptr, ...) @fprintf(ptr %24, ptr @6, ptr %28)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %23)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
   ret i32 0
 }
 
@@ -136,6 +130,6 @@ declare void @"github.com/goplus/llgo/internal/runtime.init"()
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64)
 
-declare ptr @"github.com/goplus/llgo/internal/runtime.CStrCopy"(ptr, %"github.com/goplus/llgo/internal/runtime.String")
+declare void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String")
 
-declare i32 @fprintf(ptr, ptr, ...)
+declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)

cl/_testrt/panic/out.ll

@@ -45,7 +45,7 @@ _llgo_0:
   %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %8, i32 0, i32 1
   store ptr %7, ptr %10, align 8
   %11 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %8, align 8
-  call void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface" %11)
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %11)
   unreachable
 }
 
@@ -70,4 +70,4 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
 
-declare void @"github.com/goplus/llgo/internal/runtime.TracePanic"(%"github.com/goplus/llgo/internal/runtime.eface")
+declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface")

cl/blocks/block.go

@@ -74,7 +74,7 @@ func findLoop(states []*blockState, path []int, from, iblk int) []int {
 			}
 			return path
 		}
-		if ret := findLoop(states, path, from, succ); ret != nil {
+		if ret := findLoop(states, path, from, succ); len(ret) > 0 {
 			return ret
 		}
 	}

cl/blocks/block_test.go

@@ -37,8 +37,12 @@ import (
 )
 
 func TestTestdefer(t *testing.T) {
-	// debug = true
-	fromDir(t, "", "../_testdefer")
+	fromDir(t, "", "../_testdefer", func(name string) string {
+		if strings.HasPrefix(name, "firstloop") {
+			return "Loop"
+		}
+		return "main"
+	})
 }
 
 func TestFirstLoop(t *testing.T) {
@@ -52,7 +56,7 @@ func TestFirstLoop(t *testing.T) {
 	}
 }
 
-func fromDir(t *testing.T, sel, relDir string) {
+func fromDir(t *testing.T, sel, relDir string, fn func(string) string) {
 	dir, err := os.Getwd()
 	if err != nil {
 		t.Fatal("Getwd failed:", err)
@@ -68,12 +72,12 @@ func fromDir(t *testing.T, sel, relDir string) {
 			continue
 		}
 		t.Run(name, func(t *testing.T) {
-			testFrom(t, dir+"/"+name, sel)
+			testFrom(t, dir+"/"+name, sel, fn(name))
 		})
 	}
 }
 
-func testFrom(t *testing.T, pkgDir, sel string) {
+func testFrom(t *testing.T, pkgDir, sel, fn string) {
 	if sel != "" && !strings.Contains(pkgDir, sel) {
 		return
 	}
@@ -85,10 +89,10 @@ func testFrom(t *testing.T, pkgDir, sel string) {
 		t.Fatal("ReadFile failed:", err)
 	}
 	expected := string(b)
-	testBlockInfo(t, nil, in, expected)
+	testBlockInfo(t, nil, in, expected, fn)
 }
 
-func testBlockInfo(t *testing.T, src any, fname, expected string) {
+func testBlockInfo(t *testing.T, src any, fname, expected, fn string) {
 	t.Helper()
 	fset := token.NewFileSet()
 	f, err := parser.ParseFile(fset, fname, src, parser.ParseComments)
@@ -109,7 +113,7 @@ func testBlockInfo(t *testing.T, src any, fname, expected string) {
 	for _, member := range foo.Members {
 		switch f := member.(type) {
 		case *ssa.Function:
-			if f.Name() == "main" {
+			if f.Name() == fn {
 				f.WriteTo(os.Stderr)
 				infos := Infos(f.Blocks)
 				if v := resultOf(infos); v != expected {

cl/builtin_test.go

@@ -21,11 +21,42 @@ import (
 	"go/constant"
 	"go/types"
 	"testing"
+	"unsafe"
 
 	llssa "github.com/goplus/llgo/ssa"
 	"golang.org/x/tools/go/ssa"
 )
 
+func TestIsAllocVargs(t *testing.T) {
+	if isAllocVargs(nil, ssaAlloc(&ssa.Return{})) {
+		t.Fatal("isVargs?")
+	}
+	if isAllocVargs(nil, ssaAlloc(ssaSlice(&ssa.Go{}))) {
+		t.Fatal("isVargs?")
+	}
+	if isAllocVargs(nil, ssaAlloc(ssaSlice(&ssa.Return{}))) {
+		t.Fatal("isVargs?")
+	}
+}
+
+func ssaSlice(refs ...ssa.Instruction) *ssa.Slice {
+	a := &ssa.Slice{}
+	setRefs(unsafe.Pointer(a), refs...)
+	return a
+}
+
+func ssaAlloc(refs ...ssa.Instruction) *ssa.Alloc {
+	a := &ssa.Alloc{}
+	setRefs(unsafe.Pointer(a), refs...)
+	return a
+}
+
+func setRefs(v unsafe.Pointer, refs ...ssa.Instruction) {
+	off := unsafe.Offsetof(ssa.Alloc{}.Comment) - unsafe.Sizeof([]int(nil))
+	ptr := uintptr(v) + off
+	*(*[]ssa.Instruction)(unsafe.Pointer(ptr)) = refs
+}
+
 func TestRecvTypeName(t *testing.T) {
 	if ret := recvTypeName(&ast.IndexExpr{
 		X:     &ast.Ident{Name: "Pointer"},
@@ -80,52 +111,24 @@ func TestErrCompileInstrOrValue(t *testing.T) {
 	ctx.compileInstrOrValue(nil, &ssa.Call{}, true)
 }
 
-func TestErrAdvance(t *testing.T) {
-	defer func() {
-		if r := recover(); r == nil {
-			t.Fatal("advance: no error?")
-		}
-	}()
-	var ctx context
-	ctx.advance(nil, nil)
-}
-
-func TestErrAlloca(t *testing.T) {
-	defer func() {
-		if r := recover(); r == nil {
-			t.Fatal("alloca: no error?")
-		}
-	}()
-	var ctx context
-	ctx.alloca(nil, nil)
-}
-
-func TestErrAllocaCStr(t *testing.T) {
-	defer func() {
-		if r := recover(); r == nil {
-			t.Fatal("allocaCStr: no error?")
-		}
-	}()
-	var ctx context
-	ctx.allocaCStr(nil, nil)
-}
-
-func TestCStrNoArgs(t *testing.T) {
-	defer func() {
-		if r := recover(); r == nil {
-			t.Fatal("cstr: no error?")
-		}
-	}()
-	cstr(nil, nil)
-}
-
-func TestCStrNonconst(t *testing.T) {
-	defer func() {
-		if r := recover(); r == nil {
-			t.Fatal("cstr: no error?")
-		}
-	}()
-	cstr(nil, []ssa.Value{&ssa.Parameter{}})
+func TestErrBuiltin(t *testing.T) {
+	test := func(builtin string, fn func(ctx *context)) {
+		defer func() {
+			if r := recover(); r == nil {
+				t.Fatal(builtin, ": no error?")
+			}
+		}()
+		var ctx context
+		fn(&ctx)
+	}
+	test("advance", func(ctx *context) { ctx.advance(nil, nil) })
+	test("alloca", func(ctx *context) { ctx.alloca(nil, nil) })
+	test("allocaCStr", func(ctx *context) { ctx.allocaCStr(nil, nil) })
+	test("stringData", func(ctx *context) { ctx.stringData(nil, nil) })
+	test("sigsetjmp", func(ctx *context) { ctx.sigsetjmp(nil, nil) })
+	test("siglongjmp", func(ctx *context) { ctx.siglongjmp(nil, nil) })
+	test("cstr(NoArgs)", func(ctx *context) { cstr(nil, nil) })
+	test("cstr(Nonconst)", func(ctx *context) { cstr(nil, []ssa.Value{&ssa.Parameter{}}) })
 }
 
 func TestPkgNoInit(t *testing.T) {
@@ -149,6 +152,12 @@ func TestPkgKind(t *testing.T) {
 	if v, _ := pkgKind(""); v != PkgLLGo {
 		t.Fatal("pkgKind:", v)
 	}
+	if v, _ := pkgKind("decl"); v != PkgDeclOnly {
+		t.Fatal("pkgKind:", v)
+	}
+	if v, _ := pkgKind("decl: test.ll"); v != PkgDeclOnly {
+		t.Fatal("pkgKind:", v)
+	}
 }
 
 func TestPkgKindOf(t *testing.T) {

cl/cltest/cltest.go

@@ -26,6 +26,7 @@ import (
 	"log"
 	"os"
 	"path"
+	"path/filepath"
 	"strings"
 	"testing"
 
@@ -74,7 +75,7 @@ func decodeLinkFile(llFile string) (data []byte, err error) {
 		return
 	}
 	defer zipf.Close()
-	f, err := zipf.Open("llgo_autogen.ll")
+	f, err := zipf.Open(filepath.Base(llFile))
 	if err != nil {
 		return
 	}
@@ -115,7 +116,7 @@ func testFrom(t *testing.T, pkgDir, sel string, byLLGen bool) {
 	}
 	expected := string(b)
 	if byLLGen {
-		if v := llgen.GenFrom(in); v != expected {
+		if v := llgen.GenFrom(in); v != expected && expected != ";" { // expected == ";" means skipping out.ll
 			t.Fatalf("\n==> got:\n%s\n==> expected:\n%s\n", v, expected)
 		}
 	} else {
@@ -151,7 +152,7 @@ func TestCompileEx(t *testing.T, src any, fname, expected string) {
 		ret.PyInit()
 	}
 
-	if v := ret.String(); v != expected {
+	if v := ret.String(); v != expected && expected != ";" { // expected == ";" means skipping out.ll
 		t.Fatalf("\n==> got:\n%s\n==> expected:\n%s\n", v, expected)
 	}
 }

cl/compile.go

@@ -201,7 +201,7 @@ func (p *context) compileGlobal(pkg llssa.Package, gbl *ssa.Global) {
 	}
 	g := pkg.NewVar(name, typ, llssa.Background(vtype))
 	if vtype == goVar {
-		g.Init(p.prog.Null(g.Type))
+		g.Init(p.prog.Nil(g.Type))
 	}
 }
 
@@ -332,6 +332,14 @@ func (p *context) funcOf(fn *ssa.Function) (aFn llssa.Function, pyFn llssa.PyObj
 			ftype = llgoStringData
 		case "pyList":
 			ftype = llgoPyList
+		case "sigjmpbuf":
+			ftype = llgoSigjmpbuf
+		case "sigsetjmp":
+			ftype = llgoSigsetjmp
+		case "siglongjmp":
+			ftype = llgoSiglongjmp
+		case "deferData":
+			ftype = llgoDeferData
 		case "unreachable":
 			ftype = llgoUnreachable
 		default:
@@ -372,8 +380,8 @@ func (p *context) compileBlock(b llssa.Builder, block *ssa.BasicBlock, n int, do
 		fn := p.fn
 		argc := pkg.NewVar("__llgo_argc", types.NewPointer(types.Typ[types.Int32]), llssa.InC)
 		argv := pkg.NewVar("__llgo_argv", types.NewPointer(argvTy), llssa.InC)
-		argc.Init(prog.Null(argc.Type))
-		argv.Init(prog.Null(argv.Type))
+		argc.Init(prog.Nil(argc.Type))
+		argv.Init(prog.Nil(argv.Type))
 		b.Store(argc.Expr, fn.Param(0))
 		b.Store(argv.Expr, fn.Param(1))
 		callRuntimeInit(b, pkg)
@@ -389,7 +397,7 @@ func (p *context) compileBlock(b llssa.Builder, block *ssa.BasicBlock, n int, do
 		modName := pysymPrefix + modPath
 		modPtr := pkg.PyNewModVar(modName, true).Expr
 		mod := b.Load(modPtr)
-		cond := b.BinOp(token.NEQ, mod, prog.Null(mod.Type))
+		cond := b.BinOp(token.NEQ, mod, prog.Nil(mod.Type))
 		newBlk := p.fn.MakeBlock()
 		b.If(cond, jumpTo, newBlk)
 		b.SetBlockEx(newBlk, llssa.AtEnd, false)
@@ -424,9 +432,10 @@ func intVal(v ssa.Value) int64 {
 	panic("intVal: ssa.Value is not a const int")
 }
 
-func (p *context) isVArgs(vx ssa.Value) (ret []llssa.Expr, ok bool) {
-	if va, vok := vx.(*ssa.Alloc); vok {
-		ret, ok = p.vargs[va] // varargs: this is a varargs index
+func (p *context) isVArgs(v ssa.Value) (ret []llssa.Expr, ok bool) {
+	switch v := v.(type) {
+	case *ssa.Alloc:
+		ret, ok = p.vargs[v] // varargs: this is a varargs index
 	}
 	return
 }
@@ -434,7 +443,7 @@ func (p *context) isVArgs(vx ssa.Value) (ret []llssa.Expr, ok bool) {
 func (p *context) checkVArgs(v *ssa.Alloc, t *types.Pointer) bool {
 	if v.Comment == "varargs" { // this maybe a varargs allocation
 		if arr, ok := t.Elem().(*types.Array); ok {
-			if isAny(arr.Elem()) && isVargs(p, v) {
+			if isAny(arr.Elem()) && isAllocVargs(p, v) {
 				p.vargs[v] = make([]llssa.Expr, arr.Len())
 				return true
 			}
@@ -443,15 +452,24 @@ func (p *context) checkVArgs(v *ssa.Alloc, t *types.Pointer) bool {
 	return false
 }
 
-func isVargs(ctx *context, v *ssa.Alloc) bool {
+func isAllocVargs(ctx *context, v *ssa.Alloc) bool {
 	refs := *v.Referrers()
 	n := len(refs)
 	lastref := refs[n-1]
 	if i, ok := lastref.(*ssa.Slice); ok {
 		if refs = *i.Referrers(); len(refs) == 1 {
-			if call, ok := refs[0].(*ssa.Call); ok {
-				return ctx.funcKind(call.Call.Value) == fnHasVArg
+			var call *ssa.CallCommon
+			switch ref := refs[0].(type) {
+			case *ssa.Call:
+				call = &ref.Call
+			case *ssa.Defer:
+				call = &ref.Call
+			case *ssa.Go:
+				call = &ref.Call
+			default:
+				return false
 			}
+			return ctx.funcKind(call.Value) == fnHasVArg
 		}
 	}
 	return false
@@ -512,6 +530,25 @@ func (p *context) stringData(b llssa.Builder, args []ssa.Value) (ret llssa.Expr)
 	panic("stringData(s string): invalid arguments")
 }
 
+func (p *context) sigsetjmp(b llssa.Builder, args []ssa.Value) (ret llssa.Expr) {
+	if len(args) == 2 {
+		jb := p.compileValue(b, args[0])
+		savemask := p.compileValue(b, args[1])
+		return b.Sigsetjmp(jb, savemask)
+	}
+	panic("sigsetjmp(jb c.SigjmpBuf, savemask c.Int): invalid arguments")
+}
+
+func (p *context) siglongjmp(b llssa.Builder, args []ssa.Value) {
+	if len(args) == 2 {
+		jb := p.compileValue(b, args[0])
+		retval := p.compileValue(b, args[1])
+		b.Siglongjmp(jb, retval)
+		return
+	}
+	panic("siglongjmp(jb c.SigjmpBuf, retval c.Int): invalid arguments")
+}
+
 func isPhi(i ssa.Instruction) bool {
 	_, ok := i.(*ssa.Phi)
 	return ok
@@ -611,6 +648,14 @@ func (p *context) call(b llssa.Builder, act llssa.DoAction, call *ssa.CallCommon
 			ret = p.allocaCStr(b, args)
 		case llgoStringData:
 			ret = p.stringData(b, args)
+		case llgoSigsetjmp:
+			ret = p.sigsetjmp(b, args)
+		case llgoSiglongjmp:
+			p.siglongjmp(b, args)
+		case llgoSigjmpbuf: // func sigjmpbuf()
+			ret = b.AllocaSigjmpBuf()
+		case llgoDeferData: // func deferData() *Defer
+			ret = b.DeferData()
 		case llgoUnreachable: // func unreachable()
 			b.Unreachable()
 		default:
@@ -748,6 +793,9 @@ func (p *context) compileInstrOrValue(b llssa.Builder, iv instrOrValue, asValue
 		t := v.Type()
 		x := p.compileValue(b, v.X)
 		ret = b.ChangeInterface(p.prog.Type(t, llssa.InGo), x)
+	case *ssa.Field:
+		x := p.compileValue(b, v.X)
+		ret = b.Field(x, v.Field)
 	default:
 		panic(fmt.Sprintf("compileInstrAndValue: unknown instr - %T\n", iv))
 	}

cl/compile_test.go

@@ -60,10 +60,6 @@ func TestPython(t *testing.T) {
 	cltest.Pkg(t, ssa.PkgPython, "../py/llgo_autogen.ll")
 }
 
-func TestRuntime(t *testing.T) {
-	cltest.Pkg(t, ssa.PkgRuntime, "../internal/runtime/llgo_autogen.ll")
-}
-
 func TestVar(t *testing.T) {
 	testCompile(t, `package foo
 

cl/import.go

@@ -105,6 +105,8 @@ func pkgKind(v string) (int, string) {
 			return PkgLinkExtern, v[5:]
 		} else if strings.HasPrefix(v, "py.") { // "py.<module>"
 			return PkgPyModule, v[3:]
+		} else if strings.HasPrefix(v, "decl:") { // "decl: <param>"
+			return PkgDeclOnly, v[5:]
 		}
 	}
 	return PkgLLGo, ""
@@ -307,6 +309,10 @@ const (
 	llgoIndex       = llgoInstrBase + 5
 	llgoStringData  = llgoInstrBase + 6
 	llgoPyList      = llgoInstrBase + 7
+	llgoSigjmpbuf   = llgoInstrBase + 10
+	llgoSigsetjmp   = llgoInstrBase + 11
+	llgoSiglongjmp  = llgoInstrBase + 12
+	llgoDeferData   = llgoInstrBase + 13
 )
 
 func (p *context) funcName(fn *ssa.Function, ignore bool) (*types.Package, string, int) {

cl/internal/foo/foo.go

@@ -16,3 +16,18 @@ type Foo struct {
 func (v Foo) Pb() *byte {
 	return v.pb
 }
+
+type Gamer interface {
+	initGame()
+	Load()
+}
+
+type Game struct {
+}
+
+func (g *Game) initGame() {
+}
+
+func (g *Game) Load() {
+	println("load")
+}

internal/abi/type.go

@@ -246,7 +246,19 @@ type Method struct {
 
 // Exported reports whether the method is exported.
 func (p *Method) Exported() bool {
-	return IsExported(p.Name_)
+	return lastDot(p.Name_) == -1
+}
+
+// Name returns the tag string for method.
+func (p *Method) Name() string {
+	_, name := splitName(p.Name_)
+	return name
+}
+
+// PkgPath returns the pkgpath string for method, or empty if there is none.
+func (p *Method) PkgPath() string {
+	pkg, _ := splitName(p.Name_)
+	return pkg
 }
 
 // UncommonType is present only for defined types or types with methods
@@ -280,6 +292,23 @@ type Imethod struct {
 	Typ_  *FuncType // .(*FuncType) underneath
 }
 
+// Exported reports whether the imethod is exported.
+func (p *Imethod) Exported() bool {
+	return lastDot(p.Name_) == -1
+}
+
+// Name returns the tag string for imethod.
+func (p *Imethod) Name() string {
+	_, name := splitName(p.Name_)
+	return name
+}
+
+// PkgPath returns the pkgpath string for imethod, or empty if there is none.
+func (p *Imethod) PkgPath() string {
+	pkg, _ := splitName(p.Name_)
+	return pkg
+}
+
 func (t *Type) Kind() Kind { return Kind(t.Kind_ & KindMask) }
 
 // Size returns the size of data with type t.
@@ -450,4 +479,20 @@ func addChecked(p unsafe.Pointer, x uintptr, whySafe string) unsafe.Pointer {
 	return unsafe.Pointer(uintptr(p) + x)
 }
 
+func splitName(s string) (pkg string, name string) {
+	i := lastDot(s)
+	if i == -1 {
+		return s, ""
+	}
+	return s[:i], s[i+1:]
+}
+
+func lastDot(s string) int {
+	i := len(s) - 1
+	for i >= 0 && s[i] != '.' {
+		i--
+	}
+	return i
+}
+
 // -----------------------------------------------------------------------------

internal/build/build.go

@@ -145,11 +145,21 @@ func Do(args []string, conf *Config) {
 		return rt[1].Types
 	})
 
-	pkgs := buildAllPkgs(prog, initial, mode, verbose)
+	pkgs := buildAllPkgs(prog, initial, nil, mode, verbose)
 
 	var runtimeFiles []string
 	if needRt {
-		runtimeFiles = allLinkFiles(rt)
+		skip := make(map[string]bool)
+		for _, v := range pkgs {
+			skip[v.PkgPath] = true
+		}
+		dpkg := buildAllPkgs(prog, rt[:1], skip, mode, verbose)
+		for _, pkg := range dpkg {
+			if !strings.HasSuffix(pkg.ExportFile, ".ll") {
+				continue
+			}
+			runtimeFiles = append(runtimeFiles, pkg.ExportFile)
+		}
 	}
 	if mode != ModeBuild {
 		nErr := 0
@@ -182,7 +192,7 @@ func isNeedRuntimeOrPyInit(pkg *packages.Package) (needRuntime, needPyInit bool)
 	return
 }
 
-func buildAllPkgs(prog llssa.Program, initial []*packages.Package, mode Mode, verbose bool) (pkgs []*aPackage) {
+func buildAllPkgs(prog llssa.Program, initial []*packages.Package, skip map[string]bool, mode Mode, verbose bool) (pkgs []*aPackage) {
 	// Create SSA-form program representation.
 	ssaProg, pkgs, errPkgs := allPkgs(initial, ssa.SanityCheckFunctions)
 	ssaProg.Build()
@@ -194,6 +204,10 @@ func buildAllPkgs(prog llssa.Program, initial []*packages.Package, mode Mode, ve
 	}
 	for _, aPkg := range pkgs {
 		pkg := aPkg.Package
+		if skip[pkg.PkgPath] {
+			pkg.ExportFile = ""
+			continue
+		}
 		switch kind, param := cl.PkgKindOf(pkg.Types); kind {
 		case cl.PkgDeclOnly:
 			// skip packages that only contain declarations
@@ -266,7 +280,7 @@ func linkMainPkg(pkg *packages.Package, pkgs []*aPackage, runtimeFiles []string,
 	needRuntime := false
 	needPyInit := false
 	packages.Visit([]*packages.Package{pkg}, nil, func(p *packages.Package) {
-		if p.ExportFile != "" && !isRuntimePkg(p.PkgPath) { // skip packages that only contain declarations
+		if p.ExportFile != "" { // skip packages that only contain declarations
 			args = appendLinkFiles(args, p.ExportFile)
 			need1, need2 := isNeedRuntimeOrPyInit(p)
 			if !needRuntime {
@@ -288,7 +302,9 @@ func linkMainPkg(pkg *packages.Package, pkgs []*aPackage, runtimeFiles []string,
 
 	dirty := false
 	if needRuntime && runtimeFiles != nil {
-		args = append(args, runtimeFiles...)
+		for _, file := range runtimeFiles {
+			args = appendLinkFiles(args, file)
+		}
 	} else {
 		dirty = true
 		fn := aPkg.LPkg.FuncOf(cl.RuntimeInit)
@@ -325,6 +341,9 @@ func linkMainPkg(pkg *packages.Package, pkgs []*aPackage, runtimeFiles []string,
 		cmd.Stdout = os.Stdout
 		cmd.Stderr = os.Stderr
 		cmd.Run()
+		if s := cmd.ProcessState; s != nil {
+			os.Exit(s.ExitCode())
+		}
 	}
 	return
 }
@@ -445,32 +464,6 @@ func checkFlag(arg string, i *int, verbose *bool, swflags map[string]bool) {
 	}
 }
 
-func allLinkFiles(rt []*packages.Package) (outFiles []string) {
-	outFiles = make([]string, 0, len(rt))
-	packages.Visit(rt, nil, func(p *packages.Package) {
-		pkgPath := p.PkgPath
-		if isRuntimePkg(pkgPath) {
-			llgoPkgLinkFiles(pkgPath, func(linkFile string) {
-				outFiles = append(outFiles, linkFile)
-			})
-		}
-	})
-	return
-}
-
-const (
-	pkgAbi     = llgoModPath + "/internal/abi"
-	pkgRuntime = llgoModPath + "/internal/runtime"
-)
-
-func isRuntimePkg(pkgPath string) bool {
-	switch pkgPath {
-	case pkgRuntime, pkgAbi:
-		return true
-	}
-	return false
-}
-
 var (
 	rootDir string
 )
@@ -501,7 +494,7 @@ func concatPkgLinkFiles(pkgPath string) string {
 	var b strings.Builder
 	var ret string
 	var n int
-	llgoPkgLinkFiles(pkgPath, func(linkFile string) {
+	llgoPkgLinkFiles(pkgPath, "", func(linkFile string) {
 		if n == 0 {
 			ret = linkFile
 		} else {
@@ -518,13 +511,16 @@ func concatPkgLinkFiles(pkgPath string) string {
 	return ret
 }
 
-func llgoPkgLinkFiles(pkgPath string, procFile func(linkFile string)) {
+func llgoPkgLinkFiles(pkgPath string, llFile string, procFile func(linkFile string)) {
 	dir := llgoRoot() + pkgPath[len(llgoModPath):] + "/"
-	llFile := dir + "llgo_autogen.ll"
-	llaFile := llFile + "a"
-	zipf, err := zip.OpenReader(llaFile)
+	if llFile == "" {
+		llFile = "llgo_autogen.ll"
+	}
+	llPath := dir + llFile
+	llaPath := llPath + "a"
+	zipf, err := zip.OpenReader(llaPath)
 	if err != nil {
-		procFile(llFile)
+		procFile(llPath)
 		return
 	}
 	defer zipf.Close()
@@ -532,7 +528,7 @@ func llgoPkgLinkFiles(pkgPath string, procFile func(linkFile string)) {
 	for _, f := range zipf.File {
 		procFile(dir + f.Name)
 	}
-	if _, err := os.Stat(llFile); os.IsNotExist(err) {
+	if _, err := os.Stat(llPath); os.IsNotExist(err) {
 		for _, f := range zipf.File {
 			decodeFile(dir+f.Name, f)
 		}

internal/llgen/llgenf.go

@@ -107,6 +107,11 @@ func SmartDoFile(inFile string, pkgPath ...string) {
 	}
 	outFile := dir + fname
 
+	b, err := os.ReadFile(outFile)
+	if err == nil && len(b) == 1 && b[0] == ';' {
+		return // skip to gen
+	}
+
 	if len(pkgPath) > 0 {
 		Do(pkgPath[0], inFile, outFile)
 	} else {
@@ -126,5 +131,5 @@ func genZip(dir string, outFile, inFile string) {
 }
 
 func inCompilerDir(dir string) bool {
-	return strings.Contains(dir, "/llgo/cl/")
+	return strings.Contains(dir, "/cl/_test")
 }

internal/runtime/bdwgc/bdwgc.go

@@ -0,0 +1,101 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 bdwgc
+
+import (
+	_ "unsafe"
+
+	"github.com/goplus/llgo/c"
+)
+
+const (
+	LLGoPackage = "link: $LLGO_LIB_BDWGC; $(pkg-config --libs bdw-gc); -lgc"
+)
+
+// -----------------------------------------------------------------------------
+
+//go:linkname Init C.GC_init
+func Init()
+
+//go:linkname Malloc C.GC_malloc
+func Malloc(size uintptr) c.Pointer
+
+//go:linkname Realloc C.GC_realloc
+func Realloc(ptr c.Pointer, size uintptr) c.Pointer
+
+//go:linkname Free C.GC_free
+func Free(ptr c.Pointer)
+
+// -----------------------------------------------------------------------------
+
+//go:linkname RegisterFinalizer C.GC_register_finalizer
+func RegisterFinalizer(
+	obj c.Pointer,
+	fn func(c.Pointer, c.Pointer), cd c.Pointer,
+	oldFn *func(c.Pointer, c.Pointer), oldCd *c.Pointer)
+
+//go:linkname RegisterFinalizerNoOrder C.GC_register_finalizer_no_order
+func RegisterFinalizerNoOrder(
+	obj c.Pointer,
+	fn func(c.Pointer, c.Pointer), cd c.Pointer,
+	oldFn *func(c.Pointer, c.Pointer), oldCd *c.Pointer)
+
+//go:linkname RegisterFinalizerIgnoreSelf C.GC_register_finalizer_ignore_self
+func RegisterFinalizerIgnoreSelf(
+	obj c.Pointer,
+	fn func(c.Pointer, c.Pointer), cd c.Pointer,
+	oldFn *func(c.Pointer, c.Pointer), oldCd *c.Pointer)
+
+//go:linkname RegisterFinalizerUnreachable C.GC_register_finalizer_unreachable
+func RegisterFinalizerUnreachable(
+	obj c.Pointer,
+	fn func(c.Pointer, c.Pointer), cd c.Pointer,
+	oldFn *func(c.Pointer, c.Pointer), oldCd *c.Pointer)
+
+// -----------------------------------------------------------------------------
+
+//go:linkname Enable C.GC_enable
+func Enable()
+
+//go:linkname Disable C.GC_disable
+func Disable()
+
+//go:linkname IsDisabled C.GC_is_disabled
+func IsDisabled() c.Int
+
+//go:linkname Gcollect C.GC_gcollect
+func Gcollect()
+
+//go:linkname GetMemoryUse C.GC_get_memory_use
+func GetMemoryUse() uintptr
+
+// -----------------------------------------------------------------------------
+
+//go:linkname EnableIncremental C.GC_enable_incremental
+func EnableIncremental()
+
+//go:linkname IsIncrementalMode C.GC_is_incremental_mode
+func IsIncrementalMode() c.Int
+
+//go:linkname IncrementalProtectionNeeds C.GC_incremental_protection_needs
+func IncrementalProtectionNeeds() c.Int
+
+//go:linkname StartIncrementalCollection C.GC_start_incremental_collection
+func StartIncrementalCollection()
+
+//go:linkname CollectALittle C.GC_collect_a_little
+func CollectALittle()

internal/runtime/c/c.go

@@ -30,15 +30,6 @@ type (
 	FilePtr = unsafe.Pointer
 )
 
-//go:linkname Stdin __stdinp
-var Stdin FilePtr
-
-//go:linkname Stdout __stdoutp
-var Stdout FilePtr
-
-//go:linkname Stderr __stderrp
-var Stderr FilePtr
-
 //go:linkname Str llgo.cstr
 func Str(string) *Char
 
@@ -51,15 +42,33 @@ func Alloca(size uintptr) Pointer
 //go:linkname AllocaCStr llgo.allocaCStr
 func AllocaCStr(s string) *Char
 
+//go:linkname GoDeferData llgo.deferData
+func GoDeferData() Pointer
+
 //go:linkname Unreachable llgo.unreachable
 func Unreachable()
 
+//go:linkname Exit C.exit
+func Exit(Int)
+
+//go:linkname AllocaSigjmpBuf llgo.sigjmpbuf
+func AllocaSigjmpBuf() Pointer
+
+//go:linkname Sigsetjmp llgo.sigsetjmp
+func Sigsetjmp(jb Pointer, savemask Int) Int
+
+//go:linkname Siglongjmp llgo.siglongjmp
+func Siglongjmp(jb Pointer, retval Int)
+
 //go:linkname Rand C.rand
 func Rand() Int
 
 //go:linkname Malloc C.malloc
 func Malloc(size uintptr) Pointer
 
+//go:linkname Free C.free
+func Free(ptr Pointer)
+
 //go:linkname Memcpy C.memcpy
 func Memcpy(dst, src Pointer, n uintptr) Pointer
 

internal/runtime/c/c_default.go

@@ -0,0 +1,31 @@
+//go:build !linux
+// +build !linux
+
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 c
+
+import _ "unsafe"
+
+//go:linkname Stdin __stdinp
+var Stdin FilePtr
+
+//go:linkname Stdout __stdoutp
+var Stdout FilePtr
+
+//go:linkname Stderr __stderrp
+var Stderr FilePtr

internal/runtime/c/c_linux.go

@@ -0,0 +1,31 @@
+//go:build linux
+// +build linux
+
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 c
+
+import _ "unsafe"
+
+//go:linkname Stdin stdin
+var Stdin FilePtr
+
+//go:linkname Stdout stdout
+var Stdout FilePtr
+
+//go:linkname Stderr stderr
+var Stderr FilePtr

internal/runtime/error.go

@@ -1,27 +0,0 @@
-package runtime
-
-type errorString string
-
-func (e errorString) RuntimeError() {}
-
-func (e errorString) Error() string {
-	return "runtime error: " + string(e)
-}
-
-func AssertRuntimeError(b bool, msg string) {
-	if b {
-		panic(errorString(msg).Error())
-	}
-}
-
-func AssertNegativeShift(b bool) {
-	if b {
-		panic(errorString("negative shift amount").Error())
-	}
-}
-
-func AssertIndexRange(b bool) {
-	if b {
-		panic(errorString("index out of range").Error())
-	}
-}

internal/runtime/z_error.go

@@ -0,0 +1,43 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 runtime
+
+type errorString string
+
+func (e errorString) RuntimeError() {}
+
+func (e errorString) Error() string {
+	return "runtime error: " + string(e)
+}
+
+func AssertRuntimeError(b bool, msg string) {
+	if b {
+		panic(errorString(msg).Error())
+	}
+}
+
+func AssertNegativeShift(b bool) {
+	if b {
+		panic(errorString("negative shift amount").Error())
+	}
+}
+
+func AssertIndexRange(b bool) {
+	if b {
+		panic(errorString("index out of range").Error())
+	}
+}

internal/runtime/z_face.go

@@ -266,4 +266,154 @@ func IfacePtrData(i iface) unsafe.Pointer {
 	return i.data
 }
 
+// Implements reports whether the type V implements the interface type T.
+func Implements(T, V *abi.Type) bool {
+	if V == nil {
+		return false
+	}
+	if T.Kind() != abi.Interface {
+		return false
+	}
+	t := (*abi.InterfaceType)(unsafe.Pointer(T))
+
+	if len(t.Methods) == 0 {
+		return true
+	}
+
+	// The same algorithm applies in both cases, but the
+	// method tables for an interface type and a concrete type
+	// are different, so the code is duplicated.
+	// In both cases the algorithm is a linear scan over the two
+	// lists - T's methods and V's methods - simultaneously.
+	// Since method tables are stored in a unique sorted order
+	// (alphabetical, with no duplicate method names), the scan
+	// through V's methods must hit a match for each of T's
+	// methods along the way, or else V does not implement T.
+	// This lets us run the scan in overall linear time instead of
+	// the quadratic time  a naive search would require.
+	// See also ../runtime/iface.go.
+	if V.Kind() == abi.Interface {
+		v := (*abi.InterfaceType)(unsafe.Pointer(V))
+		i := 0
+		for j := 0; j < len(v.Methods); j++ {
+			tm := &t.Methods[i]
+			vm := &v.Methods[j]
+			if vm.Name_ == tm.Name_ && vm.Typ_ == tm.Typ_ {
+				if i++; i >= len(t.Methods) {
+					return true
+				}
+			}
+		}
+		return false
+	}
+
+	v := V.Uncommon()
+	if v == nil {
+		return false
+	}
+	i := 0
+	vmethods := v.Methods()
+	for j := 0; j < int(v.Mcount); j++ {
+		tm := &t.Methods[i]
+		vm := vmethods[j]
+		if vm.Name_ == tm.Name_ && vm.Mtyp_ == tm.Typ_ {
+			if i++; i >= len(t.Methods) {
+				return true
+			}
+		}
+	}
+	return false
+}
+
+func EfaceEqual(v, u eface) bool {
+	if v.Kind() == abi.Interface {
+		v = v.Elem()
+	}
+	if u.Kind() == abi.Interface {
+		u = u.Elem()
+	}
+	if v._type == nil || u._type == nil {
+		return v._type == u._type
+	}
+	if v._type != u._type {
+		return false
+	}
+	if v._type.Kind_&abi.KindDirectIface != 0 {
+		return v.data == u.data
+	}
+	switch v.Kind() {
+	case abi.Bool,
+		abi.Int, abi.Int8, abi.Int16, abi.Int32, abi.Int64,
+		abi.Uint, abi.Uint8, abi.Uint16, abi.Uint32, abi.Uint64, abi.Uintptr,
+		abi.Float32, abi.Float64:
+		return *(*uintptr)(v.data) == *(*uintptr)(u.data)
+	case abi.Complex64, abi.Complex128:
+		panic("TODO complex")
+	case abi.String:
+		return *(*string)(v.data) == *(*string)(u.data)
+	case abi.Pointer, abi.UnsafePointer:
+		return v.data == u.data
+	case abi.Array:
+		n := v._type.Len()
+		tt := v._type.ArrayType()
+		index := func(data unsafe.Pointer, i int) eface {
+			offset := i * int(tt.Elem.Size_)
+			return eface{tt.Elem, c.Advance(data, offset)}
+		}
+		for i := 0; i < n; i++ {
+			if !EfaceEqual(index(v.data, i), index(u.data, i)) {
+				return false
+			}
+		}
+		return true
+	case abi.Struct:
+		st := v._type.StructType()
+		field := func(data unsafe.Pointer, ft *abi.StructField) eface {
+			return eface{ft.Typ, c.Advance(data, int(ft.Offset))}
+		}
+		for _, ft := range st.Fields {
+			if !EfaceEqual(field(v.data, &ft), field(u.data, &ft)) {
+				return false
+			}
+		}
+		return true
+	case abi.Func, abi.Map, abi.Slice:
+		break
+	}
+	panic("not comparable")
+}
+
+func (v eface) Kind() abi.Kind {
+	if v._type == nil {
+		return abi.Invalid
+	}
+	return v._type.Kind()
+}
+
+func (v eface) Elem() eface {
+	switch v.Kind() {
+	case abi.Interface:
+		var i any
+		tt := (*abi.InterfaceType)(unsafe.Pointer(v._type))
+		if len(tt.Methods) == 0 {
+			i = *(*any)(v.data)
+		} else {
+			i = (any)(*(*interface {
+				M()
+			})(v.data))
+		}
+		return *(*eface)(unsafe.Pointer(&i))
+	case abi.Pointer:
+		ptr := v.data
+		if v._type.Kind_&abi.KindDirectIface != 0 {
+			ptr = *(*unsafe.Pointer)(ptr)
+		}
+		if ptr == nil {
+			return eface{}
+		}
+		return eface{v._type.Elem(), ptr}
+	}
+	panic("invalid eface elem")
+}
+
 // -----------------------------------------------------------------------------

internal/runtime/z_gc.go

@@ -0,0 +1,38 @@
+//go:build !nogc
+// +build !nogc
+
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 runtime
+
+import (
+	"unsafe"
+
+	"github.com/goplus/llgo/internal/runtime/bdwgc"
+	"github.com/goplus/llgo/internal/runtime/c"
+)
+
+// AllocU allocates uninitialized memory.
+func AllocU(size uintptr) unsafe.Pointer {
+	return bdwgc.Malloc(size)
+}
+
+// AllocZ allocates zero-initialized memory.
+func AllocZ(size uintptr) unsafe.Pointer {
+	ret := bdwgc.Malloc(size)
+	return c.Memset(ret, 0, size)
+}

internal/runtime/z_nogc.go

@@ -1,3 +1,6 @@
+//go:build nogc
+// +build nogc
+
 /*
  * Copyright (c) 2024 The GoPlus Authors (goplus.org). All rights reserved.
  *
@@ -19,7 +22,6 @@ package runtime
 import (
 	"unsafe"
 
-	"github.com/goplus/llgo/internal/abi"
 	"github.com/goplus/llgo/internal/runtime/c"
 )
 
@@ -33,23 +35,3 @@ func AllocZ(size uintptr) unsafe.Pointer {
 	ret := c.Malloc(size)
 	return c.Memset(ret, 0, size)
 }
-
-// Zeroinit initializes memory to zero.
-func Zeroinit(p unsafe.Pointer, size uintptr) unsafe.Pointer {
-	return c.Memset(p, 0, size)
-}
-
-// TracePanic prints panic message.
-func TracePanic(v Eface) {
-	kind := v._type.Kind()
-	switch {
-	case kind == abi.String:
-		stringTracef(c.Stderr, c.Str("panic: %s\n"), *(*String)(v.data))
-	}
-	// TODO(xsw): other message type
-}
-
-func stringTracef(fp c.FilePtr, format *c.Char, s String) {
-	cs := c.Alloca(uintptr(s.len) + 1)
-	c.Fprintf(fp, format, CStrCopy(cs, s))
-}

internal/runtime/z_rt.go

@@ -0,0 +1,90 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 runtime
+
+import (
+	"unsafe"
+
+	"github.com/goplus/llgo/c/pthread"
+	"github.com/goplus/llgo/internal/abi"
+	"github.com/goplus/llgo/internal/runtime/c"
+)
+
+// -----------------------------------------------------------------------------
+
+// Defer presents defer statements in a function.
+type Defer struct {
+	Addr unsafe.Pointer // sigjmpbuf
+	Bits uintptr
+	Link *Defer
+	Rund unsafe.Pointer // block address after RunDefers
+}
+
+// Panic panics with a value.
+func Panic(v Eface) {
+	ptr := c.Malloc(unsafe.Sizeof(v))
+	*(*Eface)(ptr) = v
+	excepKey.Set(ptr)
+
+	Rethrow((*Defer)(c.GoDeferData()))
+}
+
+// Rethrow rethrows a panic.
+func Rethrow(link *Defer) {
+	if link == nil {
+		ptr := excepKey.Get()
+		TracePanic(*(*Eface)(ptr))
+		c.Free(ptr)
+		c.Exit(2)
+	} else {
+		c.Siglongjmp(link.Addr, 1)
+	}
+}
+
+var (
+	excepKey pthread.Key
+)
+
+func init() {
+	excepKey.Create(nil)
+}
+
+// -----------------------------------------------------------------------------
+
+// TracePanic prints panic message.
+func TracePanic(v Eface) {
+	kind := v._type.Kind()
+	switch {
+	case kind == abi.String:
+		stringTracef(c.Stderr, c.Str("panic: %s\n"), *(*String)(v.data))
+	}
+	// TODO(xsw): other message type
+}
+
+func stringTracef(fp c.FilePtr, format *c.Char, s String) {
+	cs := c.Alloca(uintptr(s.len) + 1)
+	c.Fprintf(fp, format, CStrCopy(cs, s))
+}
+
+// -----------------------------------------------------------------------------
+
+// Zeroinit initializes memory to zero.
+func Zeroinit(p unsafe.Pointer, size uintptr) unsafe.Pointer {
+	return c.Memset(p, 0, size)
+}
+
+// -----------------------------------------------------------------------------

ssa/abi/abi.go

@@ -166,6 +166,9 @@ func (b *Builder) TypeName(t types.Type) (ret string, pub bool) {
 
 // PathOf returns the package path of the specified package.
 func PathOf(pkg *types.Package) string {
+	if pkg == nil {
+		return ""
+	}
 	if pkg.Name() == "main" {
 		return "main"
 	}
@@ -174,6 +177,9 @@ func PathOf(pkg *types.Package) string {
 
 // FullName returns the full name of a package member.
 func FullName(pkg *types.Package, name string) string {
+	if pkg == nil {
+		return name
+	}
 	return PathOf(pkg) + "." + name
 }
 

ssa/abitype.go

@@ -22,6 +22,7 @@ import (
 
 	"github.com/goplus/llgo/ssa/abi"
 	"github.com/goplus/llvm"
+	"golang.org/x/tools/go/types/typeutil"
 )
 
 // -----------------------------------------------------------------------------
@@ -54,9 +55,13 @@ func (b Builder) abiTypeOf(t types.Type) func() Expr {
 	case *types.Struct:
 		return b.abiStructOf(t)
 	case *types.Named:
+		if iface, ok := t.Underlying().(*types.Interface); ok {
+			obj := t.Obj()
+			return b.abiInterfaceOf(abi.PathOf(obj.Pkg()), abi.TypeName(obj), iface)
+		}
 		return b.abiNamedOf(t)
 	case *types.Interface:
-		return b.abiInterfaceOf("", t)
+		return b.abiInterfaceOf("", "", t)
 	case *types.Signature:
 		return b.abiFuncOf(t)
 	case *types.Slice:
@@ -100,26 +105,26 @@ func (b Builder) abiImethodOf(mName string, typ Expr) Expr {
 	return b.aggregateValue(prog.rtType("Imethod"), name.impl, typ.impl)
 }
 
-func (b Builder) abiMethods(t *types.Named) (ret int) {
-	n := t.NumMethods()
-	for i := 0; i < n; i++ {
-		m := t.Method(i)
-		mSig := m.Type().(*types.Signature)
-		recvType := mSig.Recv().Type()
-		if _, ok := recvType.(*types.Pointer); !ok {
-			ret++
+func (b Builder) abiMethods(t *types.Named) (ret, pret int) {
+	methods := typeutil.IntuitiveMethodSet(t, nil)
+	pret = len(methods)
+	for _, m := range methods {
+		if _, ok := m.Recv().(*types.Pointer); ok {
+			continue
 		}
+		ret++
 	}
 	return
 }
 
 // Method{name string, typ *FuncType, ifn, tfn abi.Text}
-func (b Builder) abiMethodOf(m *types.Func /*, bg Background = InGo */) (mthd, ptrMthd Expr) {
+func (b Builder) abiMethodOf(m types.Object, mSig *types.Signature /*, bg Background = InGo */) (mthd, ptrMthd Expr) {
 	prog := b.Prog
 	mPkg, mName := m.Pkg(), m.Name()
-	mSig := m.Type().(*types.Signature)
-
 	name := b.Str(mName).impl
+	if !token.IsExported(mName) {
+		name = b.Str(abi.FullName(mPkg, m.Name())).impl
+	}
 	abiSigGo := types.NewSignatureType(nil, nil, nil, mSig.Params(), mSig.Results(), mSig.Variadic())
 	abiSig := prog.FuncDecl(abiSigGo, InGo).raw.Type
 	abiTyp := b.abiType(abiSig)
@@ -149,7 +154,7 @@ func (b Builder) abiMthd(mPkg *types.Package, mName string, mSig *types.Signatur
 }
 
 // func Interface(pkgPath, name string, methods []abi.Imethod)
-func (b Builder) abiInterfaceOf(name string, t *types.Interface) func() Expr {
+func (b Builder) abiInterfaceOf(pkgPath string, name string, t *types.Interface) func() Expr {
 	n := t.NumMethods()
 	typs := make([]Expr, n)
 	for i := 0; i < n; i++ {
@@ -161,11 +166,17 @@ func (b Builder) abiInterfaceOf(name string, t *types.Interface) func() Expr {
 		methods := make([]Expr, n)
 		for i := 0; i < n; i++ {
 			m := t.Method(i)
-			methods[i] = b.abiImethodOf(m.Name(), typs[i])
+			mName := m.Name()
+			if !token.IsExported(mName) {
+				mName = abi.FullName(m.Pkg(), mName)
+			}
+			methods[i] = b.abiImethodOf(mName, typs[i])
 		}
 		pkg := b.Pkg
 		fn := pkg.rtFunc("Interface")
-		pkgPath := pkg.Path()
+		if pkgPath == "" {
+			pkgPath = pkg.Path()
+		}
 		tSlice := lastParamType(prog, fn)
 		methodSlice := b.SliceLit(tSlice, methods...)
 		return b.Call(fn, b.Str(pkgPath), b.Str(name), methodSlice)
@@ -178,8 +189,7 @@ func (b Builder) abiNamedOf(t *types.Named) func() Expr {
 		pkg := b.Pkg
 		tunder := t.Underlying()
 		kind := int(abi.UnderlyingKind(tunder))
-		numMethods := b.abiMethods(t)
-		numPtrMethods := t.NumMethods()
+		numMethods, numPtrMethods := b.abiMethods(t)
 		newNamed := pkg.rtFunc("NewNamed")
 		return b.Call(newNamed, b.Prog.Val(kind), b.Prog.Val(numMethods), b.Prog.Val(numPtrMethods))
 	}
@@ -193,10 +203,10 @@ func (b Builder) abiInitNamed(ret Expr, t *types.Named) func() Expr {
 		prog := b.Prog
 		path := abi.PathOf(t.Obj().Pkg())
 		name := NameOf(t)
-
 		var initNamed = pkg.rtFunc("InitNamed")
 		var tSlice = lastParamType(prog, initNamed)
-		var n = t.NumMethods()
+		mset := typeutil.IntuitiveMethodSet(t, nil)
+		n := len(mset)
 		var methods, ptrMethods Expr
 		if n == 0 {
 			methods = prog.Zero(tSlice)
@@ -205,8 +215,12 @@ func (b Builder) abiInitNamed(ret Expr, t *types.Named) func() Expr {
 			var mthds []Expr
 			var ptrMthds = make([]Expr, 0, n)
 			for i := 0; i < n; i++ {
-				m := t.Method(i)
-				mthd, ptrMthd := b.abiMethodOf(m)
+				m := mset[i]
+				sig := m.Obj().(*types.Func).Type().(*types.Signature)
+				if _, ok := sig.Recv().Type().Underlying().(*types.Interface); ok {
+					sig = m.Type().(*types.Signature)
+				}
+				mthd, ptrMthd := b.abiMethodOf(m.Obj(), sig)
 				if !mthd.IsNil() {
 					mthds = append(mthds, mthd)
 				}
@@ -291,7 +305,7 @@ func (p Package) abiTypeInit(g Global, t types.Type, pub bool) {
 	var eq Expr
 	var blks []BasicBlock
 	if pub {
-		eq = b.BinOp(token.EQL, b.Load(expr), b.Prog.Null(expr.Type))
+		eq = b.BinOp(token.EQL, b.Load(expr), b.Prog.Nil(expr.Type))
 		blks = b.Func.MakeBlocks(2)
 		b.If(eq, blks[0], blks[1])
 		b.SetBlockEx(blks[0], AtEnd, false)
@@ -304,6 +318,10 @@ func (p Package) abiTypeInit(g Global, t types.Type, pub bool) {
 		b.blk.last = blks[1].last
 	}
 	if t, ok := t.(*types.Named); ok {
+		// skip interface
+		if _, ok := t.Underlying().(*types.Interface); ok {
+			return
+		}
 		tabi = b.abiInitNamed(vexpr, t)
 		if pub {
 			blks = b.Func.MakeBlocks(2)
@@ -327,7 +345,7 @@ func (b Builder) abiType(t types.Type) Expr {
 	if g == nil {
 		prog := b.Prog
 		g = pkg.doNewVar(name, prog.AbiTypePtrPtr())
-		g.Init(prog.Null(g.Type))
+		g.Init(prog.Nil(g.Type))
 		if pub {
 			g.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
 		}

ssa/cl_test.go

@@ -33,6 +33,10 @@ func TestFromTestpy(t *testing.T) {
 	cltest.FromDir(t, "", "../cl/_testpy", false)
 }
 
+func TestFromTestlibc(t *testing.T) {
+	cltest.FromDir(t, "", "../cl/_testlibc", true)
+}
+
 func TestFromTestrt(t *testing.T) {
 	cltest.FromDir(t, "", "../cl/_testrt", true)
 }
@@ -41,14 +45,6 @@ func TestFromTestdata(t *testing.T) {
 	cltest.FromDir(t, "", "../cl/_testdata", false)
 }
 
-func TestRuntime(t *testing.T) {
-	cltest.Pkg(t, "github.com/goplus/llgo/internal/runtime", "../internal/runtime/llgo_autogen.ll")
-}
-
-func TestAbi(t *testing.T) {
-	cltest.Pkg(t, "github.com/goplus/llgo/internal/abi", "../internal/abi/llgo_autogen.ll")
-}
-
 func TestMakeInterface(t *testing.T) {
 	prog := ssatest.NewProgram(t, &ssa.Target{GOARCH: "x86"})
 	pkg := prog.NewPackage("foo", "foo")
@@ -56,6 +52,7 @@ func TestMakeInterface(t *testing.T) {
 	b := fn.MakeBody(1)
 	b.MakeInterface(prog.Any(), prog.IntVal(100, prog.Int64()))
 	b.MakeInterface(prog.Any(), prog.FloatVal(100, prog.Float64()))
+	b.DeferData()
 	b.Return()
 }
 

ssa/decl.go

@@ -19,9 +19,7 @@ package ssa
 import (
 	"go/types"
 	"log"
-	"sort"
 	"strconv"
-	"strings"
 
 	"github.com/goplus/llvm"
 )
@@ -332,96 +330,3 @@ func (p Function) Block(idx int) BasicBlock {
 }
 
 // -----------------------------------------------------------------------------
-
-type aPyGlobal struct {
-	Expr
-}
-
-type PyGlobal = *aPyGlobal
-
-// PyNewVar creates a Python variable.
-func (b Builder) PyNewVar(modName, name string) PyGlobal {
-	modPtr := b.Pkg.PyNewModVar(modName, false).Expr
-	mod := b.Load(modPtr)
-	return &aPyGlobal{pyVarExpr(mod, name)}
-}
-
-func (b Builder) pyLoad(ptr Expr) Expr {
-	t := ptr.raw.Type.(*pyVarTy)
-	fn := b.Pkg.pyFunc("PyObject_GetAttrString", b.Prog.tyGetAttrString())
-	return b.Call(fn, t.mod, b.CStr(t.name))
-}
-
-// -----------------------------------------------------------------------------
-
-type aPyObjRef struct {
-	Expr
-	Obj Global
-}
-
-// PyObjRef represents a python object reference.
-type PyObjRef = *aPyObjRef
-
-// PyNewFunc creates a new python function.
-func (p Package) PyNewFunc(name string, sig *types.Signature, doInit bool) PyObjRef {
-	if v, ok := p.pyobjs[name]; ok {
-		return v
-	}
-	prog := p.Prog
-	obj := p.NewVar(name, prog.PyObjectPtrPtr().RawType(), InC)
-	if doInit {
-		prog.NeedPyInit = true
-		obj.Init(prog.Null(obj.Type))
-		obj.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
-	}
-	ty := &aType{obj.ll, rawType{types.NewPointer(sig)}, vkPyFuncRef}
-	expr := Expr{obj.impl, ty}
-	ret := &aPyObjRef{expr, obj}
-	p.pyobjs[name] = ret
-	return ret
-}
-
-// PyObjOf returns a python object by name.
-func (p Package) PyObjOf(name string) PyObjRef {
-	return p.pyobjs[name]
-}
-
-func (p Package) pyHasModSyms() bool {
-	return len(p.pyobjs) > 0
-}
-
-// pyLoadModSyms loads module symbols used in this package.
-func (p Package) pyLoadModSyms(b Builder) {
-	objs := p.pyobjs
-	names := make([]string, 0, len(objs))
-	for name := range objs {
-		names = append(names, name)
-	}
-	sort.Strings(names)
-
-	mods := make(map[string][]PyObjRef)
-	modNames := make([]string, 0, 8)
-	lastMod := ""
-	for _, name := range names {
-		modName := modOf(name)
-		mods[modName] = append(mods[modName], objs[name])
-		if modName != lastMod {
-			modNames = append(modNames, modName)
-			lastMod = modName
-		}
-	}
-
-	for _, modName := range modNames {
-		objs := mods[modName]
-		b.PyLoadModSyms(modName, objs...)
-	}
-}
-
-func modOf(name string) string {
-	if pos := strings.LastIndexByte(name, '.'); pos > 0 {
-		return name[:pos]
-	}
-	panic("unreachable")
-}
-
-// -----------------------------------------------------------------------------

ssa/eh.go

@@ -0,0 +1,286 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 ssa
+
+// #include <setjmp.h>
+import "C"
+
+import (
+	"go/token"
+	"go/types"
+	"unsafe"
+
+	"github.com/goplus/llvm"
+)
+
+// -----------------------------------------------------------------------------
+
+type sigjmpbuf = C.sigjmp_buf
+
+// func(env unsafe.Pointer, savemask c.Int) c.Int
+func (p Program) tySigsetjmp() *types.Signature {
+	if p.sigsetjmpTy == nil {
+		paramPtr := types.NewParam(token.NoPos, nil, "", p.VoidPtr().raw.Type)
+		paramCInt := types.NewParam(token.NoPos, nil, "", p.CInt().raw.Type)
+		params := types.NewTuple(paramPtr, paramCInt)
+		results := types.NewTuple(paramCInt)
+		p.sigsetjmpTy = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.sigsetjmpTy
+}
+
+// func(env unsafe.Pointer, retval c.Int)
+func (p Program) tySiglongjmp() *types.Signature {
+	if p.sigljmpTy == nil {
+		paramPtr := types.NewParam(token.NoPos, nil, "", p.VoidPtr().raw.Type)
+		paramCInt := types.NewParam(token.NoPos, nil, "", p.CInt().raw.Type)
+		params := types.NewTuple(paramPtr, paramCInt)
+		p.sigljmpTy = types.NewSignatureType(nil, nil, nil, params, nil, false)
+	}
+	return p.sigljmpTy
+}
+
+func (b Builder) AllocaSigjmpBuf() Expr {
+	prog := b.Prog
+	n := unsafe.Sizeof(sigjmpbuf{})
+	size := prog.IntVal(uint64(n), prog.Uintptr())
+	return b.Alloca(size)
+}
+
+func (b Builder) Sigsetjmp(jb, savemask Expr) Expr {
+	fn := b.Pkg.cFunc("sigsetjmp", b.Prog.tySigsetjmp())
+	return b.Call(fn, jb, savemask)
+}
+
+func (b Builder) Siglongjmp(jb, retval Expr) {
+	fn := b.Pkg.cFunc("siglongjmp", b.Prog.tySiglongjmp()) // TODO(xsw): mark as noreturn
+	b.Call(fn, jb, retval)
+	// b.Unreachable()
+}
+
+// -----------------------------------------------------------------------------
+
+const (
+	deferKey = "__llgo_defer"
+)
+
+func (p Function) deferInitBuilder() (b Builder, next BasicBlock) {
+	b = p.NewBuilder()
+	next = b.setBlockMoveLast(p.blks[0])
+	return
+}
+
+type aDefer struct {
+	nextBit  int          // next defer bit
+	key      Expr         // pthread TLS key
+	data     Expr         // pointer to runtime.Defer
+	bitsPtr  Expr         // pointer to defer bits
+	rundPtr  Expr         // pointer to RunDefers index
+	procBlk  BasicBlock   // deferProc block
+	runsNext []BasicBlock // next blocks of RunDefers
+	stmts    []func(bits Expr)
+}
+
+func (p Package) keyInit(name string) {
+	keyVar := p.VarOf(name)
+	if keyVar == nil {
+		return
+	}
+	prog := p.Prog
+	keyNil := prog.Nil(prog.CIntPtr())
+	keyVar.Init(keyNil)
+	keyVar.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
+
+	b := p.afterBuilder()
+	eq := b.BinOp(token.EQL, b.Load(keyVar.Expr), prog.IntVal(0, prog.CInt()))
+	b.IfThen(eq, func() {
+		b.pthreadKeyCreate(keyVar.Expr, prog.Nil(prog.VoidPtr()))
+	})
+}
+
+func (p Package) newKey(name string) Global {
+	return p.NewVarEx(name, p.Prog.CIntPtr())
+}
+
+func (b Builder) deferKey() Expr {
+	return b.Load(b.Pkg.newKey(deferKey).Expr)
+}
+
+const (
+	// 0: addr sigjmpbuf
+	// 1: bits uintptr
+	// 2: link *Defer
+	// 3: rund voidptr
+	deferSigjmpbuf = iota
+	deferBits
+	deferLink
+	deferRund
+)
+
+func (b Builder) getDefer(kind DoAction) *aDefer {
+	self := b.Func
+	if self.defer_ == nil {
+		// TODO(xsw): check if in pkg.init
+		var next, rundBlk BasicBlock
+		if kind != DeferAlways {
+			b, next = self.deferInitBuilder()
+		}
+		prog := b.Prog
+		key := b.deferKey()
+		zero := prog.Val(uintptr(0))
+		link := Expr{b.pthreadGetspecific(key).impl, prog.DeferPtr()}
+		jb := b.AllocaSigjmpBuf()
+		ptr := b.aggregateAlloca(prog.Defer(), jb.impl, zero.impl, link.impl)
+		deferData := Expr{ptr, prog.DeferPtr()}
+		b.pthreadSetspecific(key, deferData)
+		blks := self.MakeBlocks(2)
+		procBlk, rethrowBlk := blks[0], blks[1]
+		bitsPtr := b.FieldAddr(deferData, deferBits)
+		rundPtr := b.FieldAddr(deferData, deferRund)
+		self.defer_ = &aDefer{
+			key:      key,
+			data:     deferData,
+			bitsPtr:  bitsPtr,
+			rundPtr:  rundPtr,
+			procBlk:  procBlk,
+			runsNext: []BasicBlock{rethrowBlk},
+		}
+		czero := prog.IntVal(0, prog.CInt())
+		retval := b.Sigsetjmp(jb, czero)
+		if kind != DeferAlways {
+			rundBlk = self.MakeBlock()
+		} else {
+			blks = self.MakeBlocks(2)
+			next, rundBlk = blks[0], blks[1]
+		}
+		b.If(b.BinOp(token.EQL, retval, czero), next, rundBlk)
+		b.SetBlockEx(rundBlk, AtEnd, false) // exec runDefers and rethrow
+		b.Store(rundPtr, rethrowBlk.Addr())
+		b.Jump(procBlk)
+
+		b.SetBlockEx(rethrowBlk, AtEnd, false) // rethrow
+		b.Call(b.Pkg.rtFunc("Rethrow"), link)
+		b.Unreachable() // TODO: func supports noreturn attribute
+
+		if kind == DeferAlways {
+			b.SetBlockEx(next, AtEnd, false)
+			b.blk.last = next.last
+		}
+	}
+	return self.defer_
+}
+
+// DeferData returns the defer data (*runtime.Defer).
+func (b Builder) DeferData() Expr {
+	key := b.deferKey()
+	return Expr{b.pthreadGetspecific(key).impl, b.Prog.DeferPtr()}
+}
+
+// Defer emits a defer instruction.
+func (b Builder) Defer(kind DoAction, fn Expr, args ...Expr) {
+	if debugInstr {
+		logCall("Defer", fn, args)
+	}
+	var prog Program
+	var nextbit Expr
+	var self = b.getDefer(kind)
+	switch kind {
+	case DeferInCond:
+		prog = b.Prog
+		next := self.nextBit
+		self.nextBit++
+		bits := b.Load(self.bitsPtr)
+		nextbit = prog.Val(uintptr(1 << next))
+		b.Store(self.bitsPtr, b.BinOp(token.OR, bits, nextbit))
+	case DeferAlways:
+		// nothing to do
+	default:
+		panic("todo: DeferInLoop is not supported")
+	}
+	self.stmts = append(self.stmts, func(bits Expr) {
+		switch kind {
+		case DeferInCond:
+			zero := prog.Val(uintptr(0))
+			has := b.BinOp(token.NEQ, b.BinOp(token.AND, bits, nextbit), zero)
+			b.IfThen(has, func() {
+				b.Call(fn, args...)
+			})
+		case DeferAlways:
+			b.Call(fn, args...)
+		}
+	})
+}
+
+// RunDefers emits instructions to run deferred instructions.
+func (b Builder) RunDefers() {
+	self := b.getDefer(DeferInCond)
+	blk := b.Func.MakeBlock()
+	self.runsNext = append(self.runsNext, blk)
+
+	b.Store(self.rundPtr, blk.Addr())
+	b.Jump(self.procBlk)
+
+	b.SetBlockEx(blk, AtEnd, false)
+	b.blk.last = blk.last
+}
+
+func (p Function) endDefer(b Builder) {
+	self := p.defer_
+	if self == nil {
+		return
+	}
+	nexts := self.runsNext
+	if len(nexts) == 0 {
+		return
+	}
+	b.SetBlockEx(self.procBlk, AtEnd, true)
+	bits := b.Load(self.bitsPtr)
+	stmts := self.stmts
+	for i := len(stmts) - 1; i >= 0; i-- {
+		stmts[i](bits)
+	}
+
+	link := b.getField(b.Load(self.data), deferLink)
+	b.pthreadSetspecific(self.key, link)
+	b.IndirectJump(b.Load(self.rundPtr), nexts)
+}
+
+// -----------------------------------------------------------------------------
+
+// Unreachable emits an unreachable instruction.
+func (b Builder) Unreachable() {
+	b.impl.CreateUnreachable()
+}
+
+/*
+// Recover emits a recover instruction.
+func (b Builder) Recover() (v Expr) {
+	if debugInstr {
+		log.Println("Recover")
+	}
+	prog := b.Prog
+	return prog.Zero(prog.Any())
+}
+*/
+
+// Panic emits a panic instruction.
+func (b Builder) Panic(v Expr) {
+	b.Call(b.Pkg.rtFunc("Panic"), v)
+	b.Unreachable() // TODO: func supports noreturn attribute
+}
+
+// -----------------------------------------------------------------------------

ssa/expr.go

@@ -83,6 +83,7 @@ func pyVarExpr(mod Expr, name string) Expr {
 
 // -----------------------------------------------------------------------------
 
+// Zero returns a zero constant expression.
 func (p Program) Zero(t Type) Expr {
 	var ret llvm.Value
 	switch u := t.raw.Type.Underlying().(type) {
@@ -113,7 +114,6 @@ func (p Program) Zero(t Type) Expr {
 		ret = llvm.ConstStruct(flds, false)
 	case *types.Slice:
 		ret = p.Zero(p.rtType("Slice")).impl
-	/* TODO(xsw):
 	case *types.Interface:
 		var name string
 		if u.Empty() {
@@ -122,23 +122,17 @@ func (p Program) Zero(t Type) Expr {
 			name = "Iface"
 		}
 		ret = p.Zero(p.rtType(name)).impl
-	*/
 	default:
 		log.Panicln("todo:", u)
 	}
 	return Expr{ret, t}
 }
 
-// Null returns a null constant expression.
-func (p Program) Null(t Type) Expr {
+// Nil returns a null constant expression. t should be a pointer type.
+func (p Program) Nil(t Type) Expr {
 	return Expr{llvm.ConstNull(t.ll), t}
 }
 
-// PyNull returns a null *PyObject constant expression.
-func (p Program) PyNull() Expr {
-	return p.Null(p.PyObjectPtr())
-}
-
 // BoolVal returns a boolean constant expression.
 func (p Program) BoolVal(v bool) Expr {
 	t := p.Bool()
@@ -182,7 +176,7 @@ func (p Program) Val(v interface{}) Expr {
 func (b Builder) Const(v constant.Value, typ Type) Expr {
 	prog := b.Prog
 	if v == nil {
-		return prog.Null(typ)
+		return prog.Nil(typ)
 	}
 	raw := typ.raw.Type
 	switch t := raw.Underlying().(type) {
@@ -427,6 +421,22 @@ func (b Builder) BinOp(op token.Token, x, y Expr) Expr {
 				ret.impl = llvm.CreateNot(b.impl, ret.impl)
 				return ret
 			}
+		case vkIface, vkEface:
+			prog := b.Prog
+			toEface := func(x Expr, emtpy bool) Expr {
+				if emtpy {
+					return x
+				}
+				return Expr{b.unsafeEface(b.faceAbiType(x).impl, b.faceData(x.impl)), prog.rtType("Eface")}
+			}
+			switch op {
+			case token.EQL:
+				return b.InlineCall(b.Pkg.rtFunc("EfaceEqual"), toEface(x, x.kind == vkEface), toEface(y, y.kind == vkEface))
+			case token.NEQ:
+				ret := b.InlineCall(b.Pkg.rtFunc("EfaceEqual"), toEface(x, x.kind == vkEface), toEface(y, y.kind == vkEface))
+				ret.impl = llvm.CreateNot(b.impl, ret.impl)
+				return ret
+			}
 		}
 	}
 	panic("todo")

ssa/goroutine.go

@@ -86,7 +86,7 @@ func (b Builder) Go(fn Expr, args ...Expr) {
 	data := Expr{b.aggregateMalloc(t, flds...), voidPtr}
 	size := prog.SizeOf(voidPtr)
 	pthd := b.Alloca(prog.IntVal(uint64(size), prog.Uintptr()))
-	b.pthreadCreate(pthd, prog.Null(voidPtr), pkg.routine(t, len(args)), data)
+	b.pthreadCreate(pthd, prog.Nil(voidPtr), pkg.routine(t, len(args)), data)
 }
 
 func (p Package) routineName() string {
@@ -107,7 +107,7 @@ func (p Package) routine(t Type, n int) Expr {
 	}
 	b.Call(fn, args...)
 	b.free(param)
-	b.Return(prog.Null(prog.VoidPtr()))
+	b.Return(prog.Nil(prog.VoidPtr()))
 	return routine.Expr
 }
 

ssa/interface.go

@@ -234,7 +234,17 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr {
 	}
 	tx := b.faceAbiType(x)
 	tabi := b.abiType(assertedTyp.raw.Type)
-	eq := b.BinOp(token.EQL, tx, tabi)
+
+	var eq Expr
+	var val func() Expr
+	if rawIntf, ok := assertedTyp.raw.Type.Underlying().(*types.Interface); ok {
+		eq = b.InlineCall(b.Pkg.rtFunc("Implements"), tabi, tx)
+		val = func() Expr { return Expr{b.unsafeInterface(rawIntf, tx, b.faceData(x.impl)), assertedTyp} }
+	} else {
+		eq = b.BinOp(token.EQL, tx, tabi)
+		val = func() Expr { return b.valFromData(assertedTyp, b.faceData(x.impl)) }
+	}
+
 	if commaOk {
 		prog := b.Prog
 		t := prog.Struct(assertedTyp, prog.Bool())
@@ -246,8 +256,7 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr {
 		phi.AddIncoming(b, blks[:2], func(i int, blk BasicBlock) Expr {
 			b.SetBlockEx(blk, AtEnd, false)
 			if i == 0 {
-				val := b.valFromData(assertedTyp, b.faceData(x.impl))
-				valTrue := aggregateValue(b.impl, t.ll, val.impl, prog.BoolVal(true).impl)
+				valTrue := aggregateValue(b.impl, t.ll, val().impl, prog.BoolVal(true).impl)
 				b.Jump(blks[2])
 				return Expr{valTrue, t}
 			}
@@ -263,10 +272,10 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr {
 	blks := b.Func.MakeBlocks(2)
 	b.If(eq, blks[0], blks[1])
 	b.SetBlockEx(blks[1], AtEnd, false)
-	b.Panic(b.Str("type assertion failed"))
+	b.Panic(b.MakeInterface(b.Prog.Any(), b.Str("type assertion failed")))
 	b.SetBlockEx(blks[0], AtEnd, false)
 	b.blk.last = blks[0].last
-	return b.valFromData(assertedTyp, b.faceData(x.impl))
+	return val()
 }
 
 // ChangeInterface constructs a value of one interface type from a

ssa/memory.go

@@ -107,6 +107,17 @@ func aggregateInit(b llvm.Builder, ptr llvm.Value, tll llvm.Type, flds ...llvm.V
 	}
 }
 
+/*
+func (b Builder) dupMalloc(v Expr) Expr {
+	prog := b.Prog
+	n := prog.SizeOf(v.Type)
+	tptr := prog.Pointer(v.Type)
+	ptr := b.malloc(prog.Val(uintptr(n))).impl
+	b.Store(Expr{ptr, tptr}, v)
+	return Expr{ptr, tptr}
+}
+*/
+
 // -----------------------------------------------------------------------------
 
 // The Alloc instruction reserves space for a variable of the given type,

ssa/package.go

@@ -131,14 +131,16 @@ type aProgram struct {
 	rtSliceTy  llvm.Type
 	rtMapTy    llvm.Type
 
-	anyTy    Type
-	voidTy   Type
-	voidPtr  Type
-	voidPPtr Type
-	boolTy   Type
-	cstrTy   Type
-	cintTy   Type
-	//cintPtr Type
+	anyTy Type
+	//anyPtr  Type
+	//anyPPtr Type
+	voidTy    Type
+	voidPtr   Type
+	voidPPtr  Type
+	boolTy    Type
+	cstrTy    Type
+	cintTy    Type
+	cintPtr   Type
 	stringTy  Type
 	uintptrTy Type
 	intTy     Type
@@ -158,7 +160,6 @@ type aProgram struct {
 	abiTyPPtr Type
 	deferTy   Type
 	deferPtr  Type
-	deferPPtr Type
 
 	pyImpTy      *types.Signature
 	pyNewList    *types.Signature
@@ -179,7 +180,8 @@ type aProgram struct {
 	setSpecTy   *types.Signature
 	routineTy   *types.Signature
 	destructTy  *types.Signature
-	//deferFnTy *types.Signature
+	sigsetjmpTy *types.Signature
+	sigljmpTy   *types.Signature
 
 	paramObjPtr_ *types.Var
 
@@ -218,17 +220,6 @@ func NewProgram(target *Target) Program {
 	}
 }
 
-// SetPython sets the Python package.
-// Its type can be *types.Package or func() *types.Package.
-func (p Program) SetPython(py any) {
-	switch v := py.(type) {
-	case *types.Package:
-		p.py = v
-	case func() *types.Package:
-		p.pyget = v
-	}
-}
-
 // SetRuntime sets the runtime.
 // Its type can be *types.Package or func() *types.Package.
 func (p Program) SetRuntime(runtime any) {
@@ -248,25 +239,12 @@ func (p Program) runtime() *types.Package {
 	return p.rt
 }
 
-func (p Program) python() *types.Package {
-	if p.py == nil {
-		p.py = p.pyget()
-	}
-	return p.py
-}
-
 func (p Program) rtNamed(name string) *types.Named {
 	t := p.runtime().Scope().Lookup(name).Type().(*types.Named)
 	t, _ = p.gocvt.cvtNamed(t)
 	return t
 }
 
-func (p Program) pyNamed(name string) *types.Named {
-	// TODO(xsw): does python type need to convert?
-	t := p.python().Scope().Lookup(name).Type().(*types.Named)
-	return t
-}
-
 func (p Program) rtType(name string) Type {
 	return p.rawType(p.rtNamed(name))
 }
@@ -351,14 +329,6 @@ func (p Program) DeferPtr() Type {
 	return p.deferPtr
 }
 
-// DeferPtrPtr returns **runtime.Defer type.
-func (p Program) DeferPtrPtr() Type {
-	if p.deferPPtr == nil {
-		p.deferPPtr = p.Pointer(p.DeferPtr())
-	}
-	return p.deferPPtr
-}
-
 // AbiTypePtr returns *abi.Type type.
 func (p Program) AbiTypePtr() Type {
 	if p.abiTyPtr == nil {
@@ -375,23 +345,6 @@ func (p Program) AbiTypePtrPtr() Type {
 	return p.abiTyPPtr
 }
 
-// PyObjectPtrPtr returns the **py.Object type.
-func (p Program) PyObjectPtrPtr() Type {
-	if p.pyObjPPtr == nil {
-		p.pyObjPPtr = p.Pointer(p.PyObjectPtr())
-	}
-	return p.pyObjPPtr
-}
-
-// PyObjectPtr returns the *py.Object type.
-func (p Program) PyObjectPtr() Type {
-	if p.pyObjPtr == nil {
-		objPtr := types.NewPointer(p.pyNamed("Object"))
-		p.pyObjPtr = p.rawType(objPtr)
-	}
-	return p.pyObjPtr
-}
-
 // Void returns void type.
 func (p Program) Void() Type {
 	if p.voidTy == nil {
@@ -400,6 +353,7 @@ func (p Program) Void() Type {
 	return p.voidTy
 }
 
+// VoidPtr returns *void type.
 func (p Program) VoidPtr() Type {
 	if p.voidPtr == nil {
 		p.voidPtr = p.rawType(types.Typ[types.UnsafePointer])
@@ -407,6 +361,7 @@ func (p Program) VoidPtr() Type {
 	return p.voidPtr
 }
 
+// VoidPtrPtr returns **void type.
 func (p Program) VoidPtrPtr() Type {
 	if p.voidPPtr == nil {
 		p.voidPPtr = p.rawType(types.NewPointer(types.Typ[types.UnsafePointer]))
@@ -422,6 +377,7 @@ func (p Program) Bool() Type {
 	return p.boolTy
 }
 
+// CStr returns *int8 type.
 func (p Program) CStr() Type {
 	if p.cstrTy == nil { // *int8
 		p.cstrTy = p.rawType(types.NewPointer(types.Typ[types.Int8]))
@@ -429,6 +385,7 @@ func (p Program) CStr() Type {
 	return p.cstrTy
 }
 
+// String returns string type.
 func (p Program) String() Type {
 	if p.stringTy == nil {
 		p.stringTy = p.rawType(types.Typ[types.String])
@@ -436,6 +393,24 @@ func (p Program) String() Type {
 	return p.stringTy
 }
 
+/*
+// AnyPtrPtr returns **any type.
+func (p Program) AnyPtrPtr() Type {
+	if p.anyPPtr == nil {
+		p.anyPPtr = p.Pointer(p.AnyPtr())
+	}
+	return p.anyPPtr
+}
+
+// AnyPtr returns *any type.
+func (p Program) AnyPtr() Type {
+	if p.anyPtr == nil {
+		p.anyPtr = p.Pointer(p.Any())
+	}
+	return p.anyPtr
+}
+*/
+
 // Any returns the any (empty interface) type.
 func (p Program) Any() Type {
 	if p.anyTy == nil {
@@ -450,6 +425,7 @@ func (p Program) Any() Type {
 func (p Program) Eface() Type {
 	return p.Any()
 }
+*/
 
 // CIntPtr returns *c.Int type.
 func (p Program) CIntPtr() Type {
@@ -458,7 +434,6 @@ func (p Program) CIntPtr() Type {
 	}
 	return p.cintPtr
 }
-*/
 
 // CInt returns c.Int type.
 func (p Program) CInt() Type {
@@ -587,15 +562,10 @@ func (p Package) cFunc(fullName string, sig *types.Signature) Expr {
 	return p.NewFunc(fullName, sig, InC).Expr
 }
 
-func (p Package) pyFunc(fullName string, sig *types.Signature) Expr {
-	p.Prog.NeedPyInit = true
-	return p.NewFunc(fullName, sig, InC).Expr
-}
-
 func (p Package) closureStub(b Builder, t *types.Struct, v Expr) Expr {
 	name := v.impl.Name()
 	prog := b.Prog
-	nilVal := prog.Null(prog.VoidPtr()).impl
+	nilVal := prog.Nil(prog.VoidPtr()).impl
 	if fn, ok := p.stubs[name]; ok {
 		v = fn.Expr
 	} else {
@@ -650,7 +620,7 @@ func (p Package) afterBuilder() Builder {
 
 // AfterInit is called after the package is initialized (init all packages that depends on).
 func (p Package) AfterInit(b Builder, ret BasicBlock) {
-	p.deferInit()
+	p.keyInit(deferKey)
 	doAfterb := p.afterb != nil
 	doPyLoadModSyms := p.pyHasModSyms()
 	if doAfterb || doPyLoadModSyms {
@@ -709,265 +679,3 @@ func (p *Package) WriteFile(file string) (err error) {
 */
 
 // -----------------------------------------------------------------------------
-
-func (p Program) paramObjPtr() *types.Var {
-	if p.paramObjPtr_ == nil {
-		objPtr := p.PyObjectPtr().raw.Type
-		p.paramObjPtr_ = types.NewParam(token.NoPos, nil, "", objPtr)
-	}
-	return p.paramObjPtr_
-}
-
-// func(*char) *Object
-func (p Program) tyImportPyModule() *types.Signature {
-	if p.pyImpTy == nil {
-		charPtr := types.NewPointer(types.Typ[types.Int8])
-		params := types.NewTuple(types.NewParam(token.NoPos, nil, "", charPtr))
-		results := types.NewTuple(p.paramObjPtr())
-		p.pyImpTy = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.pyImpTy
-}
-
-// func(*Object) *Object
-func (p Program) tyCallNoArgs() *types.Signature {
-	if p.callNoArgs == nil {
-		params := types.NewTuple(p.paramObjPtr())
-		p.callNoArgs = types.NewSignatureType(nil, nil, nil, params, params, false)
-	}
-	return p.callNoArgs
-}
-
-// func(*Object, *Object) *Object
-func (p Program) tyCallOneArg() *types.Signature {
-	if p.callOneArg == nil {
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, paramObjPtr)
-		results := types.NewTuple(paramObjPtr)
-		p.callOneArg = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.callOneArg
-}
-
-// func(*Object, ...) *Object
-func (p Program) tyCallFunctionObjArgs() *types.Signature {
-	if p.callFOArgs == nil {
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, VArg())
-		results := types.NewTuple(paramObjPtr)
-		p.callFOArgs = types.NewSignatureType(nil, nil, nil, params, results, true)
-	}
-	return p.callFOArgs
-}
-
-/*
-// func(*Object, *Object, *Object) *Object
-func (p Program) tyCall() *types.Signature {
-	if p.callArgs == nil {
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, paramObjPtr, paramObjPtr)
-		results := types.NewTuple(paramObjPtr)
-		p.callArgs = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.callArgs
-}
-*/
-
-// func(*Object, uintptr, *Object) cint
-func (p Program) tyListSetItem() *types.Signature {
-	if p.pyListSetI == nil {
-		paramUintptr := types.NewParam(token.NoPos, nil, "", p.Uintptr().raw.Type)
-		paramCInt := types.NewParam(token.NoPos, nil, "", p.CInt().raw.Type)
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, paramUintptr, paramObjPtr)
-		results := types.NewTuple(paramCInt)
-		p.pyListSetI = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.pyListSetI
-}
-
-// func(uintptr) *Object
-func (p Program) tyNewList() *types.Signature {
-	if p.pyNewList == nil {
-		paramUintptr := types.NewParam(token.NoPos, nil, "", p.Uintptr().raw.Type)
-		params := types.NewTuple(paramUintptr)
-		results := types.NewTuple(p.paramObjPtr())
-		p.pyNewList = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.pyNewList
-}
-
-// func(float64) *Object
-func (p Program) tyFloatFromDouble() *types.Signature {
-	if p.floatFromDbl == nil {
-		paramObjPtr := p.paramObjPtr()
-		paramFloat := types.NewParam(token.NoPos, nil, "", p.Float64().raw.Type)
-		params := types.NewTuple(paramFloat)
-		results := types.NewTuple(paramObjPtr)
-		p.floatFromDbl = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.floatFromDbl
-}
-
-// func(*Object, ...)
-func (p Program) tyLoadPyModSyms() *types.Signature {
-	if p.loadPyModS == nil {
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, VArg())
-		p.loadPyModS = types.NewSignatureType(nil, nil, nil, params, nil, true)
-	}
-	return p.loadPyModS
-}
-
-// func(*Objecg, *char) *Object
-func (p Program) tyGetAttrString() *types.Signature {
-	if p.getAttrStr == nil {
-		charPtr := types.NewPointer(types.Typ[types.Int8])
-		paramObjPtr := p.paramObjPtr()
-		params := types.NewTuple(paramObjPtr, types.NewParam(token.NoPos, nil, "", charPtr))
-		results := types.NewTuple(paramObjPtr)
-		p.getAttrStr = types.NewSignatureType(nil, nil, nil, params, results, false)
-	}
-	return p.getAttrStr
-}
-
-// PyInit initializes Python for a main package.
-func (p Package) PyInit() bool {
-	if fn := p.FuncOf("main"); fn != nil {
-		b := fn.NewBuilder()
-		b.SetBlockEx(fn.Block(0), AtStart, false).callPyInit()
-		b.Dispose()
-		return true
-	}
-	return false
-}
-
-// PyNewModVar creates a new global variable for a Python module.
-func (p Package) PyNewModVar(name string, doInit bool) Global {
-	if v, ok := p.pymods[name]; ok {
-		return v
-	}
-	prog := p.Prog
-	objPtr := prog.PyObjectPtrPtr().raw.Type
-	g := p.NewVar(name, objPtr, InC)
-	if doInit {
-		g.Init(prog.Null(g.Type))
-		g.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
-	}
-	p.pymods[name] = g
-	return g
-}
-
-// PyImportMod imports a Python module.
-func (b Builder) PyImportMod(path string) Expr {
-	fnImp := b.Pkg.pyFunc("PyImport_ImportModule", b.Prog.tyImportPyModule())
-	return b.Call(fnImp, b.CStr(path))
-}
-
-// PyLoadModSyms loads python objects from specified module.
-func (b Builder) PyLoadModSyms(modName string, objs ...PyObjRef) Expr {
-	pkg := b.Pkg
-	fnLoad := pkg.pyFunc("llgoLoadPyModSyms", b.Prog.tyLoadPyModSyms())
-	modPtr := pkg.PyNewModVar(modName, false).Expr
-	mod := b.Load(modPtr)
-	args := make([]Expr, 1, len(objs)*2+2)
-	args[0] = mod
-	nbase := len(modName) + 1
-	for _, o := range objs {
-		fullName := o.impl.Name()
-		name := fullName[nbase:]
-		args = append(args, b.CStr(name))
-		args = append(args, o.Expr)
-	}
-	prog := b.Prog
-	args = append(args, prog.Null(prog.CStr()))
-	return b.Call(fnLoad, args...)
-}
-
-func (b Builder) pyCall(fn Expr, args []Expr) (ret Expr) {
-	prog := b.Prog
-	pkg := b.Pkg
-	fn = b.Load(fn)
-	sig := fn.raw.Type.(*types.Signature)
-	params := sig.Params()
-	n := params.Len()
-	switch n {
-	case 0:
-		call := pkg.pyFunc("PyObject_CallNoArgs", prog.tyCallNoArgs())
-		ret = b.Call(call, fn)
-	case 1:
-		if !sig.Variadic() {
-			call := pkg.pyFunc("PyObject_CallOneArg", prog.tyCallOneArg())
-			return b.Call(call, fn, args[0])
-		}
-		fallthrough
-	default:
-		call := pkg.pyFunc("PyObject_CallFunctionObjArgs", prog.tyCallFunctionObjArgs())
-		n = len(args)
-		callargs := make([]Expr, n+2)
-		callargs[0] = fn
-		copy(callargs[1:], args)
-		callargs[n+1] = prog.PyNull()
-		ret = b.Call(call, callargs...)
-	}
-	return
-}
-
-// PyNewList(n uintptr) *Object
-func (b Builder) PyNewList(n Expr) (ret Expr) {
-	prog := b.Prog
-	fn := b.Pkg.pyFunc("PyList_New", prog.tyNewList())
-	return b.Call(fn, n)
-}
-
-// PyListSetItem(list *Object, index uintptr, item *Object) c.Int
-func (b Builder) PyListSetItem(list, index, item Expr) (ret Expr) {
-	prog := b.Prog
-	fn := b.Pkg.pyFunc("PyList_SetItem", prog.tyListSetItem())
-	return b.Call(fn, list, index, item)
-}
-
-// PyList(args ...Expr) *Object
-func (b Builder) PyList(args ...Expr) (ret Expr) {
-	prog := b.Prog
-	n := len(args)
-	uintPtr := prog.Uintptr()
-	list := b.PyNewList(prog.IntVal(uint64(n), uintPtr))
-	for i, arg := range args {
-		b.PyListSetItem(list, prog.IntVal(uint64(i), uintPtr), b.PyVal(arg))
-	}
-	return list
-}
-
-// PyVal(v any) *Object
-func (b Builder) PyVal(v Expr) (ret Expr) {
-	switch t := v.raw.Type.(type) {
-	case *types.Basic:
-		switch t.Kind() {
-		case types.Float64:
-			return b.PyFloat(v)
-		default:
-			panic("PyVal: todo")
-		}
-	default:
-		return v
-	}
-}
-
-// PyFloat(fltVal float64) *Object
-func (b Builder) PyFloat(fltVal Expr) (ret Expr) {
-	fn := b.Pkg.pyFunc("PyFloat_FromDouble", b.Prog.tyFloatFromDouble())
-	return b.Call(fn, fltVal)
-}
-
-// callPyInit calls Py_Initialize.
-func (b Builder) callPyInit() (ret Expr) {
-	fn := b.Pkg.pyFunc("Py_Initialize", NoArgsNoRet)
-	return b.Call(fn)
-}
-
-var (
-	NoArgsNoRet = types.NewSignatureType(nil, nil, nil, nil, nil, false)
-)
-
-// -----------------------------------------------------------------------------

ssa/python.go

@@ -0,0 +1,428 @@
+/*
+ * Copyright (c) 2024 The GoPlus Authors (goplus.org). 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 ssa
+
+import (
+	"go/token"
+	"go/types"
+	"sort"
+	"strings"
+
+	"github.com/goplus/llvm"
+)
+
+// -----------------------------------------------------------------------------
+
+// PyObjectPtrPtr returns the **py.Object type.
+func (p Program) PyObjectPtrPtr() Type {
+	if p.pyObjPPtr == nil {
+		p.pyObjPPtr = p.Pointer(p.PyObjectPtr())
+	}
+	return p.pyObjPPtr
+}
+
+// PyObjectPtr returns the *py.Object type.
+func (p Program) PyObjectPtr() Type {
+	if p.pyObjPtr == nil {
+		objPtr := types.NewPointer(p.pyNamed("Object"))
+		p.pyObjPtr = p.rawType(objPtr)
+	}
+	return p.pyObjPtr
+}
+
+func (p Program) pyNamed(name string) *types.Named {
+	// TODO(xsw): does python type need to convert?
+	t := p.python().Scope().Lookup(name).Type().(*types.Named)
+	return t
+}
+
+func (p Program) python() *types.Package {
+	if p.py == nil {
+		p.py = p.pyget()
+	}
+	return p.py
+}
+
+// SetPython sets the Python package.
+// Its type can be *types.Package or func() *types.Package.
+func (p Program) SetPython(py any) {
+	switch v := py.(type) {
+	case *types.Package:
+		p.py = v
+	case func() *types.Package:
+		p.pyget = v
+	}
+}
+
+// -----------------------------------------------------------------------------
+
+func (p Package) pyFunc(fullName string, sig *types.Signature) Expr {
+	p.Prog.NeedPyInit = true
+	return p.NewFunc(fullName, sig, InC).Expr
+}
+
+func (p Program) paramObjPtr() *types.Var {
+	if p.paramObjPtr_ == nil {
+		objPtr := p.PyObjectPtr().raw.Type
+		p.paramObjPtr_ = types.NewParam(token.NoPos, nil, "", objPtr)
+	}
+	return p.paramObjPtr_
+}
+
+// func(*char) *Object
+func (p Program) tyImportPyModule() *types.Signature {
+	if p.pyImpTy == nil {
+		charPtr := types.NewPointer(types.Typ[types.Int8])
+		params := types.NewTuple(types.NewParam(token.NoPos, nil, "", charPtr))
+		results := types.NewTuple(p.paramObjPtr())
+		p.pyImpTy = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.pyImpTy
+}
+
+// func(*Object) *Object
+func (p Program) tyCallNoArgs() *types.Signature {
+	if p.callNoArgs == nil {
+		params := types.NewTuple(p.paramObjPtr())
+		p.callNoArgs = types.NewSignatureType(nil, nil, nil, params, params, false)
+	}
+	return p.callNoArgs
+}
+
+// func(*Object, *Object) *Object
+func (p Program) tyCallOneArg() *types.Signature {
+	if p.callOneArg == nil {
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, paramObjPtr)
+		results := types.NewTuple(paramObjPtr)
+		p.callOneArg = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.callOneArg
+}
+
+// func(*Object, ...) *Object
+func (p Program) tyCallFunctionObjArgs() *types.Signature {
+	if p.callFOArgs == nil {
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, VArg())
+		results := types.NewTuple(paramObjPtr)
+		p.callFOArgs = types.NewSignatureType(nil, nil, nil, params, results, true)
+	}
+	return p.callFOArgs
+}
+
+/*
+// func(*Object, *Object, *Object) *Object
+func (p Program) tyCall() *types.Signature {
+	if p.callArgs == nil {
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, paramObjPtr, paramObjPtr)
+		results := types.NewTuple(paramObjPtr)
+		p.callArgs = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.callArgs
+}
+*/
+
+// func(*Object, uintptr, *Object) cint
+func (p Program) tyListSetItem() *types.Signature {
+	if p.pyListSetI == nil {
+		paramUintptr := types.NewParam(token.NoPos, nil, "", p.Uintptr().raw.Type)
+		paramCInt := types.NewParam(token.NoPos, nil, "", p.CInt().raw.Type)
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, paramUintptr, paramObjPtr)
+		results := types.NewTuple(paramCInt)
+		p.pyListSetI = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.pyListSetI
+}
+
+// func(uintptr) *Object
+func (p Program) tyNewList() *types.Signature {
+	if p.pyNewList == nil {
+		paramUintptr := types.NewParam(token.NoPos, nil, "", p.Uintptr().raw.Type)
+		params := types.NewTuple(paramUintptr)
+		results := types.NewTuple(p.paramObjPtr())
+		p.pyNewList = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.pyNewList
+}
+
+// func(float64) *Object
+func (p Program) tyFloatFromDouble() *types.Signature {
+	if p.floatFromDbl == nil {
+		paramObjPtr := p.paramObjPtr()
+		paramFloat := types.NewParam(token.NoPos, nil, "", p.Float64().raw.Type)
+		params := types.NewTuple(paramFloat)
+		results := types.NewTuple(paramObjPtr)
+		p.floatFromDbl = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.floatFromDbl
+}
+
+// func(*Object, ...)
+func (p Program) tyLoadPyModSyms() *types.Signature {
+	if p.loadPyModS == nil {
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, VArg())
+		p.loadPyModS = types.NewSignatureType(nil, nil, nil, params, nil, true)
+	}
+	return p.loadPyModS
+}
+
+// func(*Objecg, *char) *Object
+func (p Program) tyGetAttrString() *types.Signature {
+	if p.getAttrStr == nil {
+		charPtr := types.NewPointer(types.Typ[types.Int8])
+		paramObjPtr := p.paramObjPtr()
+		params := types.NewTuple(paramObjPtr, types.NewParam(token.NoPos, nil, "", charPtr))
+		results := types.NewTuple(paramObjPtr)
+		p.getAttrStr = types.NewSignatureType(nil, nil, nil, params, results, false)
+	}
+	return p.getAttrStr
+}
+
+// PyInit initializes Python for a main package.
+func (p Package) PyInit() bool {
+	if fn := p.FuncOf("main"); fn != nil {
+		b := fn.NewBuilder()
+		b.SetBlockEx(fn.Block(0), AtStart, false)
+		b.callPyInit()
+		b.Dispose()
+		return true
+	}
+	return false
+}
+
+// PyNewModVar creates a new global variable for a Python module.
+func (p Package) PyNewModVar(name string, doInit bool) Global {
+	if v, ok := p.pymods[name]; ok {
+		return v
+	}
+	prog := p.Prog
+	objPtr := prog.PyObjectPtrPtr().raw.Type
+	g := p.NewVar(name, objPtr, InC)
+	if doInit {
+		g.Init(prog.Nil(g.Type))
+		g.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
+	}
+	p.pymods[name] = g
+	return g
+}
+
+// PyImportMod imports a Python module.
+func (b Builder) PyImportMod(path string) Expr {
+	fnImp := b.Pkg.pyFunc("PyImport_ImportModule", b.Prog.tyImportPyModule())
+	return b.Call(fnImp, b.CStr(path))
+}
+
+// PyLoadModSyms loads python objects from specified module.
+func (b Builder) PyLoadModSyms(modName string, objs ...PyObjRef) Expr {
+	pkg := b.Pkg
+	fnLoad := pkg.pyFunc("llgoLoadPyModSyms", b.Prog.tyLoadPyModSyms())
+	modPtr := pkg.PyNewModVar(modName, false).Expr
+	mod := b.Load(modPtr)
+	args := make([]Expr, 1, len(objs)*2+2)
+	args[0] = mod
+	nbase := len(modName) + 1
+	for _, o := range objs {
+		fullName := o.impl.Name()
+		name := fullName[nbase:]
+		args = append(args, b.CStr(name))
+		args = append(args, o.Expr)
+	}
+	prog := b.Prog
+	args = append(args, prog.Nil(prog.CStr()))
+	return b.Call(fnLoad, args...)
+}
+
+func (b Builder) pyCall(fn Expr, args []Expr) (ret Expr) {
+	prog := b.Prog
+	pkg := b.Pkg
+	fn = b.Load(fn)
+	sig := fn.raw.Type.(*types.Signature)
+	params := sig.Params()
+	n := params.Len()
+	switch n {
+	case 0:
+		call := pkg.pyFunc("PyObject_CallNoArgs", prog.tyCallNoArgs())
+		ret = b.Call(call, fn)
+	case 1:
+		if !sig.Variadic() {
+			call := pkg.pyFunc("PyObject_CallOneArg", prog.tyCallOneArg())
+			return b.Call(call, fn, args[0])
+		}
+		fallthrough
+	default:
+		call := pkg.pyFunc("PyObject_CallFunctionObjArgs", prog.tyCallFunctionObjArgs())
+		n = len(args)
+		callargs := make([]Expr, n+2)
+		callargs[0] = fn
+		copy(callargs[1:], args)
+		callargs[n+1] = prog.Nil(prog.PyObjectPtr())
+		ret = b.Call(call, callargs...)
+	}
+	return
+}
+
+// PyNewList(n uintptr) *Object
+func (b Builder) PyNewList(n Expr) (ret Expr) {
+	prog := b.Prog
+	fn := b.Pkg.pyFunc("PyList_New", prog.tyNewList())
+	return b.Call(fn, n)
+}
+
+// PyListSetItem(list *Object, index uintptr, item *Object) c.Int
+func (b Builder) PyListSetItem(list, index, item Expr) (ret Expr) {
+	prog := b.Prog
+	fn := b.Pkg.pyFunc("PyList_SetItem", prog.tyListSetItem())
+	return b.Call(fn, list, index, item)
+}
+
+// PyList(args ...Expr) *Object
+func (b Builder) PyList(args ...Expr) (ret Expr) {
+	prog := b.Prog
+	n := len(args)
+	uintPtr := prog.Uintptr()
+	list := b.PyNewList(prog.IntVal(uint64(n), uintPtr))
+	for i, arg := range args {
+		b.PyListSetItem(list, prog.IntVal(uint64(i), uintPtr), b.PyVal(arg))
+	}
+	return list
+}
+
+// PyVal(v any) *Object
+func (b Builder) PyVal(v Expr) (ret Expr) {
+	switch t := v.raw.Type.(type) {
+	case *types.Basic:
+		switch t.Kind() {
+		case types.Float64:
+			return b.PyFloat(v)
+		default:
+			panic("PyVal: todo")
+		}
+	default:
+		return v
+	}
+}
+
+// PyFloat(fltVal float64) *Object
+func (b Builder) PyFloat(fltVal Expr) (ret Expr) {
+	fn := b.Pkg.pyFunc("PyFloat_FromDouble", b.Prog.tyFloatFromDouble())
+	return b.Call(fn, fltVal)
+}
+
+// callPyInit calls Py_Initialize.
+func (b Builder) callPyInit() (ret Expr) {
+	fn := b.Pkg.pyFunc("Py_Initialize", NoArgsNoRet)
+	return b.Call(fn)
+}
+
+// -----------------------------------------------------------------------------
+
+type aPyGlobal struct {
+	Expr
+}
+
+type PyGlobal = *aPyGlobal
+
+// PyNewVar creates a Python variable.
+func (b Builder) PyNewVar(modName, name string) PyGlobal {
+	modPtr := b.Pkg.PyNewModVar(modName, false).Expr
+	mod := b.Load(modPtr)
+	return &aPyGlobal{pyVarExpr(mod, name)}
+}
+
+func (b Builder) pyLoad(ptr Expr) Expr {
+	t := ptr.raw.Type.(*pyVarTy)
+	fn := b.Pkg.pyFunc("PyObject_GetAttrString", b.Prog.tyGetAttrString())
+	return b.Call(fn, t.mod, b.CStr(t.name))
+}
+
+// -----------------------------------------------------------------------------
+
+type aPyObjRef struct {
+	Expr
+	Obj Global
+}
+
+// PyObjRef represents a python object reference.
+type PyObjRef = *aPyObjRef
+
+// PyNewFunc creates a new python function.
+func (p Package) PyNewFunc(name string, sig *types.Signature, doInit bool) PyObjRef {
+	if v, ok := p.pyobjs[name]; ok {
+		return v
+	}
+	prog := p.Prog
+	obj := p.NewVar(name, prog.PyObjectPtrPtr().RawType(), InC)
+	if doInit {
+		prog.NeedPyInit = true
+		obj.Init(prog.Nil(obj.Type))
+		obj.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
+	}
+	ty := &aType{obj.ll, rawType{types.NewPointer(sig)}, vkPyFuncRef}
+	expr := Expr{obj.impl, ty}
+	ret := &aPyObjRef{expr, obj}
+	p.pyobjs[name] = ret
+	return ret
+}
+
+// PyObjOf returns a python object by name.
+func (p Package) PyObjOf(name string) PyObjRef {
+	return p.pyobjs[name]
+}
+
+func (p Package) pyHasModSyms() bool {
+	return len(p.pyobjs) > 0
+}
+
+// pyLoadModSyms loads module symbols used in this package.
+func (p Package) pyLoadModSyms(b Builder) {
+	objs := p.pyobjs
+	names := make([]string, 0, len(objs))
+	for name := range objs {
+		names = append(names, name)
+	}
+	sort.Strings(names)
+
+	mods := make(map[string][]PyObjRef)
+	modNames := make([]string, 0, 8)
+	lastMod := ""
+	for _, name := range names {
+		modName := modOf(name)
+		mods[modName] = append(mods[modName], objs[name])
+		if modName != lastMod {
+			modNames = append(modNames, modName)
+			lastMod = modName
+		}
+	}
+
+	for _, modName := range modNames {
+		objs := mods[modName]
+		b.PyLoadModSyms(modName, objs...)
+	}
+}
+
+func modOf(name string) string {
+	if pos := strings.LastIndexByte(name, '.'); pos > 0 {
+		return name[:pos]
+	}
+	panic("unreachable")
+}
+
+// -----------------------------------------------------------------------------

ssa/stmt_builder.go

@@ -19,7 +19,6 @@ package ssa
 import (
 	"bytes"
 	"fmt"
-	"go/token"
 	"go/types"
 	"log"
 	"strings"
@@ -49,6 +48,12 @@ func (p BasicBlock) Index() int {
 	return p.idx
 }
 
+// Addr returns the address of the basic block.
+func (p BasicBlock) Addr() Expr {
+	fn := p.fn
+	return Expr{llvm.BlockAddress(fn.impl, p.first), fn.Prog.VoidPtr()}
+}
+
 // -----------------------------------------------------------------------------
 
 type aBuilder struct {
@@ -81,6 +86,21 @@ func (b Builder) SetBlock(blk BasicBlock) Builder {
 	return b
 }
 
+func (b Builder) setBlockMoveLast(blk BasicBlock) (next BasicBlock) {
+	blkLast := blk.last
+	last := blkLast.LastInstruction()
+	last.RemoveFromParentAsInstruction()
+
+	impl := b.impl
+
+	next = b.Func.MakeBlock()
+	impl.SetInsertPointAtEnd(next.last)
+	impl.Insert(last)
+
+	impl.SetInsertPointAtEnd(blkLast)
+	return
+}
+
 type InsertPoint int
 
 const (
@@ -91,7 +111,7 @@ const (
 )
 
 // SetBlockEx sets blk as current basic block and pos as its insert point.
-func (b Builder) SetBlockEx(blk BasicBlock, pos InsertPoint, setBlk bool) Builder {
+func (b Builder) SetBlockEx(blk BasicBlock, pos InsertPoint, setBlk bool) {
 	if b.Func != blk.fn {
 		panic("mismatched function")
 	}
@@ -110,7 +130,6 @@ func (b Builder) SetBlockEx(blk BasicBlock, pos InsertPoint, setBlk bool) Builde
 	if setBlk {
 		b.blk = blk
 	}
-	return b
 }
 
 func instrAfterInit(blk llvm.BasicBlock) llvm.Value {
@@ -136,191 +155,6 @@ func notInit(instr llvm.Value) bool {
 
 // -----------------------------------------------------------------------------
 
-const (
-	deferKey = "__llgo_defer"
-)
-
-type aDefer struct {
-	nextBit  int        // next defer bit
-	key      Expr       // pthread TLS key
-	data     Expr       // pointer to runtime.Defer
-	bitsPtr  Expr       // pointer to defer bits
-	rundPtr  Expr       // pointer to RunDefers index
-	procBlk  BasicBlock // deferProc block
-	stmts    []func(bits Expr)
-	runsNext []BasicBlock // next blocks of RunDefers
-}
-
-/*
-// func(uintptr)
-func (p Program) tyDeferFunc() *types.Signature {
-	if p.deferFnTy == nil {
-		paramUintptr := types.NewParam(token.NoPos, nil, "", p.Uintptr().raw.Type)
-		params := types.NewTuple(paramUintptr)
-		p.deferFnTy = types.NewSignatureType(nil, nil, nil, params, nil, false)
-	}
-	return p.deferFnTy
-}
-*/
-
-func (p Package) deferInit() {
-	keyVar := p.VarOf(deferKey)
-	if keyVar == nil {
-		return
-	}
-	prog := p.Prog
-	keyNil := prog.Null(prog.DeferPtrPtr())
-	keyVar.Init(keyNil)
-	keyVar.impl.SetLinkage(llvm.LinkOnceAnyLinkage)
-
-	b := p.afterBuilder()
-	eq := b.BinOp(token.EQL, b.Load(keyVar.Expr), keyNil)
-	b.IfThen(eq, func() {
-		b.pthreadKeyCreate(keyVar.Expr, prog.Null(prog.VoidPtr()))
-	})
-}
-
-func (p Package) newDeferKey() Global {
-	return p.NewVarEx(deferKey, p.Prog.DeferPtrPtr())
-}
-
-func (b Builder) deferKey() Expr {
-	return b.Load(b.Pkg.newDeferKey().Expr)
-}
-
-func (b Builder) getDefer() *aDefer {
-	self := b.Func
-	if self.defer_ == nil {
-		// TODO(xsw): if in pkg.init?
-		// 0: proc func(uintptr)
-		// 1: bits uintptr
-		// 2: link *Defer
-		// 3: rund int
-		b.SetBlockEx(b.blk, AtStart, false)
-		prog := b.Prog
-		key := b.deferKey()
-		deferfn := prog.Null(prog.VoidPtr())
-		zero := prog.Val(uintptr(0))
-		link := b.pthreadGetspecific(key)
-		ptr := b.aggregateAlloca(prog.Defer(), deferfn.impl, zero.impl, link.impl)
-		deferData := Expr{ptr, prog.DeferPtr()}
-		b.pthreadSetspecific(key, deferData)
-		b.SetBlockEx(b.blk, AtEnd, false)
-		self.defer_ = &aDefer{
-			key:     key,
-			data:    deferData,
-			bitsPtr: b.FieldAddr(deferData, 1),
-			rundPtr: b.FieldAddr(deferData, 3),
-			procBlk: self.MakeBlock(),
-		}
-	}
-	return self.defer_
-}
-
-// Defer emits a defer instruction.
-func (b Builder) Defer(kind DoAction, fn Expr, args ...Expr) {
-	if debugInstr {
-		logCall("Defer", fn, args)
-	}
-	var prog Program
-	var nextbit Expr
-	var self = b.getDefer()
-	switch kind {
-	case DeferInCond:
-		prog = b.Prog
-		next := self.nextBit
-		self.nextBit++
-		bits := b.Load(self.bitsPtr)
-		nextbit = prog.Val(uintptr(1 << next))
-		b.Store(self.bitsPtr, b.BinOp(token.OR, bits, nextbit))
-	case DeferAlways:
-		// nothing to do
-	default:
-		panic("todo: DeferInLoop is not supported")
-	}
-	self.stmts = append(self.stmts, func(bits Expr) {
-		switch kind {
-		case DeferInCond:
-			zero := prog.Val(uintptr(0))
-			has := b.BinOp(token.NEQ, b.BinOp(token.AND, bits, nextbit), zero)
-			b.IfThen(has, func() {
-				b.Call(fn, args...)
-			})
-		case DeferAlways:
-			b.Call(fn, args...)
-		}
-	})
-}
-
-// RunDefers emits instructions to run deferred instructions.
-func (b Builder) RunDefers() {
-	prog := b.Prog
-	self := b.getDefer()
-	b.Store(self.rundPtr, prog.Val(len(self.runsNext)))
-	b.Jump(self.procBlk)
-
-	blk := b.Func.MakeBlock()
-	self.runsNext = append(self.runsNext, blk)
-
-	b.SetBlockEx(blk, AtEnd, false)
-	b.blk.last = blk.last
-}
-
-func (p Function) endDefer(b Builder) {
-	self := p.defer_
-	if self == nil {
-		return
-	}
-	nexts := self.runsNext
-	n := len(nexts)
-	if n == 0 {
-		return
-	}
-	b.SetBlockEx(self.procBlk, AtEnd, true)
-	bits := b.Load(self.bitsPtr)
-	stmts := self.stmts
-	for i := len(stmts) - 1; i >= 0; i-- {
-		stmts[i](bits)
-	}
-
-	link := b.getField(b.Load(self.data), 2)
-	b.pthreadSetspecific(self.key, link)
-
-	prog := b.Prog
-	rund := b.Load(self.rundPtr)
-	sw := b.impl.CreateSwitch(rund.impl, nexts[0].first, n-1)
-	for i := 1; i < n; i++ {
-		sw.AddCase(prog.Val(i).impl, nexts[i].first)
-	}
-}
-
-// -----------------------------------------------------------------------------
-
-/*
-// Recover emits a recover instruction.
-func (b Builder) Recover() (v Expr) {
-	if debugInstr {
-		log.Println("Recover")
-	}
-	prog := b.Prog
-	return prog.Zero(prog.Eface())
-}
-*/
-
-// Panic emits a panic instruction.
-func (b Builder) Panic(v Expr) {
-	if debugInstr {
-		log.Printf("Panic %v\n", v.impl)
-	}
-	b.Call(b.Pkg.rtFunc("TracePanic"), v)
-	b.impl.CreateUnreachable()
-}
-
-// Unreachable emits an unreachable instruction.
-func (b Builder) Unreachable() {
-	b.impl.CreateUnreachable()
-}
-
 // Return emits a return instruction.
 func (b Builder) Return(results ...Expr) {
 	if debugInstr {
@@ -374,6 +208,17 @@ func (b Builder) Jump(jmpb BasicBlock) {
 	b.impl.CreateBr(jmpb.first)
 }
 
+// IndirectJump emits an indirect jump instruction.
+func (b Builder) IndirectJump(addr Expr, dests []BasicBlock) {
+	if debugInstr {
+		log.Printf("IndirectJump %v\n", addr.impl)
+	}
+	ibr := b.impl.CreateIndirectBr(addr.impl, len(dests))
+	for _, dest := range dests {
+		ibr.AddDest(dest.first)
+	}
+}
+
 // If emits an if instruction.
 func (b Builder) If(cond Expr, thenb, elseb BasicBlock) {
 	if b.Func != thenb.fn || b.Func != elseb.fn {
@@ -396,6 +241,46 @@ func (b Builder) IfThen(cond Expr, then func()) {
 	b.blk.last = blks[1].last
 }
 
+// -----------------------------------------------------------------------------
+/*
+type caseStmt struct {
+	v   llvm.Value
+	blk llvm.BasicBlock
+}
+
+type aSwitch struct {
+	v     llvm.Value
+	def   llvm.BasicBlock
+	cases []caseStmt
+}
+
+// Switch represents a switch statement.
+type Switch = *aSwitch
+
+// Case emits a case instruction.
+func (p Switch) Case(v Expr, blk BasicBlock) {
+	if debugInstr {
+		log.Printf("Case %v, _llgo_%v\n", v.impl, blk.idx)
+	}
+	p.cases = append(p.cases, caseStmt{v.impl, blk.first})
+}
+
+// End ends a switch statement.
+func (p Switch) End(b Builder) {
+	sw := b.impl.CreateSwitch(p.v, p.def, len(p.cases))
+	for _, c := range p.cases {
+		sw.AddCase(c.v, c.blk)
+	}
+}
+
+// Switch starts a switch statement.
+func (b Builder) Switch(v Expr, defb BasicBlock) Switch {
+	if debugInstr {
+		log.Printf("Switch %v, _llgo_%v\n", v.impl, defb.idx)
+	}
+	return &aSwitch{v.impl, defb.first, nil}
+}
+*/
 // -----------------------------------------------------------------------------
 
 // Phi represents a phi node.

ssa/type.go

@@ -26,6 +26,8 @@ import (
 
 var (
 	tyAny = types.NewInterfaceType(nil, nil)
+
+	NoArgsNoRet = types.NewSignatureType(nil, nil, nil, nil, nil, false)
 )
 
 // -----------------------------------------------------------------------------

ssa/type_cvt.go

@@ -128,6 +128,7 @@ func (p goTypes) cvtNamed(t *types.Named) (raw *types.Named, cvt bool) {
 		named.SetUnderlying(tund)
 		return named, true
 	}
+	p.typs[unsafe.Pointer(t)] = unsafe.Pointer(t)
 	return t, false
 }