语法制导翻译与中间代码生成.ppt

8.4简单表达式及赋值语句的语法制导翻译一、只含整型变量的简单赋值句的文法： A?i:=E E?E+E|E*E|-E|(E)|i语义变量和语义过程：NEWTEMP：每次调用时，回送一个代表新临时变量名的整数码，临时变量名产生顺序可想象为T1,T2,…。E.PLACE：表示存放E值的变量名在符号表的入口或整数码。GEN(OP,ARG1,ARG2,RESULT)：将四元式填进表中。ENTRY(i)：查找并取得与i相对应的标识符在符号表中的入口第31页,共48页，星期六，2024年，5月 产生式 语义动作(1)A?i:=E {GEN(:=,E.PLACE,—,ENTRY(i))}(2)E?E(1)+E(2) {E.PLACE:=NEWTEMP; GEN(+,E(1).PLACE,E(2).PLACE,E.PLACE)}(3)E?E(1)*E(2) {E.PLACE:=NEWTEMP; GEN(*,E(1).PLACE,E(2).PLACE,E.PLACE)}(4)E?-E(1) {E.PLACE:=NEWTEMP; GEN(@,E(1).PLACE,—,E.PLACE)}(5)E?(E(1)) {E.PLACE:=E(1).PLACE}(6)E?i {E.PLACE:=ENTRY(i)}第32页,共48页，星期六，2024年，5月在进行不同类型量混合运算时，须为非终结符增加类型属性E.MODE。如在产生式E?E(1)opE(2)中，E.MODE的语义规则定义为： {if(E(1).MODE==IntE(2).MODE==Int) E.MODE=Int elseE.MODE=r; }需增加四元式：(itr,A,—,T)，并在运算符上指出相应的类型。如X=Y+I*J(X、Y为实型，I、J为整型)的四元式序列为：(*i,I,J,T1)(itr,T1,—,T2)(+r,Y,T2,T3)(=,T3,—,X)第33页,共48页，星期六，2024年，5月二、控制语句中的布尔表达式的翻译布尔表达式在程序设计语言中有两个基本功用，一是作为控制语句的条件式；二是作为逻辑运算，获得逻辑值。后者的翻译较为简单，下面只考虑作为控制语句中的条件式在高级程序设计语言中，布尔表达式一般的处理方式是采用某种优化措施简化计算过程。考虑下述文法的布尔表达式：E?E∧E|E∨E|┒E|(E)|i|iropi 我们可以用条件句来解释布尔计算：A∨B解释为ifAthentrueelseBA∧B解释为ifAthenBelsefalse┒A解释为ifAthenfalseelsetrue1a=2,b=31||a=2b=31a=0,b=0a=b=0第34页,共48页，星期六，2024年，5月为按此方式翻译布尔式，引入如下三种形式的四元式：(1)(jnz,A1,—,p)，若A1为‘真’，则转向第p个四元式。(2)(jθ,A1,A2,p)，若A1θA2为‘真’，则转向第p个四元式。(3)(j,—,—,p)，无条件转向第p个四元式。这样，ab等价于ifabthen1else0，可翻译为：(1)ifabgoto(4)(2)t:=0(3)goto(5)(4)t:=1(5)…其中用临时变量t存放布尔表达式ab的值。ifA1≠0gotopifA1θA2gotopgotop第35页,共48页，星期六，2024年，5月对abcd，得下列序列：(1)(j,a,b,3)(2)(j,-,-,5)(3)(j,c,d,7)(4)(j,-,-,5)(5)(:=,0,-,t1)(6)(j,-,-,8)(7)(:=,1,-,t1)(8)第36页,共48页，星期六，2024年，5月作为条