ch10--代码优化..pptVIP

第10章 代码优化 知识点：基本块优化 循环优化 窥孔优化 dag的应用 代码优化 10.1 优化概述 10.2 基本块优化 10.3 dag在基本块优化中的应用 10.4 循环优化 10.5 窥孔优化 小结 10.1 优化概述 代码优化程序的任务 将前端产生的中间代码转换为等价的目标代码 代码优化程序的要求 等价变换 提高目标代码的执行速度 减少目标代码占用的空间 代码优化程序的地位 目标代码生成之前的中间代码优化 目标代码生成之后的目标代码优化 代码优化程序的位置 优化的主要种类 基本块优化 基本块内进行的优化 常数合并与传播、冗余子表达式的删除、复制传播、削弱计算强度、死代码的删除等 循环优化 在循环语句所生成的中间代码序列上进行的优化 循环展开、代码外提、削弱计算强度、删除归纳变量等 全局优化 在非线性程序段上（含多个基本块）进行的优化 窥孔优化 在目标代码上进行的优化 删除冗余的传送指令、删除死代码、控制流优化、强度削弱及代数化简等 10.2 基本块优化 一、常数合并及常数传播 二、删除冗余的公共表达式 三、复制传播 四、削弱计算强度 五、改变计算次序 一、常数合并及常数传播 常数合并：将能在编译时计算出值的表达式用其相应的值替代 x=2+3+y 可代之以： x=5+y 常数传播：用在编译时已知的变量值代替程序正文中对这些变量的引用 PI:=3.14; D-to-R:= PI/180.0; 常数合并的实现 在符号表中增加两个信息域 标志域：指示当前是否存在与该变量相关的常数。 常数域：如果常数存在，则该域存放的即是与该变量相应的当前常数值。 常数合并时，注意事项： 不能将结合律与交换律用于浮点表达式，因为浮点运算的精度有限，这两条定律并非是恒真的。 不应将任何附加的错误引入 二、删除冗余的公共表达式 在一个基本块中，当第一次对表达式E求值之后，如果E中的变量都没有改变，再次对E求值，则除E的第一次出现之外，其余的E都是冗余的公共表达式。 删除冗余的公共表达式，用第一次出现时的求值结果代替重复求值的结果。 举例 三、复制传播 为减少重复计算，可以利用复制传播来删除公共表达式 思想：在复制语句f:=g之后，尽可能用g代替f 删除死代码 删除死代码举例 四、削弱计算强度 对基本块的代数变换：对表达式用代数上等价的形式替换，以便使复杂的运算变换成为简单的运算。 x:=y**2 可以用代数上等价的乘式（如：x:=y*y）代替 x:=x+0 和 x:=x*1 执行的运算没有任何意义 应将这样的语句应从基本块中删除。 五、改变计算次序 考虑语句序列： t1:=b+c t2:=x+y 如果这两个语句是互不依赖的，即x、y均不为t1，b、c均不为t2，则交换这两个语句的位置不影响基本块的值。 对基本块中的临时变量重新命名不会改变基本块的值，如：语句 t:=b+c 改成语句u:=b+c 即，把块中出现的所有t都改成u，不改变基本块的值。 10.3 dag在基本块优化中的应用 利用dag对基本块进行某些等价变换，使得从变换后的程序出发，能够生成更有效的目标代码 所谓等价，指不改变程序的运行结果 所谓有效，指目标代码运行时间短、占用空间少 基本块的dag是一种结点上有标记的有向非循环图 叶结点由变量名字或常量标记。 根据作用到名字上的算符，决定需要名字的左值还是右值。大多数叶结点代表右值。 叶结点代表名字的初值，通常为标识符加上脚标0。 内部结点由运算符号标记，代表计算出来的值。 图中各结点可能附加一个或多个标识符，表示这些标识符具有该结点所代表的值。 本节内容 基本块的dag表示 基本块的dag构造算法 dag的应用 一、基本块的dag表示 结点用圆圈表示 各结点圆圈旁边的数字是dag构造过程中给予结点的编号 各结点圆圈中的符号（运算符、变量名或常数）是结点的标记 各结点圆圈右边的符号是结点的附加标识符表 除了转移语句对应的结点可以附加一个语句位置以指示转移目标外，其余各类结点只允许附加标识符，可以为空。 各种三地址语句的dag结点形式 例： 基本块B4： 二、基本块的dag构造算法 输入：一个基本块输出：该基本块的dag，其中包括如下的信息： 每个结点都有一个标记，叶结点的标记是一个标识符（允许是常数），内部结点的标记是一个运算符号。 在每个结点上有一个附加的标识符表（该表可能为空），这里的标识符不允许是常数。 方法： 用某种适当的数据结构（如数组、链表等）保存dag中各结点的信息 设有一个保存标识符（包括常数）与结点之间对应关系的数据结构。 设函数node(id)描述标识符与结点之间的对应关系，如果dag中存在一