《ch--代码优化》-课件设计（公开).ppt

第10章 代码优化 知识点：基本块优化 循环优化 窥孔优化 dag的应用 代码优化 10.1 优化概述 10.2 基本块优化 10.3 循环优化 10.4 窥孔优化 小结 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 循环优化 对循环结构所生成的中间代码可划分为如下几个部分： 初始化部分：循环控制变量被赋予一个初值，此部分组成一个基本块，它在循环体中的语句开始之前执行一次。 调节部分：循环控制变量增加或减少一个特定的量，可把这部分视为构成该循环的最后一个基本块。 测试部分：测试循环控制变量以判定终止条件是否满足。这部分的位置依赖于循环语句的性质，若循环语句允许循环体执行0次，则在执行循环体之前进行测试，若循环语句要求循环体至少执行1次，则在执行循环体之后进行测试。 循环体：由需要重复执行的语句构成的一个或多个基本块组成。 循环结构中的调节部分和测试部分也可以与循环体中的其他语句一起出现在基本块中。 循环优化的主要技术 一、循环展开 二、代码外提/频度削弱 三、削弱计算强度 四、删除归纳变量 一、循环展开 将构成循环体的代码（不包括调节和测试部分）重复产生多次，而不仅一次。产生的次数可以在编译时确定。 以空间换时间的优化过程 要进行循环展开，必须： 必须识别出循环结构，而且循环的初值、终值、以及步长的值都必须能够在编译时确定。 作出空间与时间的权衡，是否可接受，如不可接受，则将此循环作为一个循环结构继续编译。 如果可以接受，则重复产生循环体直到所需要的次数， 在重复产生代码时，必须确保每次重复产生时，都对循环变量进行了正确的合并。 考虑C语言的循环语句： for (i=0;i10;i++) x[i]=0; 二、代码外提/频度削弱 减少循环中代码总数的一个重要方法 对于包含在循环里的基本块，如果其中的某些代码与循环无关，则可把这样的代码移到循环之外以减少其计算频度，通常移到循环的前边。 如C语言程序中的语句： while