编译原理第三版 第七章 语义分析与中间代码产生.ppt

第七章 语法制导翻译 和中间代码生成;7.1 语法制导翻译概述 1、属性文法;记号表示;例：简单台式计算器的属性文法; 属性文法可以看作是关于语言翻译的高级规范说明，其中隐去了实现细节。 翻译模式是适合语法制导翻译的另一种语言翻译的描述形式，它给出了使用语义规则进行计算的次序，这样就把某些实现细节表示出来了。在翻译模式中，和文法符号相关的属性和语义规则用{ }括起来。也称语义动作，语义子程序 。 ;语法制导翻译的基本思想; (1) 扩大语法分析器的功能, 在使用某个产生式进行归约(或推导)时,调用相应的子程序进行翻译(生成中间代码) (2) 分析栈改为语义栈 。; 1. 后缀式 后缀式表示法又称逆波兰表示法，是一种表示表达式的方法，它把运算量（操作数）写在前面，算符写在后面 例：中缀表示: a+b,a+b*c,m=1,(a+b)*c, (a+b)*(c-d) 后缀表示: ab+, abc*+, m1=,ab+c*, ab+cd-* 特点: 运算分量的个数与先后次序不变； 运算符的个数不变, 但其出现顺序即为执行顺序 无括号；;一个表达式E的后缀式可如下定义：; 二叉树遍历法即后序遍历二叉树 例如：((a+b) / (c-d)） e;后缀式的推广 [例] 条件算术表达式: if e then X else Y 三目运算 if - then - else : ￥ ;2、树: 也可以用树型结构表示表达式或语句。对表达式中的每个子表达式表式为一棵子树，即简单变量或常数的树就是该变量或常数自身。如果表示e1和e2的树为T1和T2，那么，e1+e2,e1*e2,-e1的树分别为：;3、三地址代码 一般形式：x:=y op z 如： x:=y op z 二元赋值 x:= op y 一元赋值 x:=y 复制赋值 goto L 无条件转移 if x relop y goto L 条件转移 if a goto L 条件转移 三地址代码在具体实现时常表示为记录结构，如四元式、三元式、间接三元式。;[例] a:= b*-c+b*-c 的四元式序列: op arg1 arg2 result (1) ( @ c _ T1 ) (2) ( * b T1 T2 ) (3) ( @ c _ T3 ) (4) ( * b T3 T4 ) (5) (+ T2 T4 T5) (6) (:= T5 _ a); 三元式 一个三元式有三个域 ( op, arg1, arg2 ),其中：arg1,arg2为指向符号表的指针（对程序中的名字或常量）或者是指向三元式表的指针（取代临时变量）。; 三元式中使用了指向三元式的指针，优化时修改较难。 间接三元式优化只需要更改间接码表，并节省三元式表存储空间。 修改四元式表也较容易，只是临时变量要填入符号表，占据一定存储空间。;7.3 说明语句的翻译; (1) 文法 integer i1 , i2, . . . , in D→integer namelist │real namelist namelist→namelist, i │i 问题: 必须把所有名字都归约为namelist后才能把各个名字的 类型填入符号表,需要使用队列或栈保存这些名字 (2) 改写文法 integer i1 , i2 , . . . , in D→integer i │real i │D, i ;(3) 语义变量与语义过程 D.att: 记录说明语句D规定的类型； fill (p, a):填表过程, 把属性a填入符号表入口p的有关栏中； entry(i): 回送标识符i在符号表中的入口（lookup(i.name));;2. 数组说明 (1) 文法 Darray i [ l1 :u1 , l2: u2 , . . . , ln:un ] (