第08章语法制导翻译和中间代码生成(免费阅读).pptVIP

第8章 语法制导翻译和中间代码生成 属性文法 语法制导翻译方法的基本思想 几种典型的中间代码形式 一些语法成分的翻译  语义分析的两个功能 第一，审查每个语法结构的静态语义，即验证语法结构合法的程序是否真正有意义。有时把这个工作称为静态语义分析或静态审查. 第二，如果静态语义正确，语义处理则要执行真正的翻译，即，或者将源程序翻译成程序的一种中间表示形式（中间代码），或者将源程序翻译成目标代码。 静态语义分析 　① 类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程.，编译程序必须报告不符合类型系统的信息。② 控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的这样的语句，则就报错。③ 一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。④ 相关名字检查。有时，同一名字必须出现两次或多次。例如，Ada 语言程序中，循环或程序块可以有一个名字，出现在这些结构的开头和结尾，编译程序必须检查这两个地方用的名字是相同的。⑤ 名字的作用域分析。 动态语义分析 如果静态语义正确，语义处理则要执行真正的翻译，即，或者将源程序翻译成程序的一种中间表示形式（中间代码），或者将源程序翻译成目标代码。 语义的形式化描述工具 文法模型---- 属性文法 命令式或操作式模型 ----- 操作语义学 应用式模型-----指称语义学 公理式模型-----公理语义学 规格说明模型-----代数数据类型 8.1 属性文法 属性文法的定义 三元组：Ａ＝（Ｇ，Ｖ，Ｆ） Ｇ 是上下文无关文法 Ｖ 属性的有穷集 Ｆ 关于属性的断言和谓词 用法 针对语义，为文法符号设置属性 终结符使用单词的属性 为每个产生式设置语义规则 描述各属性的关系 例8-1 计算器的设计 编制算术表达式的文法 引入属性表示语义信息 将值 val 作为表达式 E、项 T 和因子 F 的属性 用语义规则描述表达式的求值 属性文法（语法制导定义） L → E print( E.val ) E → E1 + T E.val := E1.val + T.val E → T E.val := T.val T → T1 * F T.val := T1.val * F.val T → F T.val := F.val F → ( E ) F.val := E.val F → digit F.val := digit.lexval lexval 是单词 digit 的属性 例8-3 3*5+4 的语法树与属性计算 例8-2 说明语句类型信息统计 方法 编写说明语句的文法 将类型信息作为类型描述 T 的属性 type 和变量表 L 的属性 in。 目的 分析说明语句 D，为变量指定类型 语法制导定义 D → T L L.in := T.type T → int T.type := ‘integer’ T → real T.type := ‘real’ L → L1,id L1.in := L.in addtype( id.entry, L.in ) L → id addtype( id.entry, L.in ) entry 单词 id 的属性 addtype 在符号表中为变量添加类型 信息 例8-4 real id1,id2,id3 的分析树和属性计算 属性分类： 综合属性 从其子结点的属性值计算出来的； 如：E.val、T.type 继承属性 从其兄弟结点和父结点的属性值计算出来的 如：L.in 固有属性（单词属性） S-属性定义： 仅包括综合属性 对于所有Ａ → Ｘ1 Ｘ2 …Ｘn， Ａ的属性计算仅用Ｘ1…Ｘn 的属性 如：算术表达式求值的属性文法 L-属性定义： 其属性可用深度优先的顺序从左至右计算 对于所有 Ａ→Ｘ1 Ｘ2 … Ｘn Ｘi 属性计算仅使用Ａ Ｘ1 Ｘ2 … Ｘi-1 的属性 如：说明语句的属性文法 8.2 中间语言 用于编译程序 源程序经过语义分析被译成中间代码序列 （中间语言的语句） 用中间语言过渡的好处： 便于编译系统的实现、移植、代码优化 编译中的语义分析 描述方法 利用属性文法描述如何将各种语句和表达式翻译成中间代码 工作方式 分析与综合并行进行 每识别出一个语言结构时， 完成相应的语义检查与中间代码生成 常用的中间语言 三地址代码（四元式