24 | 中间代码：兼容不同的语言和硬件

作者回复: 你专注了一个有意思的问题。对概念的分析，往往非常有用。概念是一切的基础。值得我认真回答一下。 对于IR的定义，有狭义和窄义两种不同的理解。 从狭义的角度，IR是在AST之后，用于做优化的数据结构，这是我们大部分场景里提到IR时候的含义。我们用狭义的定义的时候，通常字节码也不算IR，因为它已经算是目标代码了，也主要不是用于优化的目的。 从广义的角度，IR是处于源代码和目标代码之间的各种能够表示代码的数据结构。 在wikipedia中，对AST有这么一段描述： Abstract syntax trees are data structures widely used in compilers to represent the structure of program code. An AST is usually the result of the syntax analysis phase of a compiler. It often serves as an intermediate representation of the program through several stages that the compiler requires, and has a strong impact on the final output of the compiler. 这里面，就指出AST是一种“intermediate representation”。而如果你去查IR的词条，里面也会有对AST的引用，跟字节码并列。 再加深一下理解： 1.基于AST能否做优化？ 是可以的。在看JDK的编译器代码的时候，就能发现很多基于AST的优化。优化是不嫌早的。而因为JDK的前端编译器只是生成字节码而已，所以很多优化都是在AST上去做。 2.IR是否可以是树状结构（甚至直接就基于AST）? 我们把IR根据抽象层次的高低，分为HIR、MIR和LIR。对于HIR来说，不少是采用树状结构的，也保留了像循环、分枝判断这样的高层次结构。 根据方舟编译器早期释放出来的代码和文档，其Maple IR就是一个树状结构的。随着优化的进程，树的节点逐步变成低级别的操作，树的高度也会降低。不过，我不知道方舟编译器最新的版本是否还会保持这个设计。我最近会问问内部相关的人员。 3.字节码算不算IR？ 我的观点：广义上算，因为它毕竟是中间格式，基于字节码还可以进一步做优化，比如Web Assembly就是这个设计。运行时读入Web Assembly以后，会启动JIT的过程，在这个过程中可以做优化。 狭义上不算，因为它已经是某个虚拟机的目标代码。 4.AST能否作为目标代码？ 这是另一个极端。AST通常并不用于执行程序。但是，对于特别简单的脚本语言，或者一个公式解释器，基于AST运行也无不可。 5.中间代码是否包含语义？ 不同层次的IR在语义上是等价的。虽然从AST到HIR一直到LIR使用的操作是不同的，语义的抽象程度是从高到低的，但它们是等价的。不同层次的IR适合做不同的优化。

作者回复: store是把寄存器的内容，写到内存中。与之对应的指令是load。 是的，涉及内存访问的时候，是可以违背SSA的。这点你看得很细。非常值得表扬！我在第26讲提到了这个知识点。你提前就发现了。

作者回复: （我对另一个同学的回答，这里拷贝一份） 递归相当于调用另一个函数。所有的参数、本地变量，要再来一份，也就是要创建一个新的活动记录（栈帧）。 不过，对于递归调用中的尾递归，编译器是可以做优化的，也就是不用再进行一次新的函数调用，从而节省了系统资源的开销。

作者回复: 不是。 第一段的意思：每个基本块中的代码都是从第一行执行到最后一行，不可能从别的地方跳转到这个基本块中间的一行，然后再继续执行，也不可能执行到中间就跳转出去。 第二段的意思：入口基本块是CFG中的一个特殊基本块，函数开始运行时就进入这个基本块。