[编译原理 第五章.ppt

第五章 语法制导翻译及中间代码生成 §5.1 引言 3. 语法制导翻译：对文法中的每一产生式，都附加一“语义动作”或称“语义子程序”，且在语法分析过程中，每当用一产生式进行推导或归约时，语法分析程序除执行相应的语法分析动作之外，同时调用相应的语义子程序。语法制导翻译模式在一遍扫描中，既完成语法分析任务，又完成语义分析和中间代码生成方面的工作。 4. 与文法符号相关联的语义信息可能有许多种，例如：“类型”、“种属”、“编码”、“地址”或是在符号表中登记项的位置等等，可用X.TYPE、X.CAT、X.VAL等表示其具体的语义值。语义信息的存放：设置语义信息栈对语法分析栈的每项加以扩充，放语义信息字段。 为在语法分析过程中平行地进行语义处理，除了设置语法分析栈外，还设置了语义信息栈，用来存放语义信息。当句柄E+T出现在栈顶时的情况如下图： 2. 含下标变量的赋值语句的翻译 1）文法描述： A-V:=E V-i[EList] | i EList-EList,E | E E-E+E | (E) | V 文法改写为： A-V:=E V-EList] | i EList-EList,E | i[E E-E+E | (E) | V 为描述语义动作，定义若干语义属性和辅助函数如下： V.PLACE V.OFFSET Eist.No EList.DIM EList.PLACE Access_C(int no) Access_a(int no) Access_d(int no, int k) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2)静态数组语义过程 ①V-i { V.PLACE:=ENTRY(i); V.OFFSET:=null } ②E-V { if (V.OFFSET=null) then E.PLACE:=V.PLACE else { T:=NEWTEMP(); GEN(=[], V.PLACE [V.OFFSET], 0, T); /*产生变址取数四元式*/ E.PLACE:=T } } ③E-(E(1) ) {E.PLACE :=E(1) .PLACE} ④E- E(1) + E(2) { T:=NEWTEMP(); GEN(+, E(1) .PLACE, E(1) .PLACE ,T); E.PLACE :=T } Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 信 息 表 格 管 理 程 序 词法分析器 语法分析器 语义分析程序 中间代码生成器 代码优化程序 目标代码生成器 错 误 检 查 和 处 理 程 序 源程序 目标程序 1. 目标代码生成 1）语义分析 → 产生机器语言或汇编语言形式的目标代码 2）语义分析 → 翻译为中间代码 → 翻译为目标代码 方法2)便于优化处理，功能分离，结构清晰。 2. 中间代码的生成与语言的语义密切相关，但语义的形式化描述是一个难题。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. E-E+T|T T-digit (d