程序设计语言与编译ppt课件_8.2 中间代码.pptxVIP

第八章语义分析;编译程序的任务是将源程序翻译成目标程序。在语义分析阶段，操作各符号的语义值只是手段，其目的还是为了完成源程序中各个语句的翻译，将源代码翻译成目标代码。

出于可移植性、优化等方面的考虑，语义分析阶段并不会直接将源程序翻译成目标程序，而是翻译成某种特定形式的中间代码。;中间代码是一种介于源代码和目标代码之间的代码，它独立于任何一种具体的目标机器，形式简单而语义明确。

使用中间代码作为语义分析的输出具有以下优点：

1.便于表达语义

2. 便于优化

3. 便于移植;中间代码有多种不同的形式（如三地址码、四元式、后缀式、语法树等），本课程采用三地址码的形式。常见的三地址码有：

;三地址码;源程序： inta,b,c,d;

三地址码： vara

varb

varc

vard;源程序： a=-b*c+d;

三地址码： vart1

t1=-b

vart2

t2=t1*c

vart3

t3=t2+d

a=t3;源程序： if(a){a=-b*c;}

三地址码： ifzagotoL1

vart1

t1=-b

vart2

t2=t1*c

a=t2

labelL1;源程序： intmax(intx,inty){...returna;}

三地址码： labelmax

begin

formalx

formaly

...

returna

end;源程序： a=max(b,c);

对应的三地址码： actualb

actualc

a=callmax;随着语法分析的进行，语义子程序依次被调用，对各个符号的语义值进行操作，生成相应的中间代码，完成将源程序翻译成中间代码的任务。

在语法分析的过程中，根据每个产生式所对应的语义子程序（语义动作）进行翻译（生成中间代码）的方法称为语法制导翻译。