编译原理第十章优化PPT.pptVIP

优化对代码进行的变换必须遵守以下原则： 1. 等价原则: 经优化的代码执行结果不变； 2. 有效原则: 优化后 确实执行时间短、占用空间少; 3. 合算原则: 以较低的代价，换取较好的优化效果。 第十章 优 化 优化主要为两类：中间代码的优化(不依赖硬件) 目标代码的优化(依赖硬件) 本章讨论的优化主要指对中间代码进行等价的变换，使其成为执行效率更高的中间码。 P272 图10.1给出了代码优化的地位和结构。 10.1 概述 该语句段的中间代码见P274 图10.2 以下通过一个实例简介各种优化方法。 例见P273 中的C语言程序，以下为其部分语句： i=m-1; j=n; v=a[n]; While (1) { do i=i+1; while (a[i]v); do j=j+1; while (a[j]v); if (i=j) break; x=a[i]; a[i]=a[j]; a[j]=x; } x=a[i]; a[i]=a[n]; a[n]=x; i:=m-1; j:=n ; T1:=4*n; v:=a[T1]; i:=i+1;T2:=4*i;T3:=a[T2]; if T3v goto B2 j:=j-1;T4:=4*j;T5:=a[T4]; if T5v goto B3 if i=j goto B6 T6:=4*i; x:=a[T6]; T7:=4*i; T8:=4*j; T9:=a[T8]; a[T7]:=T9; T10:=4*j; a[T10]:=x; goto B2 T11:=4*i; x:=a[T11]; T12:=4*i; T13:=4*n; T14:=a[T13]; a[T12]:=T14; T15:=4*n; a[T15]:=x; B6 B2 B3 B5 B4 B1 每个数组元素占4个单元 一. 删除公共子表达式（多余运算） T6:=4*i; x:=a[T6]; T7:=4*i; T8:=4*j; T9:=a[T8]; a[T7]:=T9; T10:=4*j; a[T10]:=x; goto B2 B5 T6:=4*i; x:=a[T6]; T7:= T6; T8:=4*j; T9:=a[T8]; a[T7]:=T9; T10:= T8; a[T10]:=x; Goto B2 B5 变换为： 因为：B2中已有T2:=4*i，且在进入B5前未改变过T2; B3中已有T4:=4*j，且在进入B5前未改变过T4; 所以可将B5变换为： T6:=T2; x:=a[T6]; T7:= T6; T8:=T4; T9:=a[T8]; a[T7]:=T9; T10:= T8; a[T10]:=x; Goto B2 B5 二. 复写传播 T6:=T2; x:=a[T6]; T7:= T6; T8:=T4; T9:=a[T8]; a[T7]:=T9; T10:= T8; a[T10]:=x; Goto B2 B5 变换为： T6:=T2; x:=a[T2]; T7:= T2; T8:=T4; T9:=a[T4]; a[T2]:=T9; T10:= T4; a[T4]:=x; Goto B2 B5 因为：B2中已有T3:=a[T2]，且在进入B5前未改变过T3; B3中已有T5:=a[T4]，且在进入B5前未改变过T5; 所以可将B5变换为： T6:=T2; x:=T3; T7:= T2; T8:=T4; T9:=T5; a[T2]:=T5; T10:= T4; a[T4]:=T3; Goto B2 B5 三. 删除无用代码 T6:=T2; x:=T3; T7:= T2; T8:=T4; T9:=T5; a[T2]:=T5; T10:= T4; a[T4]:=T3; Goto B2 B5 对于如右图所示的B5，由于 X,T6,T7,T8,T9,T10 在程序中不再使用，因此可删除对这些变量的赋值语句。 a[T2]:=T5; a[T4]:=T3; Goto B2 对于B6 可以像B5一样作相应的优化变换： T11:=4*i;x:=a[T11]; T12:=4*i;T13:=4*n; T14:=a[T13]; a[T12]:=T14; T15:=4*n;a[T15]:=x; B6 变换为： T11:=T2;x:=a[T2]; T12:=T2;T13:=T1; T14:=a[T1]; a[T2]:=T14; T15:=T