ssa: sliceOf arrayOf

chore/gentests/gentests.go

@@ -21,6 +21,8 @@ import (
 	"os"
 	"strings"
 
+	"github.com/goplus/llgo/ssa"
+
 	"github.com/goplus/llgo/internal/llgen"
 	"github.com/goplus/mod"
 )
@@ -29,6 +31,7 @@ func main() {
 	dir, _, err := mod.FindGoMod(".")
 	check(err)
 
+	ssa.Initialize(ssa.InitAll | ssa.InitNative)
 	llgen.Verbose = false
 
 	llgenDir(dir + "/cl/_testlibc")

cl/_testgo/eface/in.go

@@ -0,0 +1,44 @@
+package main
+
+import (
+	"unsafe"
+
+	"github.com/goplus/llgo/internal/abi"
+)
+
+type eface struct {
+	_type *abi.Type
+	data  unsafe.Pointer
+}
+
+func main() {
+	dump(true)
+	dump(0)
+	dump(int8(0))
+	dump(int16(0))
+	dump(int32(0))
+	dump(int64(0))
+	dump(uint(0))
+	dump(uint8(0))
+	dump(uint16(0))
+	dump(uint32(0))
+	dump(uint64(0))
+	dump(uintptr(0))
+	dump(float32(0))
+	dump(float64(0))
+	dump([10]int{})
+	dump(func() {})
+	dump((*int)(nil))
+	dump([]int{})
+	dump("hello")
+	dump(struct {
+		x int8
+		y int
+		z int
+	}{})
+}
+
+func dump(v any) {
+	e := (*eface)(unsafe.Pointer(&v))
+	println(e._type.Size(), e._type.Kind(), e._type, e._type.Elem())
+}

cl/_testgo/eface/out.ll

@@ -0,0 +1,429 @@
+; ModuleID = 'main'
+source_filename = "main"
+
+%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr }
+%main.eface = type { ptr, ptr }
+%"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 }
+%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
+%"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 }
+
+@"main.init$guard" = global ptr null
+@__llgo_argc = global ptr null
+@__llgo_argv = global ptr null
+@"[10]_llgo_int" = linkonce global ptr null
+@"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac" = linkonce global ptr null
+@"*_llgo_int" = linkonce global ptr null
+@"[][0]_llgo_int" = linkonce global ptr null
+@0 = private unnamed_addr constant [6 x i8] c"hello\00", align 1
+@"main.struct$RKbUG45GE4henGMAdmt0Rju0JptyR8NsX7IZLsOI0OM" = global ptr null
+@1 = private unnamed_addr constant [2 x i8] c"x\00", align 1
+@2 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@3 = private unnamed_addr constant [2 x i8] c"y\00", align 1
+@4 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@5 = private unnamed_addr constant [2 x i8] c"z\00", align 1
+@6 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+@7 = private unnamed_addr constant [5 x i8] c"main\00", align 1
+
+define void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %0) {
+_llgo_0:
+  %1 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.eface" %0, ptr %1, align 8
+  %2 = getelementptr inbounds %main.eface, ptr %1, i32 0, i32 0
+  %3 = load ptr, ptr %2, align 8
+  %4 = call i64 @"(*github.com/goplus/llgo/internal/abi.Type).Size"(ptr %3)
+  %5 = getelementptr inbounds %main.eface, ptr %1, i32 0, i32 0
+  %6 = load ptr, ptr %5, align 8
+  %7 = call i64 @"(*github.com/goplus/llgo/internal/abi.Type).Kind"(ptr %6)
+  %8 = getelementptr inbounds %main.eface, ptr %1, i32 0, i32 0
+  %9 = load ptr, ptr %8, align 8
+  %10 = getelementptr inbounds %main.eface, ptr %1, i32 0, i32 0
+  %11 = load ptr, ptr %10, align 8
+  %12 = call ptr @"(*github.com/goplus/llgo/internal/abi.Type).Elem"(ptr %11)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 %4)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 %7)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %9)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %12)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  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/internal/abi.init"()
+  call void @"main.init$abi"()
+  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.Basic"(i64 1)
+  %3 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %4 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %3, i32 0, i32 0
+  store ptr %2, ptr %4, align 8
+  %5 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %3, i32 0, i32 1
+  store ptr inttoptr (i64 -1 to ptr), ptr %5, align 8
+  %6 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %3, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %6)
+  %7 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %8 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %8, i32 0, i32 0
+  store ptr %7, ptr %9, align 8
+  %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %8, i32 0, i32 1
+  store ptr null, ptr %10, align 8
+  %11 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %8, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %11)
+  %12 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 3)
+  %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 %12, ptr %14, align 8
+  %15 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %13, i32 0, i32 1
+  store ptr null, ptr %15, align 8
+  %16 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %13, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %16)
+  %17 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 4)
+  %18 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %19 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %18, i32 0, i32 0
+  store ptr %17, ptr %19, align 8
+  %20 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %18, i32 0, i32 1
+  store ptr null, ptr %20, align 8
+  %21 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %18, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %21)
+  %22 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 5)
+  %23 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %24 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %23, i32 0, i32 0
+  store ptr %22, ptr %24, align 8
+  %25 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %23, i32 0, i32 1
+  store ptr null, ptr %25, align 8
+  %26 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %23, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %26)
+  %27 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 6)
+  %28 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %28, i32 0, i32 0
+  store ptr %27, ptr %29, align 8
+  %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %28, i32 0, i32 1
+  store ptr null, ptr %30, align 8
+  %31 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %28, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %31)
+  %32 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 7)
+  %33 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %34 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %33, i32 0, i32 0
+  store ptr %32, ptr %34, align 8
+  %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %33, i32 0, i32 1
+  store ptr null, ptr %35, align 8
+  %36 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %33, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %36)
+  %37 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 8)
+  %38 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %39 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %38, i32 0, i32 0
+  store ptr %37, ptr %39, align 8
+  %40 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %38, i32 0, i32 1
+  store ptr null, ptr %40, align 8
+  %41 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %38, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %41)
+  %42 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 9)
+  %43 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %44 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %43, i32 0, i32 0
+  store ptr %42, ptr %44, align 8
+  %45 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %43, i32 0, i32 1
+  store ptr null, ptr %45, align 8
+  %46 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %43, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %46)
+  %47 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 10)
+  %48 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %49 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %48, i32 0, i32 0
+  store ptr %47, ptr %49, align 8
+  %50 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %48, i32 0, i32 1
+  store ptr null, ptr %50, align 8
+  %51 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %48, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %51)
+  %52 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 11)
+  %53 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %54 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %53, i32 0, i32 0
+  store ptr %52, ptr %54, align 8
+  %55 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %53, i32 0, i32 1
+  store ptr null, ptr %55, align 8
+  %56 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %53, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %56)
+  %57 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 12)
+  %58 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %59 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %58, i32 0, i32 0
+  store ptr %57, ptr %59, align 8
+  %60 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %58, i32 0, i32 1
+  store ptr null, ptr %60, align 8
+  %61 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %58, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %61)
+  %62 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13)
+  %63 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %64 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %63, i32 0, i32 0
+  store ptr %62, ptr %64, align 8
+  %65 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %63, i32 0, i32 1
+  store ptr null, ptr %65, align 8
+  %66 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %63, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %66)
+  %67 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 14)
+  %68 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %68, i32 0, i32 0
+  store ptr %67, ptr %69, align 8
+  %70 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %68, i32 0, i32 1
+  store ptr null, ptr %70, align 8
+  %71 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %68, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %71)
+  %72 = load ptr, ptr @"[10]_llgo_int", align 8
+  %73 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 80)
+  store [10 x i64] zeroinitializer, ptr %73, align 4
+  %74 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %75 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %74, i32 0, i32 0
+  store ptr %72, ptr %75, align 8
+  %76 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %74, i32 0, i32 1
+  store ptr %73, ptr %76, align 8
+  %77 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %74, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %77)
+  %78 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %79 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %80 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %79, i32 0, i32 0
+  store ptr %78, ptr %80, align 8
+  %81 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %79, i32 0, i32 1
+  store ptr @"main.main$1", ptr %81, align 8
+  %82 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %79, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %82)
+  %83 = load ptr, ptr @"*_llgo_int", align 8
+  %84 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %85 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %84, i32 0, i32 0
+  store ptr %83, ptr %85, align 8
+  %86 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %84, i32 0, i32 1
+  store ptr null, ptr %86, align 8
+  %87 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %84, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %87)
+  %88 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 0)
+  %89 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %90 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %89, i32 0, i32 0
+  store ptr %88, ptr %90, align 8
+  %91 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %89, i32 0, i32 1
+  store i64 0, ptr %91, align 4
+  %92 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %89, i32 0, i32 2
+  store i64 0, ptr %92, align 4
+  %93 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %89, align 8
+  %94 = load ptr, ptr @"[][0]_llgo_int", align 8
+  %95 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 24)
+  store %"github.com/goplus/llgo/internal/runtime.Slice" %93, ptr %95, align 8
+  %96 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %97 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %96, i32 0, i32 0
+  store ptr %94, ptr %97, align 8
+  %98 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %96, i32 0, i32 1
+  store ptr %95, ptr %98, align 8
+  %99 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %96, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %99)
+  %100 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %101 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %100, i32 0, i32 0
+  store ptr @0, ptr %101, align 8
+  %102 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %100, i32 0, i32 1
+  store i64 5, ptr %102, align 4
+  %103 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %100, align 8
+  %104 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 24)
+  %105 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" %103, ptr %105, align 8
+  %106 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %107 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %106, i32 0, i32 0
+  store ptr %104, ptr %107, align 8
+  %108 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %106, i32 0, i32 1
+  store ptr %105, ptr %108, align 8
+  %109 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %106, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %109)
+  %110 = load ptr, ptr @"main.struct$RKbUG45GE4henGMAdmt0Rju0JptyR8NsX7IZLsOI0OM", align 8
+  %111 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 24)
+  store { i8, i64, i64 } zeroinitializer, ptr %111, align 4
+  %112 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8
+  %113 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %112, i32 0, i32 0
+  store ptr %110, ptr %113, align 8
+  %114 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %112, i32 0, i32 1
+  store ptr %111, ptr %114, align 8
+  %115 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %112, align 8
+  call void @main.dump(%"github.com/goplus/llgo/internal/runtime.eface" %115)
+  ret i32 0
+}
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64)
+
+declare i64 @"(*github.com/goplus/llgo/internal/abi.Type).Size"(ptr)
+
+declare i64 @"(*github.com/goplus/llgo/internal/abi.Type).Kind"(ptr)
+
+declare ptr @"(*github.com/goplus/llgo/internal/abi.Type).Elem"(ptr)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)
+
+declare void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr)
+
+declare void @"github.com/goplus/llgo/internal/abi.init"()
+
+declare void @"github.com/goplus/llgo/internal/runtime.init"()
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
+
+define void @"main.main$1"() {
+_llgo_0:
+  ret void
+}
+
+define void @"main.init$abi"() {
+_llgo_0:
+  %0 = load ptr, ptr @"[10]_llgo_int", 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.Basic"(i64 2)
+  %3 = call ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64 10, ptr %2)
+  store ptr %3, ptr @"[10]_llgo_int", align 8
+  br label %_llgo_2
+
+_llgo_2:                                          ; preds = %_llgo_1, %_llgo_0
+  %4 = load ptr, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  %5 = icmp eq ptr %4, null
+  br i1 %5, label %_llgo_3, label %_llgo_4
+
+_llgo_3:                                          ; preds = %_llgo_2
+  %6 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %7 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %8 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %7, i32 0, i32 0
+  store ptr %6, ptr %8, align 8
+  %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %7, i32 0, i32 1
+  store i64 0, ptr %9, align 4
+  %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %7, i32 0, i32 2
+  store i64 0, ptr %10, align 4
+  %11 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %7, 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.Func"(%"github.com/goplus/llgo/internal/runtime.Slice" %11, %"github.com/goplus/llgo/internal/runtime.Slice" %17, i1 false)
+  store ptr %18, ptr @"_llgo_func$2_iS07vIlF2_rZqWB5eU0IvP_9HviM4MYZNkXZDvbac", align 8
+  br label %_llgo_4
+
+_llgo_4:                                          ; preds = %_llgo_3, %_llgo_2
+  %19 = load ptr, ptr @"*_llgo_int", align 8
+  %20 = icmp eq ptr %19, null
+  br i1 %20, label %_llgo_5, label %_llgo_6
+
+_llgo_5:                                          ; preds = %_llgo_4
+  %21 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %22 = call ptr @"github.com/goplus/llgo/internal/runtime.PointerTo"(ptr %21)
+  store ptr %22, ptr @"*_llgo_int", align 8
+  br label %_llgo_6
+
+_llgo_6:                                          ; preds = %_llgo_5, %_llgo_4
+  %23 = load ptr, ptr @"[][0]_llgo_int", align 8
+  %24 = icmp eq ptr %23, null
+  br i1 %24, label %_llgo_7, label %_llgo_8
+
+_llgo_7:                                          ; preds = %_llgo_6
+  %25 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %26 = call ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64 0, ptr %25)
+  %27 = call ptr @"github.com/goplus/llgo/internal/runtime.SliceOf"(ptr %26)
+  store ptr %27, ptr @"[][0]_llgo_int", align 8
+  br label %_llgo_8
+
+_llgo_8:                                          ; preds = %_llgo_7, %_llgo_6
+  %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 @1, ptr %29, align 8
+  %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %28, i32 0, i32 1
+  store i64 1, ptr %30, align 4
+  %31 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %28, align 8
+  %32 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 3)
+  %33 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %34 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 0
+  store ptr @2, ptr %34, align 8
+  %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 1
+  store i64 0, ptr %35, align 4
+  %36 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %33, align 8
+  %37 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %31, ptr %32, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %36, i1 false)
+  %38 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %39 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %38, i32 0, i32 0
+  store ptr @3, ptr %39, align 8
+  %40 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %38, i32 0, i32 1
+  store i64 1, ptr %40, align 4
+  %41 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %38, align 8
+  %42 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %43 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %44 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %43, i32 0, i32 0
+  store ptr @4, ptr %44, align 8
+  %45 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %43, i32 0, i32 1
+  store i64 0, ptr %45, align 4
+  %46 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %43, align 8
+  %47 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %41, ptr %42, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %46, i1 false)
+  %48 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %49 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %48, i32 0, i32 0
+  store ptr @5, ptr %49, align 8
+  %50 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %48, i32 0, i32 1
+  store i64 1, ptr %50, align 4
+  %51 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %48, align 8
+  %52 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %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 @6, ptr %54, align 8
+  %55 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %53, i32 0, i32 1
+  store i64 0, ptr %55, align 4
+  %56 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %53, align 8
+  %57 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %51, ptr %52, i64 16, %"github.com/goplus/llgo/internal/runtime.String" %56, i1 false)
+  %58 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8
+  %59 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %58, i32 0, i32 0
+  store ptr @7, ptr %59, align 8
+  %60 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %58, i32 0, i32 1
+  store i64 4, ptr %60, align 4
+  %61 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %58, align 8
+  %62 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 168)
+  %63 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %62, i64 0
+  store %"github.com/goplus/llgo/internal/abi.StructField" %37, ptr %63, align 8
+  %64 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %62, i64 1
+  store %"github.com/goplus/llgo/internal/abi.StructField" %47, ptr %64, align 8
+  %65 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %62, i64 2
+  store %"github.com/goplus/llgo/internal/abi.StructField" %57, ptr %65, align 8
+  %66 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8
+  %67 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %66, i32 0, i32 0
+  store ptr %62, ptr %67, align 8
+  %68 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %66, i32 0, i32 1
+  store i64 3, ptr %68, align 4
+  %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %66, i32 0, i32 2
+  store i64 3, ptr %69, align 4
+  %70 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %66, align 8
+  %71 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %61, i64 24, %"github.com/goplus/llgo/internal/runtime.Slice" %70)
+  store ptr %71, ptr @"main.struct$RKbUG45GE4henGMAdmt0Rju0JptyR8NsX7IZLsOI0OM", align 8
+  ret void
+}
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64, ptr)
+
+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.SliceOf"(ptr)
+
+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)

internal/runtime/z_type.go

@@ -130,4 +130,30 @@ func PointerTo(elem *Type) *Type {
 	return ret
 }
 
+func SliceOf(elem *Type) *Type {
+	ret := &abi.SliceType{
+		Type: Type{
+			Size_: unsafe.Sizeof([]int{}),
+			Hash:  uint32(abi.Slice),
+			Kind_: uint8(abi.Slice),
+		},
+		Elem: elem,
+	}
+	return &ret.Type
+}
+
+func ArrayOf(length uintptr, elem *Type) *Type {
+	ret := &abi.ArrayType{
+		Type: Type{
+			Size_: length * elem.Size_,
+			Hash:  uint32(abi.Array),
+			Kind_: uint8(abi.Array),
+		},
+		Elem:  elem,
+		Slice: SliceOf(elem),
+		Len:   length,
+	}
+	return &ret.Type
+}
+
 // -----------------------------------------------------------------------------

ssa/abi/abi.go

@@ -121,6 +121,12 @@ func (b *Builder) TypeName(t types.Type) (ret string, pub bool) {
 		return b.StructName(t)
 	case *types.Signature:
 		return b.FuncName(t), true
+	case *types.Slice:
+		ret, pub = b.TypeName(t.Elem())
+		return "[]" + ret, pub
+	case *types.Array:
+		ret, pub = b.TypeName(t.Elem())
+		return fmt.Sprintf("[%v]%s", t.Len(), ret), pub
 	case *types.Named:
 		o := t.Obj()
 		return "_llgo_" + TypeName(o), o.Exported()

ssa/interface.go

@@ -59,6 +59,10 @@ func (b Builder) abiTypeOf(t types.Type) Expr {
 		return b.abiInterfaceOf(t)
 	case *types.Signature:
 		return b.abiFuncOf(t)
+	case *types.Slice:
+		return b.abiSliceOf(t)
+	case *types.Array:
+		return b.abiArrayOf(t)
 	}
 	panic("todo")
 }
@@ -156,6 +160,16 @@ func (b Builder) abiPointerOf(t *types.Pointer) Expr {
 	return b.Call(b.Pkg.rtFunc("PointerTo"), elem)
 }
 
+func (b Builder) abiSliceOf(t *types.Slice) Expr {
+	elem := b.abiTypeOf(t.Elem())
+	return b.Call(b.Pkg.rtFunc("SliceOf"), elem)
+}
+
+func (b Builder) abiArrayOf(t *types.Array) Expr {
+	elem := b.abiTypeOf(t.Elem())
+	return b.Call(b.Pkg.rtFunc("ArrayOf"), b.Prog.IntVal(uint64(t.Len()), b.Prog.Uintptr()), elem)
+}
+
 // func Struct(pkgPath string, size uintptr, fields []abi.StructField)
 func (b Builder) abiStructOf(t *types.Struct) Expr {
 	pkg := b.Pkg

ssa/package.go

@@ -178,7 +178,7 @@ func NewProgram(target *Target) Program {
 		target = &Target{}
 	}
 	ctx := llvm.NewContext()
-	td := llvm.NewTargetData("") // TODO(xsw): target config
+	td := target.targetData() // TODO(xsw): target config
 	/*
 		arch := target.GOARCH
 		if arch == "" {

ssa/target.go

@@ -16,6 +16,10 @@
 
 package ssa
 
+import (
+	"github.com/goplus/llvm"
+)
+
 // -----------------------------------------------------------------------------
 
 type Target struct {
@@ -24,6 +28,19 @@ type Target struct {
 	GOARM  string // "5", "6", "7" (default)
 }
 
+func (p *Target) targetData() llvm.TargetData {
+	spec := p.toSpec()
+	if spec.triple == "" {
+		spec.triple = llvm.DefaultTargetTriple()
+	}
+	t, err := llvm.GetTargetFromTriple(spec.triple)
+	if err != nil {
+		panic(err)
+	}
+	machine := t.CreateTargetMachine(spec.triple, spec.cpu, spec.features, llvm.CodeGenLevelDefault, llvm.RelocDefault, llvm.CodeModelDefault)
+	return machine.CreateTargetData()
+}
+
 /*
 func (p *Program) targetMachine() llvm.TargetMachine {
 	if p.tm.C == nil {
@@ -43,6 +60,7 @@ func (p *Program) targetMachine() llvm.TargetMachine {
 	}
 	return p.tm
 }
+*/
 
 type targetSpec struct {
 	triple   string
@@ -50,6 +68,12 @@ type targetSpec struct {
 	features string
 }
 
+// TODO config
+func (p *Target) toSpec() (spec targetSpec) {
+	return
+}
+
+/*
 func (p *Target) toSpec() (spec targetSpec) {
 	// Configure based on GOOS/GOARCH environment variables (falling back to
 	// runtime.GOOS/runtime.GOARCH), and generate a LLVM target based on it.