《编译原理》第章-中间代码优化.pptVIP

第九章 中间代码优化 引言 常量表达式优化 公共表达式优化 循环不变式外提 优化的目标： 优化的要求： 优化的对象：深层循环和下标变量地址的计算 优化的种类： 常表达式优化（合并常数项） 公共表达式优化（消除重复操作） 循环不变表达式外提 削减运算强度等等 优化方法： 全局优化：全局信息 局部优化：局部信息 基本块和程序流图 基本块：单入口单出口的程序段。 程序流图：以基本块为结点的有向图，有向边表示 程序执行的流程。 中间代码基本块的划分： ? 初始代码为第一个基本块的入口 ? 遇转移性中间代码时，结束当前基本块，下一条 代码作为新基本块的入口 ? 遇标号性代码结束当前基本块，代码本身作为新 基本块的入口。 ? 遇（ASSIG, A, X）时，如果X为引用型形参时结 束当前块，并作为该块的出口。 基本块划分的例子 常表达式局部优化 常表达式：任何时候都取固定常数值的表达式 处理思想：针对每个基本块，如果一个多元式的两 个分量的值已知，则计算其值，并删掉 相应的中间代码。 原理：常量定值表ConstDef：(Var,Val)。 ? 基本块入口置ConstDef为空； ? 对当前多元式的分量利用ConstDef表进行值代换； ? 新多元式形如（?，A, B,t）:如果A和B是常数， 则计算A?B的值v，并将（t,v）填入ConsDef表。 形如（ASSIG，A, B）:如果A是常数，则把（B,A） 填入ConsDef表，若已有B项，只需修改其值； 否则从ConsDef中删除B的登记项。 常表达式局部优化的例子 基于常量定值分析的常量表达式全局优化 思想：可利用基本块外的常量信息进行优化。基本块 入口处的ConstDef不简单的定义为空，基本块出口 处的ConstDef还在后面的基本块中用到。 问题：计算入口处和出口处的常量定值集合。 方法：用常量定值的数据流分析。 计算四种集合： in-c(Bi)：在Bi块的入口处可用的常量定值之集。 out-c(Bi):在Bi块的出口处可用的常量定值之集。 def-c(Bi):在Bi块内产生并且在Bi的出口处可用 的常量定值之集。 kill-c(Bi):被Bi块所杀死的常量定值之集。若Bi 块有对X的赋值，则称Bi块将杀死X的常量定值。 基于相似性的公共表达式局部优化 相似多元式：设(?1,A1,B1,T1)和(?2 ,A2,B2,T2) 是两个非赋值型多元式，?1 = ?2，且A1和A2，B1 和B2的名字彼此相同，则称这两个多元式相似。 公共子表达式（可节省的公共代码ECC）： di所定义的表达式在dk处是 可用的； UsableExpr:可用表达式集 等价表(PAIR)：(ti,tj)表示ti和tj是等价的，需用tj 替换ti。 基于相似性的ECC优化算法 设UsableExp 和 PAIR 为空； 对当前多元式根据PAIR来进行等价替换，生成 NewTuple; 如果NewTuple 形如： dk:( ?, A, B, tk ): 若UsableExp 中存在相似表 达式di:(?, A, B, tj )，则删掉dk,并在PAIR 表中填入(tk,tj)；否则dk不优化，把dk加到 UsableExpr中； dk:( ASSIG, A, B )：从UsableExpr删除含B的所 有可用表达式代码。 基于值编码的公共表达式局部优化 按值等价原理 优化思想： 对一个多元式的分量分别编码，具 有相同编码的分量等价。 值编码表ValuNnm: 可用表达式代码表UsableExpr 临时变量等价表TempEqua 基于值编码的ECC优化算法 入口处初始化：ValueNum,UsableExp和TempEqua为空。 对当前多元式用TempEqua等价替换，生成NewTuple. 如果NewTu