5.5 编译日志

如果查看 irgen.generate() 的完整代码，可以发现如下代码片段：

if base.Flag.W > 1 {
    for _, n := range g.target.Decls {
        s := fmt.Sprintf("\nafter noder2 %v", n)
        ir.Dump(s, n)
    }
}

可见 IR Tree 并没有完全隐藏在编译器内部，而是可以通过编译参数 -W 来查看，并且编译器不仅会 dump 出 IR Tree 的结构，还会 dump 出泛型函数实例化时所做的改变。我们通过一个例子来查看一下。

将下列代码保存为 main.go:

package main

import "fmt"

func genericFun[T any](i, j T)  {
    fmt.Printf("i: %v, j: %v\n",i, j)
}

func main() {
    genericFun(5,6)
    genericFun[float32](10.5, 11.8)
}

通过命令 go tool compile -G=2 -W=2 main.go 进行编译即可看到如下结果：

after noder2 genericFun [0xc0001642c0]
.   DCLFUNC tc(1) Iota:-1 ABI:ABIInternal FUNC-func[T₁](T₁, T₁) # main.go:5
.   DCLFUNC-Dcl
.   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack main.T₁ # main.go:5
.   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack main.T₁ # main.go:5
.   DCLFUNC-body
.   .   CALLFUNC tc(1) Use:3 STRUCT-(int, error) # main.go:6 STRUCT-(int, error)
.   .   .   NAME-fmt.Printf tc(1) Class:PFUNC Offset:0 FUNC-func(string, …interface {}) (int, error) # print.go:212
.   .   CALLFUNC-Args
.   .   .   LITERAL-“i: %v, j: %v\n” tc(1) string # main.go:6
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack main.T₁ # main.go:5
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack main.T₁ # main.go:5

after noder2 main [0xc000164580]
.   DCLFUNC tc(1) Iota:-1 ABI:ABIInternal FUNC-func() # main.go:9
.   DCLFUNC-body
.   .   CALL tc(1) Use:3 # main.go:10
.   .   .   FUNCINST tc(1) FUNC-func[T₁](T₁, T₁) # main.go:10 FUNC-func[T₁](T₁, T₁)
.   .   .   .   NAME-main.genericFun tc(1) Class:PFUNC Offset:0 FUNC-func[T₁](T₁, T₁) # main.go:5
.   .   .   FUNCINST-Targs
.   .   .   .   TYPE .int Offset:0 type int
.   .   CALL-Args
.   .   .   LITERAL-5 tc(1) int # main.go:10
.   .   .   LITERAL-6 tc(1) int # main.go:10
.   .   CALL tc(1) Use:3 # main.go:11
.   .   .   FUNCINST tc(1) FUNC-func[T₁](T₁, T₁) # main.go:11 FUNC-func[T₁](T₁, T₁)
.   .   .   .   NAME-main.genericFun tc(1) Class:PFUNC Offset:0 FUNC-func[T₁](T₁, T₁) # main.go:5
.   .   .   FUNCINST-Targs
.   .   .   .   TYPE .float32 Offset:0 type float32
.   .   CALL-Args
.   .   .   LITERAL-10.5 tc(1) float32 # main.go:11
.   .   .   LITERAL-11.8 tc(1) float32 # main.go:11

stenciled genericFun[int] [0xc0001646e0]
.   DCLFUNC tc(1) Iota:-1 ABI:ABIInternal FUNC-func(int, int) # main.go:5
.   DCLFUNC-Dcl
.   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack int # main.go:5
.   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack int # main.go:5
.   DCLFUNC-body
.   .   CALLFUNC tc(1) Use:3 STRUCT-(int, error) # main.go:6 STRUCT-(int, error)
.   .   .   NAME-fmt.Printf tc(1) Class:PFUNC Offset:0 FUNC-func(string, …interface {}) (int, error) # print.go:212
.   .   CALLFUNC-Args
.   .   .   LITERAL-“i: %v, j: %v\n” tc(1) string # main.go:6
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack int # main.go:5
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack int # main.go:5

stenciled genericFun[float32] [0xc000164840]
.   DCLFUNC tc(1) Iota:-1 ABI:ABIInternal FUNC-func(float32, float32) # main.go:5
.   DCLFUNC-Dcl
.   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack float32 # main.go:5
.   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack float32 # main.go:5
.   DCLFUNC-body
.   .   CALLFUNC tc(1) Use:3 STRUCT-(int, error) # main.go:6 STRUCT-(int, error)
.   .   .   NAME-fmt.Printf tc(1) Class:PFUNC Offset:0 FUNC-func(string, …interface {}) (int, error) # print.go:212
.   .   CALLFUNC-Args
.   .   .   LITERAL-“i: %v, j: %v\n” tc(1) string # main.go:6
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.i tc(1) Class:PPARAM Offset:0 OnStack float32 # main.go:5
.   .   .   CONVIFACE tc(1) Implicit INTER-interface {} # main.go:6 INTER-interface {}
.   .   .   .   NAME-main.j tc(1) Class:PPARAM Offset:0 OnStack float32 # main.go:5

modified main [0xc000164580]
.   DCLFUNC tc(1) Iota:-1 ABI:ABIInternal FUNC-func() # main.go:9
.   DCLFUNC-body
.   .   CALLFUNC tc(1) Use:3 # main.go:10
.   .   .   NAME-main.genericFun[int] tc(1) Class:PFUNC Offset:0 FUNC-func(int, int) # main.go:5
.   .   CALLFUNC-Args
.   .   .   LITERAL-5 tc(1) int # main.go:10
.   .   .   LITERAL-6 tc(1) int # main.go:10
.   .   CALLFUNC tc(1) Use:3 # main.go:11
.   .   .   NAME-main.genericFun[float32] tc(1) Class:PFUNC Offset:0 FUNC-func(float32, float32) # main.go:5
.   .   CALLFUNC-Args
.   .   .   LITERAL-10.5 tc(1) float32 # main.go:11
.   .   .   LITERAL-11.8 tc(1) float32 # main.go:11

前两个以 after noder2 开头的结构分别对应两个函数申明，这是 Step 3 完成之后 IR Tree 的总体结构，可以看到其中还包括泛型信息；而随后的信息是泛型函数实例化的 dump 信息，以 stenciled 开头的两个函数 genericFun[int] 与 genericFun[float32] 便是生成的实例化函数，最后 modified main 是修改之后的 main 函数，可以发现此时 main 函数内部直接调用的是实例化函数，已经抹掉了有关泛型的所有信息。

编译参数加上 -G=2 是为了启用泛型支持以便调用新的类型检查逻辑，并且在创建 IR Tree 完成之后退出编译，否则会 dump 出非常多的信息。可以在 irgen.go 的函数 check2() 中查看该 flag 的使用方式。