第七章 语法制导翻译与中间代码生成4.0.ppt

如果数组元素为A[B,C[D,E[F,G]]],那么，在按上面的文法归约下标表达式串时，无法获得数组的内情向量，对每一维的下标都需要保存下来。在该表达式中，就要保存B,D,F等中间结果，如果规模进一步扩大的话，要保存的中间量就会迅速增加，很是繁琐。所以，要寻求能及时计算下标的方法。 定义要点 1 文法允许数组元素嵌套定义 ，A[B,C[2]+1]。 2 为了在归约时完成VARPART的计算，需要修改V的文法。 这样能够在整个下标串elist的翻译过程中随时知道数组名i的入口，获取登记在符号表中的数组信息。 V ? i[elist]|i V ? elist] | i elist ? elist,E | E elist ? elist,E | i[E 回顾一下VARPART的计算公式，它是一个乘加式。 (…(i1*d2+i2)d3+i3)…+in-1)dn+in elist. PLACE limit( ARRAY,k) 语义变量和过程 Elist.ARRAY 数组名的符号表入口 Elist.DIM 数组维数计数器 Elist.PLACE 记存业已形成的VARPART的中间结果名字在符号表中的位置，或者是一个临时变量的整数码。 Limit(ARRAY,k) 函数过程，数组ARRAY的第k维长度dk 现在要考虑的变量有两类，每个变量V有两项语义值。 V.PLACE 简单变量 变量名的符号表入口 下标变量 保存CONSPART的临时变量的整数码 V.OFFSET 简单变量 NULL(用于区分简单变量和下标变量） 下标变量 保存VARPART的临时变量的整数码 语义动作 1 A?V:=E {IF (V.OFFSET=NULL) THEN GEN(:=,E.PLACE,_,V.PLACE) ELSE GEN([]=,E.PLACE,_,V.PLACE[V.OFFSET])} 2 E?E(1)+E(2) { T:=NEWTEMP; GEN(+,E(1).PLACE,E(2).PLACE,T); E.PLACE := T } 3 E ? (E(1)) { E.PLACE := E(1).PLACE } 4 E?V { IF (V.OFFSET=NULL) THEN E.PLACE := V.PLACE; ELSE BEGIN T:=NEWTEMP; GEN (=[],V.PLACE[OFFSET],_,T); E.PLACE:=T; END } 5 V?elist] { T:=NEWTEMP; GEN(-,elist.ARRAY,C,T); V.PLACE:=T; V.OFFSET := elist.PLACE; } 6 V ? i { V.PLACE:= ENTRY(i); V.OFFSET:= NULL; } 7 elist?elist(1),E { T:=NEWTEMP; k:= elist(1).DIM + 1; dk:=LIMIT(elist(1).ARRAY,k); GEN(*,elist(1).PLACE,dk,T);GEN(+,E.PLACE,T,T); elist.ARRAY := elist(1).ARRAY; elist.PLACE := T; elist.DIM := k; } 8 elist? i[E { elist.PLACE := E.PLACE; elist.DIM := 1; elist.ARRAY := ENTRY(i) } A是一个10*20的数组，A[I+2,J+1]:= M+N的翻译 (+, I, 2, T1) (+, J, 1, T2) (*, T1, 20, T3) (+, T2, T3, T3) (-, A, 21, T4) (+, M, N, T5) ([]=, T5, _,T4[T3]) [ I+2 E A i elist , elist E?I+2 { T1:=TEMP; GEN(+,I,2,T1); E.PLACE:= T1 } elist ? A[E { elist.PLACE:=E.PLACE; elist.DIM :=1; elist.ARRAY:=ENTRY(A) } J+1 E E?J+1 { T2:=TEMP; GEN(+, J, 1, T2); E.PLACE:= T2 } elist?elist(1),E { T3:=NEWTEMP; k:= elist(1).DIM+1; dk:=limit(elist(1).ARRAY,k