第11章 代码优化的.pptVIP

第11章 代码优化;【学习目标】 通过本章学习： ◇ 理解所谓代码优化是指什麽？ ◇ 知道最常用的代码优化技术有哪些？ ◇ 知道实现代码优化要进行哪些工作？ 【学习指南】 所谓代码优化是指对程序代码进行等价变换。程序代码可以是中间代码(如四元式代码)，也可以是目标代码。优化的含义是最终生成的目标代码短(而运行速度快)，时空效率优化。最常用的代码优化技术有删除多余运算，循环不变代码外提，强度削弱，变换循环控制条件，合并已知量与复写传播，以及删除无用赋值等等。 【难重点】 从概念上理解什么是代码优化，编译过程中可进行哪些优化，以及进行优化所需要的基础都没有难点，但在实现上是有相当复杂的工作。;11.0 概述 ;优化可在编译的不同阶段进行，对同一阶段，涉及的程序范围也有所不同，在同一范围内，可进行多种优化。目前编译程序的优化工作一般是在中间代码生成之后和（或）目标代码生成之后进行。如图11.1所示。;中间代码的优化是对中间代码进行等价变换。目标代码的优化是在目标代码生成之后进行的，因为生成的目标代码对应于具体的计算机，因此，这一类优化在很大程度上依赖于具体的机器，我们不做详细讨论。; 编译程序的优化工作旨在生成较好性能的目标代码，为此，编译程序需要对代码（中间代码或目标代码）进行各种方式的变换。变换的宗旨是：;11.1 代码优化技术 ;图11.2 中间代码段;1）删除多余运算（删除公共子表达式） ;2）代码外提 ;3）强度削弱 ;4）变换循环控制条件 ;图11.4中，四元式（3）可变为T1＝4，这种变换称为合并已知量。 图11.4中，四元式(6)把T1的值复写到T4中，四元式（8）要引用T4的值，而从四元式（6）到四元式（8）之间未改变T4和T1的值，则将四元式（8）改为T6∶=T5[T1]，这种变换称为复写传播.复写传播之后运算结果保持不变。 图11.4经过变换循环控制条件，合并已知量和复写传播等变换后，变为图11.5。 ;6）删除无用赋值;11.2 局部优化;11.2.1 基本块的划分;划分中间代码（四元式程序）为基本块的算法： ;我们以下述四元式程序为例来说明如何划分基本块的。 例11.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）是程序的第一个语句，因此它是入口语句。 语句（4）和语句（8）是条件转移语句或无条件转移语句的转移目标语句，因此是入口语句。 语句（6）是紧跟在条件转移语句后面的语句，因此是入口语句。;11.2.2 基本块内的优化变换 ;对于删除公共子表达式和删除无用代码这两种优化技术，我们在11.1中已经讨论过，这里简单介绍重新命名临时变量和交换语句次序是什么含义。 重新命名临时变量：假如有语句t∶=b+c，其中t是临时变量。如果把这个语句改为u∶=b+c，其中u是新的临时变量，并且把这个t的所有引用改成u，那么基本块的运算结果不变。 ;代数变换可以把基本块计算的表达式集合变换成代数等价的集合。 其中常用的变换是那些可以简化表达式或用较快运算代替较慢运算的变换。 例如： x∶=x+0或x∶=x*1 这样的语句可以从基本块中删除而不改变它计算的表达式集合， 又如 x∶=y**2 的指数算符通常要用函数调用来实现，使用代数变换，这个语句可由快速、等价的语句 x∶=y*y来代替。;我们从下面例子理解这些变换。;再进行合并已知量变换后得到： t2 := 1 t3 := a * t2 t4 := t3 * 2 t5 := b + t4 c := t5 * t5 ;再使用代数变换： t4 := a + a t5 := b + t4 c := t5 * t5;11.2.3 基本块的DAG表示;图11.8的有向图就是一个DAG。在DAG中，如果（n1，n2，…，nk）是其中一条通路，则称结点n1为结点nk的祖先，结点nk为结点n1的后代。图11.8中结点n6就是结点n9的祖先，n9是n6的后代。 ;我们要用到的有向图，是一种其结点带有下述标记或附加信息的DAG： ;基本块的DAG表示与构造: ;（3）A：=B[C] （=[ ]，B[C]，-，A） ;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 A