编译原理10-优化.pptVIP

下载本文档

28
0
约3.88千字
约 20页
2018-02-15 发布于河南
举报
版权申诉

编译原理10-优化.ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

编译原理10-优化

第十章代码优化优化原则：等价有效 - 时空效率合算优化所处阶段优化所涉及的范围局部循环全局常用的优化技术删除多余运算代码外提强度削弱变换循环控制条件合并已知量复写传播删除无用赋值删除多余运算 : 删除公共子表达式 (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] (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] 2.代码外提 : 将独立于循环执行次数的表达式提到循环外面 (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] …… 3.强度削弱 : 将强度大的运算换算成强度小的运算 4.变换循环控制条件 5.合并已知量 : 在编译时就计算出值 J=1 A=2*J+5 B=A+1 合并已知量 6.复写传播 7.删除无用赋值 11.2 局部优化是指基本块内的优化基本块: 指程序中一个顺序执行的语句序列，其中只有一个入口语句和一个出口语句。划分中间代码为基本块的算法 ① 求出四元式程序中各个基本块的入口语句 ② 对每一入口语句，构造其所属的基本块 ③ 删除未被纳入任一基本块的语句 10.2.1 基本块的划分 (1) read (C)(2) A:= 0(3) B:= 1(4) L1: A:=A + B(5) if B= C goto L2(6) B:=B+1(7) goto L1(8) L2: write (A)(9) halt (1) read (C)(2) A:= 0(3) B:= 1(4) L1: A:=A + B(5) if B= C goto L2(6) B:=B+1(7) goto L1(8) L2: write (A)(9) halt 基本块内的优化变换保结构的变换删除公共子表达式删除无用代码重新命名临时变量交换语句次序代数变换 x:=x+0 或 x:=x*1 可以从基本块中删除而不改变它计算的表达式集合 x:=y**2 可由快速、等价的语句 x:=y*y 来代替例：对四元式程序进行优化 t1 := 4 – 2 t2 := t1 /2 t3 := a * t2 t4 := t3 * t1 t5 := b + t4 c := t5 * t5 t1 := 4 – 2 t2 := t1 /2 t3 := a * t2 t4 := t3 * t1 t5 := b + t4 c := t5 * t5 t1 := 2 t2 := t1 /2 t3 := a * t2 t4 := t3 * t1 t5 := b + t4 c := t5 * t5 t3 := a * 1 t4 := t3 * 2 t5 := b + t4 c := t5 * t5 * for i=1 to 10 a=i+2*j a = 10 +2*j (1) P:=0 (2) I:=1 (3) T1:=4*I (5) T3:=T2[T1] (6) T4:=T1 (8) T6:=T5[T4] …… (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 (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 (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 ≤