[理学]第7章 语法制导翻译和中间代码生成.pptVIP

第七章 语法制导翻译和中间代码生成 语义处理的功能： 静态语义分析 生成中间代码 语义规则与产生式的关联 关联的方式：语法制导定义和翻译模式 注意：语法分析与语义分析逻辑上分开，实际上两者结合，以提高分析 效率。 对语义规则求值的一般过程 输入符号串 分析树 依赖图 语义规则的计算顺序 编译过程 属性文法 属性可以代表任何对象：类型、内存单元、数字、字符串或其他对象。 每个文法符号都有一个相关的属性集。 属性分为两个子集：综合属性和继承属性 一个属性文法包含一个上下文无关文法和一系列语义规则，这些语义规则附在每个产生式上。 在语法分析过程中，按语义规则执行动作，实现语义处理（计算或翻译成中间代码）。 语义规则建立了属性间的依赖关系，可以用图来表示。 类型检查 语法制导定义的形式 在语法制导定义中，每个产生式A ? ?都有一个形如 b = f (c1,···,cn)的语义规则集合与之关联，其中f 是函 数，并满足下列两种情况之一： b是A的一个综合属性，且c1,···,cn是该产生式文法符号的属性。 b是产生式右部某个文法符号的一个继承属性，且c1,···,cn也是该产生式文法符号的属性。 语法制导翻译概述： 在语法分析的过程中，归约时根据产生式所对应的语义 规则执行相应的语义动作，这种方法称为语法制导翻译。 语法制导翻译具体实现途径：假设有一个LR语法分析 器，现在把它的分析栈扩充，使得每个文法符号都跟有语义 值，同时把LR分析器的能力扩大，使它不仅执行语法分析 任务，且能在用某个产生式进行归约的同时调用相应的语义 值保存在扩充的分析栈里“语义值”栏中。如果语义动作是产 生某种中间代码的动作，那么则可在语法分析的制导下，随 着分析的进展逐步生成中间代码。 继承属性 分析树中，一个节点的继承属性值是由该节点的父节点和(或)兄弟节点的属性决定的。 用继承属性来表示程序设计语言上下文结构的依赖性是很方便的。 虽然我们总是可以只用综合属性来改写语法制导定义，但是使用带有继承属性的语法制导定义会更自然。 中间代码的形式 逆波兰记号（后缀式） 表达式 逆波兰表示 a+b ab+ a+b*c abc*+ (a+b)*c ab+c* a:=b*c+b*d abc*bd*+:= 三元式和树形表示 三元式组成部分：算符op，第一运算对象ARG1，第二运算 对象ARG2。 例如：a:=b*c+b*d表示为 （*，b，c） （*，b，d） （*，(1)，(2)） （:=，(3)，a） 四元式 四元式的四个组成部分：算符op，第一运算对象ARG1，第 二运算对象ARG2，运算结果RESULT。 例如：a:=b*c+b*d表示为 （*，b，c，t1） （*，b，d，t2） （*，t1，t2，t3） （:=，t3，-，a） 简单赋值语句的翻译 产生式 语义规则 S ? id := E {p := lookup(id.name); if p != nil then emit (p ‘:=’ E.place) else error} E ? E1 + E2 {E.place := newtemp; emit (E.place ‘:=’ E1.place ‘+’ E2.place)} E ? E1 * E2 {E.place := newtemp; emit (E.place ‘:=’ E1.place ‘*’ E2.place)} E ? - E1 {E.place := newtemp; emit (E.place ‘:=’ ‘uminus’ E1.place)} E ? (E1) {E.place := E1.place} E ? id {p := lookup(id.name); if p != nil then E.place := p else error} 布尔表达式的翻译 5.1 布尔表达式的翻译方法 布尔表达式a or b and not c翻译成四元式为 t1 := not c t2 := b and t1 t3 := a or t2 ab 等价于if ab then 1 else 0 翻译成四元式为 if ab goto (4) t := 0 goto (5)