ssa: getAbiTypes use const global data

Author: visualfc

runtime/internal/runtime/z_type.go

@@ -583,6 +583,10 @@ func addType(typ *abi.Type) {
 	rtypeList.addType(typ)
 }
 
+func initTypes(typs *[]*abi.Type) {
+	rtypeList.types = *typs
+}
+
 // hashString computes the Fowler–Noll–Vo hash of s.
 func hashString(s string) uint32 {
 	var h uint32

ssa/abitype.go

@@ -515,9 +515,7 @@ func (b Builder) abiType(t types.Type) Expr {
 	}), prog.AbiTypePtr()}
 }
 
-func (p Package) InitAbiTypes(fname string) Function {
-	initFn := p.NewFunc(fname, NoArgsNoRet, InC)
-	b := initFn.MakeBody(1)
+func (p Package) getAbiTypes(name string) Expr {
 	prog := p.Prog
 	names := make([]string, len(prog.abiSymbol))
 	n := 0
@@ -526,17 +524,40 @@ func (p Package) InitAbiTypes(fname string) Function {
 		n++
 	}
 	sort.Strings(names)
-	fn := p.rtFunc("addType")
-	for _, name := range names {
+	fields := make([]llvm.Value, len(names))
+	for i, name := range names {
 		g := p.doNewVar(name, prog.abiSymbol[name])
 		g.impl.SetLinkage(llvm.ExternalLinkage)
 		g.impl.SetGlobalConstant(true)
 		ptr := Expr{llvm.ConstGEP(g.impl.GlobalValueType(), g.impl, []llvm.Value{
 			llvm.ConstInt(prog.Int32().ll, 0, false),
 			llvm.ConstInt(prog.Int32().ll, 0, false),
 		}), prog.AbiTypePtr()}
-		b.Call(fn, ptr)
+		fields[i] = ptr.impl
 	}
+	ft := prog.AbiTypePtr()
+	atyp := prog.rawType(types.NewArray(ft.RawType(), int64(len(names))))
+	data := Expr{llvm.ConstArray(ft.ll, fields), atyp}
+	array := p.doNewVar(name+"$array", prog.Pointer(atyp))
+	array.Init(data)
+	array.impl.SetGlobalConstant(true)
+	size := uint64(len(names))
+	typ := prog.Slice(prog.AbiTypePtr())
+	g := p.doNewVar(name+"$slice", prog.Pointer(typ))
+	g.impl.SetInitializer(prog.ctx.ConstStruct([]llvm.Value{
+		array.impl,
+		prog.IntVal(size, prog.Int()).impl,
+		prog.IntVal(size, prog.Int()).impl,
+	}, false))
+	g.impl.SetGlobalConstant(true)
+	return g.Expr
+}
+
+func (p Package) InitAbiTypes(fname string) Function {
+	initFn := p.NewFunc(fname, NoArgsNoRet, InC)
+	b := initFn.MakeBody(1)
+	fn := p.rtFunc("initTypes")
+	b.Call(fn, p.getAbiTypes(fname))
 	b.Return()
 	return initFn
 }