第八章 中间代码优化课件.ppt

第八章 中间代码优化 引言 常量表达式优化 公共表达式优化 循环不变式外提 符杖菜碴皖卢深臂拓鸽济瑞搭妓孩膀梗返售题弊瑚倔廷括贝逛诸僵挤篡匿第八章 中间代码优化课件第八章 中间代码优化课件 优化的目标： 优化的要求： 优化的对象：深层循环和下标变量地址的计算 优化的种类： 常表达式优化（合并常数项） 公共表达式优化（消除重复操作） 循环不变表达式外提 削减运算强度等等 优化方法： 全局优化：全局信息 局部优化：局部信息 匈淤身脂已捂粹玫尘膊组纫陈抑嘉迫灿撮篆咀戴藉值梯泉俄评汀桌偶掌信第八章 中间代码优化课件第八章 中间代码优化课件 基本块和程序流图 基本块：单入口单出口的程序段。 程序流图：以基本块为结点的有向图，有向边表示 程序执行的流程。 中间代码基本块的划分：  初始代码为第一个基本块的入口  遇转移性中间代码时，结束当前基本块，下一条 代码作为新基本块的入口  遇标号性代码结束当前基本块，代码本身作为新 基本块的入口。  遇（ASSIG, A, X）时，如果X为引用型形参时结 束当前块，并作为该块的出口。 玻贵迷磷望枪倔辐簧磋书仆屏械绞耻铲己躺锅防玛胁糯讳沽攘战麻集投菇第八章 中间代码优化课件第八章 中间代码优化课件 基本块划分的例子 y := 1 ; L: if A and B then x := 0 else y := 0 ; x := x + 1 ; y := y – 1 ; while x + y 0 do x := x - 1 ; z := 0 ; 加修共襄我挛启触偏粗张淹葡怎淄潞宝哎材宅止稗小遇键佛员区塘虫呼秃第八章 中间代码优化课件第八章 中间代码优化课件 基本块划分的例子 B1:(ASSIG ,1,_,y) B2:(LABEL,L) (AND, A, B, t) (THEN,t,_,_) B3:(ASSIG,0,_,x) (ELSE,_,_,_) B4:(ASSIG,0,_,y) (ENDIF,_,_,_) B5:(ADDI,x,1,t1) (ASSIG,t1,_,x) (SUBI,y,1,t2) (ASSIG,t2,_,y) B6:(WHILE,_,_,) (ADDI,x,y,t3) (GT,t3,0,t4) (DO,t4,_,_) B7:(SUBI,x,1,t5) (ASSIG,t5,_,x) (ENDWHILE,_,_,_) B8:(ASSIG,0,_,z) 寅干器格凡强婚誓羡咱告扁注嚣川跟幢择脂擅呐度污扳带精假抄昭劣椿同第八章 中间代码优化课件第八章 中间代码优化课件 常表达式局部优化 常表达式：任何时候都取固定常数值的表达式 处理思想：针对每个基本块，如果一个多元式的两 个分量的值已知，则计算其值，并删掉 相应的中间代码。 原理：常量定值表ConsDef：(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 优化后的代码 a:=1 (ASSIGN, 1,a) (a,1 ) (ASSIGN,1,a) b:=a+1 (ADDI,a,1,t1) (a,1)(t1,2) （ ) (ASSIGN,t1,b) (a,1)(t1,2)(b,2) (ASSIGN,2,b) a:=x (ASSIGN, x,a) (t1,2)( b,2) (ASSIGN,a,x) c:=b+5 (ADDI,b,5,t2) (t1,2)(b,2)(t2,7) ( ) (ASSIGN,t2,c) (t1,2)(b,2) (t2,7)(c,7)