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

本文介绍了一系列代码优化技巧,包括常数合并、常数循环代码提取、消除引入变量、消除共用子表达式及强度化简等,通过这些方法可以显著提升程序性能。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

优化

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

常数合并:
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分析的优化程序.

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值