Compiler Construction using Flex and Bison(译五--优化)

优化

有可能重构造语法分析树以减少其规模或为代码生成增加一个阶段用于生成更有效的代码.一些优先可以适用于语法分析树,但这里说明使用源代码而不是语法分析树来说明.

常数合并:
I := 4 + J - 5; --> I := J-1;
或
I := 3; J := I+2 ; ---> I := 3; J :=5;

常数循环代码提取(循环优化):
From:
while (count < limit ) do
INPUT SALES;
VALUE :=  SALES * (MARK_UP + TAX );
OUTPUT := VALUE;
COUNT := COUNT +1;
end;  -->
to: 
TEMP := MARK_UP + TAX;
while ( COUNT < LIMIT) do
INPUT SALES;
VALUE := SALES * TEMP;
OUTPUT := VALUE;
COUNT := COUNT +1;
end;
消除引入变量: 许多程序运行时间花费在循环体中,所以循环优化可以导致显著的性能提高.
经常一个for循环的引入变量只在循环中使用.对于这种情况,引入变量可以保存在寄存器中而不是在内存中.而且当for循环的引入变量只是引用数组的下标,那么它可以被初始化为数组的起始地址,并通过地址计算来递增.在这种情况下,它的初始值可以被设置.

From:
For I := 1 to 10 do
A[I] := A[I] +E
to: 
For I := address of first element in  A
to address of last element in A
increment by size of an element of A do
I := I +E

消除共用子表达式:
From:
A := 6 * (B+C);
D := 3 + 7 * (B+C);
E := A * (B+C);
to  :
TEMP := B+C;
A    := 6*TEMP;
D    := 3*7*TEMP;
E    := A*TEMP;

强度化简:
2*x -->  x+x
2*x -->  shift left x

数学等价变换:

a*b + a*c --> a*(b+c)
a - b  --> a + (-b)

我们并不举例说明Simple分析的优化程序.