就是这个七昂的博客

检查常量、类型和函数的类型； 处理变量的赋值； 对函数的主体进行类型检查； 决定如何捕获变量； 检查内联函数的类型； 进行逃逸分析； 类型检查是 Go 语言编译的第二个阶段，在词法和语法分析之后我们得到了每个文件对应的抽象语法树，随后的类型检查会遍历抽象语法树中的节点，对每个节点的类型进行检验，找出其中存在的语法错误，在这个过程中也可能会对抽象语法树进行改写，这不仅能够去除一些不会被执行的代码对编译进行优化提高执行效率，而且也会修改 ma...

LLVM什么是LLVM？LLVM项目是一系列分模块、可重用的编译工具链。它提供了一种代码编写良好的中间表示(IR)，可以作为多种语言的后端，还可以提供与变成语言无关的优化和针对多种cpu的代码生成功能。传统编译器分为三个阶段：前端—>优化器—>后端LLVM也分为三个阶段，但是设计上有区别，LLVM不同的就是对于不同的语言他都提供了同一种中间表示：前端可以使用不同的编译工具对代码文件做词法分析以形成抽象语法树AST，然后将分析好的代码转换成LLVM的中间表示..