编译程序构造与实践第八章.pptVIP

* * 第八章 代码优化 8.1 概况 8.1.1 代码优化的概念 ? 必要性 假定有下列C语言语句序列：a=b+c*d; e=a+c*d; 目标代码如下： MOV c, R1 c?R1 MOV c, R0 c?R0 MPY d, R1 c*d?R1 MPY d, R0 c*d?R0 MOV b, R0 b?R0 MOV R0, R1 c*d?R1 ADD R1, R0 b+c*d?R0 ADD b, R0 b+c*d?R0 MOV R0, a R0?a MOV R0, a b+c*d?a MOV c, R1 c?R1 ADD R0, R1 a+c*d?R1 MPY d, R1 c*d?R1 MOV R1, e a+c*d?e MOV a, R0 a?R0 ADD R1 R0 a+c*d?R0 MOV R0, e a+c*d?e 编译程序只考虑共性，不能考虑个性，生成的目标代码必然是质量不高的， ? 改进程序的运行效率的途径： 改进算法、 利用程序库、 编译时刻优化、 源程序级程序等价变换 这里，代码优化指的是： 编译时刻为改进目标程序的质量而进行的各项工作。 8.1.2 代码优化的分类 1.与机器相关性 分为：与机器相关的 和 与机器无关的 与机器相关的优化一般有涉及寄存器的优化、多处理器的优化、特殊指令的优化及消除无用指令的优化等4类。 2.优化范围 分为：局部优化 和 全局优化 对基本块的优化(局部优化): 合并常量计算、 消除公共子表达式 、削减计算强度、 删除无用代码 对循环的优化(全局优化)： 循环不变表达式外提、归纳变量删除、计算强度削减。 3.优化语言级 分为：内部中间表示级 和 目标代码级 通常代码优化是在中间表示代码一级上进行； 在目标代码级上进行的优化特称为窥孔优化。 8.1.3 代码优化程序的输入与输出 ? 输入：语义分析阶段生成的中间表示代码。 此中间表示代码一般是四元式序列，往往又表示为流图（把控制流信息加到基本块集合所形成的有向图）。 ? 输出；优化了的四元式序列。 B1 ⑴ := 1 i B1 ⑴ := 1 i ⑵ := 0 f1　　 ⑵ := 0 f1 ⑶ := 1 f2　　 　⑶ := 1 f2 B2 ⑷ ? i 10 ⑿ B2 ⑷ ? i 10 B4 ⑸ + f1 f2 t1　　 B3 ⑸ + f1 f2 t1 ⑹ := t1 f ⑹ := t1 f ⑺ := f1 f2 ⑺ := f1 f2 ⑻ := f f1 ⑻ := f f1 ⑼ + i 1 t2 ⑼ + i 1 t2 ⑽ := t2 i ⑽ := t2 i ⑾ GO ⑷ ⑾ GO