第11章 代码优化.pdfVIP

编译原理 武汉大学计算机学院 编译原理课程组 第11章 代码优化 ◆ 基本思想 ◆ ◆ 优化的种类 ◆ ◆ 基本块优化 ◆ ◆ 循环优化 ◆ 11.1 概述 1．目的 提高目标程序的效率。 2．改进程序效率的途径 ◆ 改进算法 ◆ ◆ 利用程序库 ◆ ◆ 编译时刻的优化 ◆ ◆ 源程序级等价变换 ◆ 11.1 概述 2．编译时刻的优化 在中间代码上进行，仅在目标程序上进行窥孔优化。 注意事项： ⑴等价原则——不应改变程序的功能。 ⑴等价原则——不应改变程序的功能。 ⑵有效原则——优化后的目标代码效率确实提高。 ⑵有效原则——优化后的目标代码效率确实提高。 ⑶合算原则—— 以较低的代价取得较好的优化效果。 ⑶合算原则—— 以较低的代价取得较好的优化效果。 11.1 概述 3．优化的种类 局部优化 常量合并 利用DAG 消除公共子表达式 (基本块优化) 图优化 删除无用赋值 与机器无关 循环不变式外提 类 种 的 化 优 的优化 循环优化 强度削弱 删除归纳变量 全局优化 与机器有关 寄存器优化 的优化 并行分支优化 窥孔优化 11.2 基本块优化 1．基本块 所谓基本块，是指程序中一顺序执行的语句序列，其中只有一个 入口和一个出口，入口就是第一个语句，出口就是最后一个语句。对 于一个基本块来说，执行时，只能从其入口进入，从其出口退出。 11.2 基本块优化 2．划分基本块的算法 ①求入口语句，它们是： ⅰ.程序的第一个语句；或者 ⅱ.能由条件转移语句或无条件转移语句转移到的语句；或者 ⅲ.紧跟在条件转移语句后面的语句。 ②对以上求出的每一入口语句，构造其所属的基本块。它是由该 入口语句到另一入口语句(不包括该入口语句)，或到一转移语句 (包括该转移语句)，或到一停语句(包括该停语句)之间的语句序 列组成的。 ③凡未被纳入某一基本块的语句，都是程序中控制流程无法到达 的语句，从而也是不会被执行到的语句，将其删除。 ① read X ① read X ② read Y ② read Y ③ R:=X mod ④ if R=0 goto (8) ③ R:=X mod ⑤ X:=Y ④ if R=0 goto (8) ⑥ Y:=R ⑦ goto (3) ⑧ wrtie Y ⑤ X:=Y ⑧ wrti