第11节 代码优化(4学时).ppt

第11章 代码优化 优化技术 局部优化 控制流分析和循环优化 数据流分析和全局优化 11.1 优化技术简介 代码优化 常用的优化技术 举例 一、代码优化 对中间代码或目标代码进行等价变换，使得变换后的代码与变换前的代码运行结果相同，时空效率提高（运行速度快，占用内存少）。 分类： 局部优化：在只有一个入口、一个出口的基本程序块上进行的优化 循环优化：对循环中的代码进行的优化 全局优化：在整个程序范围内进行的优化 二、常用的优化技术 删除多余运算（删除公共子表达式） 循环不变代码外提：减少循环中的代码总数 强度削弱：把强度大的运算换成强度小的 变换循环控制条件 合并已知量 复写传播 删除无用赋值 三、举例 （1）P:=0 （2）I:=1 （3）T1:=4*I （4）T2:=addr(A)-4 （5）T3:=T2[T1] （6）T4:=4*I （7）T5:=addr(B)-4 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto （3） (3)和(6)之间没有对I赋值，所以计算出来的值相等，为公共子表达式，即多余运算，可以删除。 删除多余运算（删除公共子表达式） （1）P:=0 （2）I:=1 （3）T1:=4*I （4）T2:=addr(A)-4 （5）T3:=T2[T1] （6）T4:=4*I （7）T5:=addr(B)-4 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto（3） （1）P:=0 （2）I:=1 （3）T1:=4*I （4）T2:=addr(A)-4 （5）T3:=T2[T1] （6）T4:=T1 （7）T5:=addr(B)-4 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto（3） （4）和（7）的计算结果独立于循环执行次数，将其提到循环的前面。 循环不变代码外提 （1）P:=0 （2）I:=1 （3）T1:=4*I （4）T2:=addr(A)-4 （5）T3:=T2[T1] （6）T4:=T1 （7）T5:=addr(B)-4 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto（3） （3）T1:=4*I （5）T3:=T2[T1] （6）T4:=T1 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto（3） （1）P:=0 （2）I:=1 （4）T2:=addr(A)-4 （7）T5:=addr(B)-4 把强度大的运算换成强度小的运算。 例如：把乘法运算换成加法运算，（3）式可以提到循环前面，循环内部增加 （3’）T1:=T1+4 式 强度削弱 （3）T1:=4*I （5）T3:=T2[T1] （6）T4:=T1 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （12）if I=20 goto（3） （1）P:=0 （2）I:=1 （4）T2:=addr(A)-4 （7）T5:=addr(B)-4 （5）T3:=T2[T1] （6）T4:=T1 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （3’）T1:=T1+4 （12）if I=20 goto（5） （1）P:=0 （2）I:=1 （4）T2:=addr(A)-4 （7）T5:=addr(B)-4 （3）T1:=4*I 将（12）转换为： if T1=80 goto (5)，整个程序的运行结果不变，此时I值在循环中就不会被引用，以后可将（11）式删除。 变换循环控制条件 （5）T3:=T2[T1] （6）T4:=T1 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （3’）T1:=T1+4 （12）if I=20 goto（5） （1）P:=0 （2）I:=1 （4）T2:=addr(A)-4 （7）T5:=addr(B)-4 （3）T1:=4*I （5）T3:=T2[T1] （6）T4:=T1 （8）T6:=T5[T4] （9）T7:=T3*T6 （10）P:=P+T7 （11）I:=I+1 （3’）T1:=T1+4 （12）if T1=80 goto（5） （1）P:=0 （2）I:=1 （4