第6章语法制导翻译和语义探究.pptVIP

2、 while语句的翻译 （4）举例 将 while (AB) do if (CD) then X:=Y+Z 翻译成四元式序列。 100：（ j ,A ,B , 102 ） 101： ( j, _ , _ , ) 102： ( j , C , D , 104 ) 103： ( j , _ , _ , ) 104： ( + , Y , Z , X ) 105： ( j , _ , _ , 100) 106： 返回 106 105 3、 for语句的翻译 （1）文法 S→for i:=E1 step E2 until E3 do S1 （2）语义 begin i:=E1 goto over again: i:=i+ E2 over: if i≤E3 then begin S1; goto again end end 3、 for语句的翻译 （3）目标结构 3、 for语句的翻译 （4）举例 将 for I:=1 step 1 until N do M:=M+I翻译成四元式 100 （:= ,1 , _ , I） 101 (j ,_ ,_ ,103) 102 (+ , I , 1 ,I) 103 (j≤ ,I , N ,105) 104 (j ,_ ,_ , ) 105 (+ , M ,I ,T ) 106 (:= ,T , _ , M） 107 (j ,_ ,_ ,102) 108 100 （:= ,1 , _ , I） 101 (j ,_ ,_ ,103) 102 (+ , I , 1 ,I) 103 (j ,I , N , ) 104 (+ , M ,I ,T ) 105 (:= ,T , _ , M） 106 (j ,_ ,_ ,102) 107 或 返回 108 107 6.6 说明语句的翻译 简单说明语句的翻译 1 过程中的说明 2 1、 简单说明语句的翻译 （1）文法 简单说明语句的文法G[D]为： D → int namelist | float namelist namelist → namelist, i | i （2）语义 说明源程序中的简单变量的名字及其性质。 （3）翻译方法 我们可以把文法G[D]改为G[D]： G[D]: D→D, i∣int i∣float i 这样，就能把所说明的性质及时地告诉每个名字i；或者说，每当读进一个标识符时就可以把它的性质登记到符号表中，而无须到最后再集中登记了。 1、 简单说明语句的翻译 ①语义变量和语义过程 语义变量D.att：用于传递名字的性质 过程entry（id,A）：把名字id和性质A登记在符号表中 ②翻译方案 产生式 语义子程序 D→D1 ，i entry(id,D1.att); D.att= D1.att; D→int i entry(id,int); D.att= int; D→float i entry(id,float); D.att= float; 返回 2、 过程中的说明 当考察一个过程或分程序的一系列说明语句时，便可为局部于该过程的名字分配存储空间。对每个局部名字，我们将在符号表中建立相应的表项，并填入相应的信息如类型、在存储器中的相对地址等。 （1）相关术语 活动记录：为了管理过程在一次执行中所需要的信息，使用一个连续的存储块，这个连续的存储块称为活动记录。 相对地址：指对静态数据区基址或活动记录中局部数据区基址的一个偏移量。 2、 常见的中间代码形式 （6）三地址代码 常用的三地址语句与相应四元式对应如下： 三地址语句 四元式 x=y op z (op, y, z, x) x= -y (uminus, y, _, x) x=y (=, y, _, x) param x1 (param, x1, _, _) call P (call, _, _, P) goto