编译原理compiler5.pptVIP

本章目的 经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着需作静态语义检查以及翻译，真正实现不同程序语言的代码间的等价变换。 显然一维，二维数组是上述公式的特例。 一维数组元素A[i]的相对地址为： D＝base+(i-low)*W=base-C+i*W 这里 C=low*W 二维数组元素A[i1, i2]的相对地址为： D＝base+((i1-low1)*d2+i2-low2)*W =base-C+(i1*d2+i2)*W 这里 C=(low1*d2+low2)*W 三、含数组元素的变量的访问 赋值语句中出现的变量既可以是简单变量也可以是数组元素(或称下标变量)，其语法可由下列产生式描述： V→id[Elist]|id Elist→Elist, E|E 其中id或为数组名，或为简单变量名，Elist是由下标表达式组成的下标表。在翻译时要确定数组元素的位置，需要知道该数组的base和C及每一维的长度di，然后根据公式(5.4)，可计算该数组元素的相对地址，但是base，C和di的信息都在相应于数组名id的内情向量中，为了在用Elist→Elist，E|E归约时能得到id表项中上述信息，因此将上述文法改写为： V→Elist]|id Elist→Elist, E|id[E 由产生式Elist→id[E归约时即可将id的表项位置作为Elist的一个综合属性Elist.array的值。以后每当用产生式Elist→Elist，E归约一次，就处理这一维的地址计算(即ej=ej-1*dj+ij)同时将Elist.array这个属性值一直传递下去，直至最后由V→Elist]归约时止。 一个数组元素的地址是由数组零地址base-C和这个元素相对于零地址的偏移量组成，它们分别由V.place和V.offset记录着。对简单变量而言，它的地址则由V.place记录着，而V.offset则恒置为null，这可作为翻译中对简单变量和下标变量的一种识别或区分。 四、含数组元素的赋值语句的翻译方案 相应的文法为： 1 S→V:=E 2 E→E1 op E2 3 E→(E1) 4 E→V 5 V→Elist] 6 V→id 7 Elist→Elist1, E 8 Elist→id[E 翻译方案中的语义动作是这样给出的： (1) 在表达式中或赋值左部遇到的是简单变量(也即由V→id归约)或下标变量(由Elist→id[E归约]，两者区别当然是名字id后是否有下标括号[，当为简单变量时语义动作为：V→id { p:=lookup(id.name)； if p≠nil then begin V.place:=p； V.offset:=null end else error} 当为下标变量时，产生式Elist→id[E中id为数组名，由id.name可查得数组表项位置，同时第一维下标表达式的值已在E.place中，所以语义动作为： Elist→id [E { p:=lookup(id.name)； if （p≠nil）{ Elist.array:=p； Elist.place:=E.place； Elist.dim:=1；} else error} (2) Elist→Elist1，E表明下标变量的下标表已归约了i-1维，现遇到第i维下标表达式E1，此时需生成乘加的三地址指令：即ei=ei-1*di+E1，运算后的中间结果保存在Elist1 place中，第i维的长度di可由函数limit(Elist1 array, i)查得。注意Elist1.array指出数组名的表项位置。 Elist→Elist1, E { t:=newtemp；i:=Elist.dim+1； emit(t‘:=’Elist1.place*limit(Elist1.array, i))；} emit(t‘:=’t+e.place)； Elist.array:=Elist1.array； Elist.place:=t； Elist.dim:=i} (3) 由V→Elist]归约时，数组元素的下标表结束，这时