Links
Comment on page

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 的使用方式。