Chapt10优化 编译原理（）演示教学.pptVIP

编译原理;词法分析器;第十章 优化;10.1 概述;10.1 概述;中间代码程序段 ;删除公用子表达式后;复写传播;复写传播(一)后;复写传播(一)后;复写传播(二)后;删除无用赋值;删除无用赋值后 ;强度削弱 ;强度削弱后 ;删除归纳变量;删除归纳变量后;中间代码程序段 ;删除归纳变量后;10.2 局部优化;10.2 局部优化;划分四元式程序为基本块的算法: 1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。;划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句) 之间的语句序列组成的。 ;划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句) 之间的语句序列组成的。 ;划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句) 、或一停语句(包括该停语句)之间的语句序列组成的。 ;划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句)、或一停语句(包括该停语句)之间的语句序列组成的。 3. 凡未被纳入某一基本块中的语句，可以从程序中删除。;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;优化措施;优化措施;流图;(1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt;10.2.2 基本块的DAG表示及其应用;7.1.2 图表示法; a:=b*(-c)+b*(-c)的图表示法 ;;;描述计算过程的DAG是一种带有下述标记或附加信息的DAG:;10.2.2 基本块的DAG表示及应用;四元式 DAG 图;四元式 DAG 图;四元式 DAG 图;假设DAG各结点信息将用某种适当的数据结构存放(如链表)。另设置一个标识符与结点的对应函数: ;0，1，2型四元式的基本块的DAG构造算法 对基本块中每一四元式，依次执行以下步骤: 1. 准备操作数的结点 2. 合并已知量 3. 删除公共子表达式 4. 删除无用赋值;1.准备操作数的结点 如果NODE(B)无定义，则构造一标记为B的叶结点并定义NODE(B)为这个结点; 如果当前四元式是0型，则记NODE(B)的值为n，转4。 如果当前四元式是1型，则转2(1) 如果当前四元式是2型，