程序设计语言与编译ppt课件_9.1 优化的概念.pptxVIP

第九章代码优化;优化是一种等价的，有效的程序变换（等价——不改变程序运行结果；有效——提高程序的效率，包括时间效率和空间效率）。

优化的时间

编码阶段的优化：源代码优化（数据结构和算法）。

编译阶段的优化：中间代码优化、目标代码优化。;局部优化：基本块内的优化

全局优化：基本块之间的优化

基本块的定义

程序中的一段语句序列，它有一个唯一的入口语句，和一个唯一的出口语句。基本块内的所有语句的执行次数都是相同的。;1. 找到所有入口语句

程序的第一条语句；

能由转移（条件转移/无条件转移）语句转移到的语句；

紧跟在条件转移语句后的语句。

2. 找到所有出口语句

转移（条件转移/无条件转移）语句；

停止语句。

;3. 划分基本块

一个入口语句到下一个入口语句（不包括）之间的语句序列；

一个入口语句到下一个出口语句（包括）之间的语句序列。

4. 删除未被划入基本块的语句

;……

i=1;

j=i+2;

x=j;

y=a*b+a*b*c+a*b*c*x;

x=1;

if(x0){

y=x+y;

}

;……

i=1

t0=i+2

j=t0

x=j

t1=a*b

t2=a*b

t3=t2*c

t4=t1+t3

t5=a*b

t6=t5*c

;……

[B1]

i=1

t0=i+2

j=t0

x=j

t1=a*b

t2=a*b

t3=t2*c

t4=t1+t3

t5=a*b

;程序流图是程序结构的图形表示，程序流图可定义为：

G=(N,E,n0)

N ——结点的集合，每个结点代表一个基本块。

n0 ——首结点（包含程序第一条语句的基本块）。

E ——有向边的集合。如果Bj紧跟在Bi之后，且Bi的出口语句不是无条件转移或停止语句，则Bi与Bj之间有一条有向边；如果Bi的出口语句为转移语句，其转移的目标为Bj的入口语句，则Bi与Bj之间有一条有向边。

;实例：程序流图