八中间代码优化.PPTVIP

第八章 中间代码优化 8.1 中间代码优化概述 8.2 基本块划分 8.3 常量表达式局部优化 8.4 公共表达式局部优化 8.5 循环不变式外提 8.6 其他各类优化介绍 8.1 中间代码优化概述 为什么在中间代码上进行优化？ 有些优化只在中间代码一级进行 优化的目标 最小的代价，提高目标程序运行速度 是否优化，优化到何种程度取决于编译器设计者 中间代码优化的分类 按照优化范围：分为局部优化和非局部优化(循环优化和全局优化) 按照优化方法：分为常量表达式优化，公共子表达式优化，循环不变量外提优化 8.1 中间代码优化概述 常量表达式优化(合并常数) v = a*b+c, 若a = 2, b=3, c=5 则可用v = 11替换 u = v +3; u替换成14 公共子表达式节省(消除重复操作) t = b*c; e = b*c+b*c; c=b*c+10; d = b*c+d; t = b*c; e = t+t; c=b*c+10;d = b*c+d; 循环不变量外提 while (k10) {a[k] = b*c; k=k+1} t = b*c; while(k10){a[k]=t;k=k+1;} 8.2 基本块划分 基本块是指程序的一组顺序执行的语句序列，其中只有一个出口和一个入口。 入口：基本块的第一条语句； 出口：基本块的最后一条语句； 语句1 语句2 语句n 语句1 语句2 语句n 语句1 语句2 语句n 8.2 基本块划分 基本块划分方法： 第一条四元式作为第一个基本块的入口； 当遇到标号性四元式时，结束当前基本块，该标号性四元式作为新基本块的入口； 当遇到转移性四元式时，结束当前基本块，并把该转移性四元式作为当前基本块的出口； 当遇到赋值四元式(ASSIG,A,_,x)，且x为变参时，结束当前基本块，并把该四元式作为当前基本块的出口。 8.2 基本块划分 标号性四元式： (LABEL, -, -, L) (ENTRY, Lf, size, Level) (WHILE, -, -, -) (ENDIF,-,-,-) 转移性四元式： (JMP/JMP0/JMP1, -, -, L) (THEN,E,-,-) (ELSE,-,-,-) (DO,E,-,-) (ENDWHILE,-,-,-) (ENDFUNC,-,-,-) 设有源程序如下： y= 1; L: if A and B then x=0 else y=0; x=x+1; y=y-1; while x+y0 do x=x-1; z=0; (ASSIG,1,-,y) (LABEL,-,-,L) (AND,A,B,t) (THEN,t,-,-) (ASSIG,0,-,x) (ELSE,-,-,-) (ASSIG,0,-,y) (ENDIF,-,-,-) (ADDI,x,1,t1) (ASSIG,t1,-,x) (SUBI,y,1,t2) (ASSIG,t2,-,y) (WHILE,-,-,-) (ADDI,x,y,t3) (GT,t3,0,t4) (DO,t4,-,-) (SUBI,x,1,t5) (ASSIG,t5,-,x) (ENDWHILE,-,-,-) (ASSIG,0,-,z) (ASSIG,1,-,y) (LABEL,-,-,L) (AND,A,B,t) (THEN,t,-,-) (ASSIG,0,-,x) (ELSE,-,-,-) (ASSIG,0,-,y) (ENDIF,-,-,-) (ADDI,x,1,t1) (ASSIG,t1,-,x) (SUBI,y,1,t2) (ASSIG,t2,-,y) (WHILE,-,-,-) (ADDI,x,y,t3) (GT,t3,0,t4) (DO,t4,-,-) (SUBI,x,1,t5) (ASSIG,t5,-,x) (ENDWHILE,-,-,-) (ASSIG,0,-,z) B1 B2 B3 B4 B5 B6 B7 B8 程序流图：以基本块为结点的有向图 在一个基本块上进行的优化称为局部优化 在多个基本块上进行的优化称为非局部优化 循环优化(多个基本块) 全局优化(整个程序流图) B2 B5 B3 B4 B1 B6 B7 B8 8.3 常量表达式的局部优化 常量表达式：任何时候都取固定常数值的表达式 优化方法：用常量值替换原来的运算 i = 30; j = 2*i; k = i*j; 可用 k=1800代替 优化的关键：知道哪些量取常数值 方法：建立常量定义表ConDef (id, value) 优化算法： 在入口处，ConDef为空； 读取一个四元式tuple,对tuple中的分量进行值替换得ne