编译原理(第二版)第八章语法制导翻译和中间代码生成.ppt

《编译原理(第二版)第八章语法制导翻译和中间代码生成.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第八章语法制导翻译和中间代码生成教学要求：本章介绍编译程序的第三个阶段语义分析及中间代码生成的设计原理和实现方法，要求理解语法制导翻译、语义动作的基本概念；掌握属性文法和中间代码。教学重点：语法制导翻译基本思想，语法制导翻译概述，基于属性文法的处理方法，中间代码的表示形式。语义处理功能：1、静态语义审查：验证语法结构合理的程序是否真正有意义。2、解释执行动态语义、生成代码：执行真正的翻译（生成中间代码或目标代码）。1、属性文法（说明语言语义的工具）定义属性文法是一个三元组:A=(G,V,F),其中：G:是一个上下文无关文法。V:有穷的属性集

2、,每个属性与文法的一个终结符或非终结符相连。如它的类型、值、代码序列、符号表内容等等。F:关于属性的属性断言或一组属性的计算规则(称为语义规则).断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或非终结符相联的属性.8.1属性文法例1：定义表达式的文法如下：EE+EE(E)En给出定义表达式值的属性文法。为文法符号E引进属性符号val,用E.val表示E的值，属性计算规则以赋值语句的形式给出，附在每个产生式后，并用大括号括起来。为了明确E的不同出现位置，用上角标区别。终结符n的值是词法分析程序提供的，这里用n.lex表

3、示。下面给出属性文法：EE1+E2{E.val:=E1.val+E2.val}E(E1){E.val:=E1.val}En{E.val:=n.lex}属性文法的主要思想有两点：首先对于每个文法符号引进相关的属性符号；其次对于每个产生式写出属性值计算的规则。2、属性分类综合属性：一个结点的属性值是从其子结点的属性值计算出来的。继承属性：一个结点的属性值是由该结点兄弟结点和父结点的属性值计算出来的。3、属性的计算综合属性计算自底向上按照语义规则来计算各结点的综合属性值继承属性计算根据依赖关系决定计算顺序例1台式计算器程序的语法制导定义产生

4、式语义规则{print(Eval)}{Eval:=E1val+Tval}{Eval:=Tval}{Tval:=T1val*Fval}{Tval:=Fval}{Fval:=Eval}{Fval:=digitlexval}1、与L→E相连的语义规则是一个过程，打印E的值，理解为L的属性是虚的或空的。2、E,T,F的属性val都为综合属性。3、lexval是单词digit的属性（由词法程序提供）。LEEE1+TETTT1*FTFF(E)Fdigitdigitlexval:=3Fval:=3Tval

5、:=3digitlexval:=5Fval:=5Tval:=15*Eval:=15+digitlexval:=4Fval:=4Tval:=4Eval:=19L例5.2输入：3*5+4例2：说明语句语法制导定义(属性文法)L.in:=T.typeT.type:=integerT.type:=realL1.in:=L.inaddtype(id.entry,L.in)addtype(id.entry,L.in)entry单词id的属性addtype在符号表中为变量填加标识符的类型信息D→TLT→intT→realL→L1,idL→

6、id例2：realid1,id2,id3的分析树和属性计算realT.type=realid1L.in=real,id2L.in=real,id3L.in=realDaddtypeaddtypeaddtype1、语法制导翻译基本思想：根据翻译的需要设置文法符号的属性，以描述语法结构的语义。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。注：1)语法制导翻译的依据是语义子程序。2)每个产生式均配置一个语义子程序，当语法分析进行归约和推导时，就调用相应语义子程序，完成一部分翻译任务，翻译的结果是生成相应中间代码。3)语法分析完成

7、，翻译工作也告结束。8.2语法制导翻译2、语义子程序：描述一个产生式所对应的翻译动作。注：1)语义子程序中的翻译工作在很大程序上决定要产生什么形式的中间代码。一般说来，这些工作包括改变某些变量的值、查填各种符号表、发现并报告源程序错误、产生中间代码等。2)若使用LR语法分析，则下推栈包含三个部分：状态栈、符号栈和语义栈，且语义栈与状态栈和符号栈同步变化（如P174）。3)当产生式进行归约时，需对产生式右部符号的语义值进行综合，其结果作为左部符号的语义值保存到语义栈中。例4.3在下面的语法制导定义中，属性.val用于表达式值的计算。在与之等价

8、的翻译方案中，设计一个与分析栈并列的语义栈val，用于存放文法符号对应的值，top指针在任何时刻与分析栈栈顶指针所指对象相同。产生式语法制导定义翻译方案L→Eprint(E.va