8 语法制导翻译和中间代码生成.pptVIP

第8章 语法制导翻译和中间代码的生成 本章我们将把上一章所介绍的方法和技术应用于语义分析和中间代码的生成中。 紧接在词法分析和语法分析之后，编译程序要做的工作是进行静态语义检查和翻译。静态语义检查通常包括：1。类型检查。2。控制流检查。3。一致性检查。4。相关名字检查。 翻译为中间语言的好处： （1）便于进行与机器无关的代码优化； （2）使编译程序改变目标机更容易； （3）使编译程序的结构在逻辑上更为简单明确，以中间语言为界面，编译前端和后端的接口更清晰。 8.3 中间代码的形式 逆波兰式（后缀式） 三元式 树形表示 四元式 8.3.1 逆波兰式 也叫“后缀表达式”，主要用于表达算术表达式。这种表示方法把运算对象写在前面，把运算符号写在后面。a+b写成ab+ 8.4 简单赋值语句的翻译 8.5 布尔表达式的翻译 求值布尔式的翻译 控制语句中布尔式的翻译 8.5.1 求值布尔式的翻译 例: 布尔表达式ab or cd and ef可以生成如下代码序列(起始点代码序号为100)： 100: if(ab) goto 103 107: T2:=1 101: T1:=0 108: if(ef) goto 111 102: goto 104 109: T3:=0 103: T1:=1 110: goto 112 104: if(cd) goto 107 111: T3:=1 105: T2:=0 112: T4:=T2 and T3 106: goto 108 113: T5:=T1 or T4 第二种方法,看为等价语句 if ab or cd and ef then 1 else 0 100: if(ab) goto 106 101: goto 102 102: if(cd) goto 104 103: goto 108 104: if(ef) goto 106 105: goto 108 106: t:=1 107: goto 108 108: t:=0 8.5.2 控制语句中布尔表达式的翻译 三种控制语句： S? if E then S1 | if E then S1 else S2 | while E do S1 对于转移条件E的翻译（E为a rop b的形式）： If a rop b goto E.true goto E.false 使用E.true E.false表示E的真假出口转移目标 8.6 控制结构的翻译 If E then S1 else S2 100: if E goto E.true (102) 101： goto E.false (i+2) 102: …… S1 i : i+1: goto END(j+1) i+2: ……. S2 j : j+1: 8.6.3 for循环语句 * 8.3.2 三元式 是以(op , arg1 , arg2)表示一个代码：op表示算符，arg1和arg2分别表示两个操作数。a:=b*c+b*d的三元式表示为： (*, b, c) (*, b, d) (+, (1), (2)) (:= , (3) , a) 三元式包含对中间结果的显示应用，每一个三元式隐含着它的运算结果，是以三元式标号的形式被引用的。 8.3.3 树形表示 实际上是三元式的另一种形式。简单变量或常数的树形有自身单节点表示，二目操作和一目操作则由操作符为根，操作数为它的子节点的树锁构成。 8.3.4 四元式 它的代码由四部分组成： (op , arg1 , arg2，result)。其中op表示算符，arg1表示第一操作数，arg2表示第二操作数，result表示操作结果。如a:=b*c+b*d的四元式表示为： (*, b, c, t1) (*, b, d, t2) (+, t1, t2, t3) (:= , t3 , -, a) 跳转（jump，－，－，L） （jrop，B，C，L） 四元式可以使用简单赋值语句的形式