《Engineering a Complier》学习笔记（七）

代码形式（Code Shape）

 

编译器生成IR后，必须将每个源语言语句映射为目标机指令构成的操作序列。编译器必须在许多备选方法中做出选择，以实现语言中的每个结构。编译器所做的选择影响最终代码的质量。

 

1.分配存储结构

• 物理寄存器： 目标ISA中一个命名的寄存器
• 虚拟寄存器： IR使用的一个符号名，以代替物理寄存器名

编译器可能创建额外的静态数据区，以保存常量值、跳转表和调试信息。

逻辑地址空间布局：

 

 

地址空间的不同视图：

 

 

数据区的布局规则：

如果x声明在过程p局部，且值无需跨多次调用　　->　　分配到局部储存

如果值跨越对p的多次调用而保持　　->　　分配到局部静态存储区中

如果x全局可见　　->　　分配到全局存储区

如果x的分配收全局控制　　-> 　　分配到堆

1. 分配偏移量

编译器必须为每个名字分配数据区内部的一个偏移量

x2. 相对偏移量和高速缓存性能

高速缓存在现代计算机系统中的广泛应用，对变量在内存中的布局有微妙的影响。如果代码中使用两个值位置十分接近，则编译器可能想确保二者同时加载到高速缓存中。

对程序中计算的每个值，编译器都必须确定在何处存储该值，是在内存中还是在寄存器中，不管那种情况，都要给出具体的位置。

存储分配为编译器提供了一个关键的机会，编译器可以借此将信息编码到IR中，供后续各趟处理使用。

 

2. 算数运算符

以a-b*c为例，树遍历代码生成器： 

 未完待续