编译原理第18讲(第八章).ppt

第八章 语义分析 8.3 中间代码生成 8.3.3 简单说明语句的翻译 简单说明语句的属性文法 过程中的说明语句的属性文法 8.3.4 布尔表达式的翻译 布尔表达式的翻译举例 8.3.5.2 控制语句结构的属性文法 “拉链”与“回填”技术 “拉链”的例子 “回填”的例子 布尔表达式翻译需要的语义元素: 符号表 name type def add … L label not r (p) goto 0 … (q) goto p … (r) goto q 定义标号语句的产生式 Ｓ→label　Ｓ label→ｉ： 那么，当用label→ｉ：进行归约时，应做如下的语义动作： 1.若ｉ所指的标识符（假定为Ｌ）不在符号表中，则把它填入，置“类型”为“标号”，“定义否”为“已”，“地址”为nextstat。 2.若Ｌ已在符号表中但“类型”不为“标号”或“定义否”为“已”，则报告出错。 3.若Ｌ已在符号表中，则把标志“未”改为“已”，然后，把地址栏中的链首（设为ｑ）取出，同时把nextstat填在其中，最后，执行backpatch（ｑ，nextstat）。 翻译ｇｏｔｏ语句时，还有两点必须注意 第一：相同名字的标号可以在不同名字作用域中定义。如： （１）　ｂｅｇｉｎ （２）　 Ｌ：ｂｅｇｉｎ （３）　 ｇｏｔｏ　Ｌ；//延迟使用 （４）　 …… （５）　 Ｌ：… （６）　 ｅｎｄ （７）　ｅｎｄ 第二，转移标号是非法的 （１）for　ｉ∶=１　to　10　do （２）　 begin gotoＬ； （３）　 for　ｊ∶=１　to 20 do （４）　 begin goto　Ｌ； … … （ｎ）　 L: end　｛forｊ｝ end　｛for i｝ 处理到第（ｎ）行后，第（４）行的goto目标得以解决。而第（２）行的goto　Ｌ是非法的，但只有当循环关闭时才能确定。 8.3.6 过程调用的翻译（四元式产生） 过程调用的实质是把程序控制转移到子程序(过程段)。在转子之前必须用某种办法把实在参数的信息传给被调用的子程序，并且应该告诉子程序在它工作完毕后返回到什么地方。 传递实在参数 ， 过程调用 ＣＡＬＬ　Ｓ（Ａ＋Ｂ，　Ｚ） 将被翻译成： 计算Ａ＋Ｂ置于Ｔ中的代码／　Ｔ∶=Ａ＋Ｂ／ ｐａｒ　Ｔ／第一个实参地址／ ｐａｒ　Ｚ／第二个实参地址／ ｃａｌｌ　Ｓ／转子指令／ 如何产生反映这种模式的四元式 过程调用语句的文法： （１）S→callｉ（〈arglist〉） （２）arglist→arglist１，E （３）arglist→E 在处理实在参数串的过程中记住每个实参的地址 （１）S→callｉ　（〈arglist〉） ｛For　队列　argulist.QUEUE 的每一项ｐ　Do Gen(par _,_,p)； Gen(call,_,_，entry(i))} （２）arglist→arglist１，E ｛把Ｅ.PLACE 排在arglist１ .QUEUE 的末端； arglist.QUEUE:= arglist１ .QUEUE ｝ （３）arglist→E ｛建立一个arglist.QUEUE ，它只包含一项E.PLACE｝ ?记录实在参数个数 8.3.7 数组的翻译 数组说明和数组元素的引用 将产生两组计算数组元素地址的四元式 一组计算ＶＡＲＰＡＲＴ，将它放在某个临时单元Ｔ中； 一组计算ＣＯＮＳＰＡＲＴ，放在另一个临时单元T1中。 同时用表示数组元素的地址。 对应“数组元素引用”（引用其值）和“对数组元素赋值”有两个相应的四元式：“变址取数”和“变址存数”。 “变址取数”的四元式是： （＝［　］， T1[ T ] ，－，Ｘ）／相当于Ｘ∶= T1[ T ] ／ “变址存数”的四元式是： （［　］＝，　Ｘ１，－， T1[ T ] ）／相当于T1[ T ] :=x／ 习题 …… （ 10 ） goto L （ 10 ） goto 0 …… …… 链尾 （ 10 ） （ 20 ） goto L