后端优化生成指令选择一手资源.pdfVIP

APP

41｜后端优化：生成LIR和指令选择

2021-11-17宫文学

《手把手带你写一门编程语言》课程介绍

讲述：宫文学



时长18:23大小16.85M

你好，我是宫文学。

前面几节课中，我们讨论的主要是中端的优化。中端优化是跟具体硬件关系并不大，但由

于我们还要生成针对具体CPU的汇编代码或机器码，所以做完中端优化，我们还要针

对具体CPU的特性来做一些优化，也就是后端优化。

其实，我们已经接触过一些后端优化技术了。比如，之前我们已经讲过寄存器分配算法、

尾调用和尾递归的优化，这些基本上都属于后端优化。不过，那个时候，我们是从AST直

尾调用和尾递归的优化，这些基本上都属于后端优化。不过，那个时候，我们是从AST直

接生成汇编代码，然后在这个过程中做一些后端优化的。

在第三部分优化篇中，我们引入了新的、基于图的IR，进行了很多与硬件无关的优化。用

这个基于图的IR来做后端优化，效果又怎样呢？接下来，我们就要修改以前的生成汇编代

1/13

码的逻辑，改成从这个IR来生成汇编代码，并在这个过程中做一些优化。

今天这一节课，我就带你从中端过渡到后端，看看如何实现后端优化，并生成目标代码。

这其中包括IR的Lower、生成LIR和指令选择，以及寄存器分配、指令重排序、窥孔优化

和汇编代码的生成，等等工作。不过有些知识点我之前已经讲过了，还有一些知识点不是

我们这门课的重点，我就不再展开讲了，重点帮你贯穿一下整个过程。

首先，我们先了解一下给IR做Lower的过程。

Lower过程

HIR要经过一系列Lower过程，最后变成LIR。我先举一个例子，让你理解一下在Lower

过程中会发生什么事情。这是一个简单的例子，它只实现了给mammal对象weight字段

赋值的功能：

代码

1functionaccessField(mammal:Mammal,weight:number){

2mammal.weight=weight;

3}

针对对象属性的赋值，通常编译器要生成写内存的指令。这是因为，对象通常使用的是在

堆里申请的内存。而且，由于一个对象可能会由多个线程，所以只有把对象属性写到

内存里，另一个线程才能到更新后的属性。

当然，我们前一节课也，如果这个对象并没有逃逸，那就是另一种情况了。我们先假

设该对象是逃逸的，那么我们要给对象属性赋值，首先就需要进行写内存的操作。

对于这个简单的场景，一开始这个程序的IR是下面这样：

2/13

这里，我们使用了一个抽象度比较高的节点，叫做StoreField。它接受两个输入：一个输

入是对象的，也就是对象地址；第二个输入是weight属性的值。

在编译的过程中，这个IR会被做Lower处理。StoreField节点会被一个Write节点代

替，Write节点是一个写内存的操作。而内存地址呢，用OffsetAddress表示，也就是一

个址加上一定的偏移量。址就是对象的地址，偏移量是对象头的大小。在

PlayScript的设计中，它是16个字节。Lower过一次的IR图是这样的：

到目前为止，这个IR还是跟具体CPU无关的。因为按照这张IR图，无论针对什么

CPU，你都可以通过在某个地址的基础上加上一个偏移量，来获得新的地址。