编译r11.ppt

第十一章 代码优化 11.1 优化技术简介 11.2 局部优化 11.3 循环优化 优化的概念 编译时刻为改进目标程序的质量而进行的各项工作。 空间效率 时间效率 空间效率和时间效率有时是一对矛盾，有时不能兼顾。 优化的基本要求： 必须是等价变换 为优化的努力必须是值得的。 优化的分类 机器相关性： 机器相关优化：寄存器优化，多处理器优化，特殊指令优化，无用指令消除等。 无关的优化：中间代码优化，源程序优化 优化范围： 局部优化：当个基本块范围内的优化：合并已知量，消除公共子表达式，削减计算强度和删除无用代码。 循环优化：主要是基于循环的优化：循环不变式外提，归纳变量删除，计算强度削减。 全局优化：主要是在整个程序范围内进行的优化。 优化技术简介 消除公共子表达式 循环不变表达式外提 削减计算强度 变换循环控制条件 合并已知量与复写传播 删除无用代码 消除公共子表达式 公共子表达式：如果某个表达式E先前已经计算，且从上次计算到现在，E中的变量的值没有改变。那么E的这次出现称为公共子表达式。 利用先前的计算结果，可以避免对公共子表达式的重复计算。 例 (1)( +，b，c，a ) (2)( -，a，d，b ) (3)( +，b，c，c ) (4)( -，a，d，d ) 显然，第2和4个四元式计算的是同一个值，所以第四个四元式可以修改称为( =, b, , d )。 对于第1和3个四元式，虽然都是计算b+c，但是他们的值其实是不同的，所以不能完成处理。 例子 x+y*t-a*(x+y*t)/(y*t) (1)( *， y， t， t1 ) (2)( +， x， t1， t2 ) (3)( *， y， t， t3 ) (4)( +， x， t3， t4 ) (5)( *， a， t4，t5 ) (6)( *， y， t， t6 ) (7)( /， t5， t1，t7 ) (8)( -， t2， t7， t8 ) 消除公共子表达式之后： (1)( *， y， t， t1 ) (2)( +， x， t1， t2 ) (3)( *， a， t2，t5 ) (4)( /， t5， t1， t7 ) (5)( -， t2， t7，t8 ) 循环不变式外提 有些表达式位于循环之内，但是该表达式的值不随着循环的重复执行而改变，该表达式被称为循环的不变表达式。 如果按照前面讲的代码生成方案，每一次循环都讲计算一次。 如果把这个表达式提取到循环外面，该计算就只被执行一次。从而可以获得更加好的效率。 循环不变式的例子 计算半径为r的从10度到360度的扇形的面积： for(n=1; n36; n++) {S:=10/360*pi*r*r*n; printf(“Area is %f”, S); } 显然，表达式10/360*pi*r*r中的各个量在循环过程中不改变。可以修改程序如下： C= 10/360*pi*r*r*n; for(n=1; n36; n++) {S:=C*n; printf(“Area is %f”, S); } 修改后的程序中，C的值只需要被计算一次，而原来的程序需要计算36次。 四元式的循环不变式 (1)= 1 n (2) n 36 (21) (3)GOF (4) (4)/ 10 360 t1 (5)* t1 pi t2 (6)* t2 r t3 (7)* t3 r t4 (8)* t4 n t5 (9)= t5 S … … … … (18)+ n 1 t9 (19)= t9 n (20)GO (4) (21) 其中，四元式4,5,6,7是循环不变四元式。 循环不变四元式的相对性 对于多重嵌套的循环，循环不变四元式是相对于某个循环而言的。可能对于更加外层的循环，它就不是循环不变式。 例子： for(i = 1; i10; i++) for(n=1; n360/(5*i); n++) {S:=(5*i)/360*pi*r*r*n;...} 表达式(5*i)/360*pi*r*r对于n的循环（内层循环）是不变表达式，但是对于外层循环，它们不是循环不变表达式。 循环不变表达式优化需要解决的问题 如何识别循环中的不变表达式？ 把循环表达式外提到什么地方？ 什么条件下，不变表达式可以外提？ 削减计算强度 实现同样的运算可以有多种方式。用计算较快的运算代替较慢的运算。 x2 变成 x*x。 2*x或2.0*x 变成 x+x x/2 变成 x*0.5 anxn+an-1xn-1+…+a1x+a0变成 ((…(anx+an-1)x+ an-2)…)x+a1)x+a0 合并常量计算 例子：d