第5章中间代码生成1题稿.ppt

* 第八节 数组的翻译 这节讨论三个问题: 数组说明的翻译 数组元素的翻译 含数组元素的赋值语句的翻译 1 数组说明语句的翻译 进行数组说明语句的 翻译时，要把数组名填入符号表, 并建立一内情向量表，记录维数，下标上下界，类型等。 简单起见，只考虑如下的数组说明: A:array[L1:U1, L2:U2,....... Ln:Un ] of TYPE * 文法如下: D→i:array[ LIST ] of T LIST→i(1):i(2)| LIST (1) , i(1):i(2) T→integer|real|char|boolean 语义子程序如下: LIST→i(1):i(2) {建立一个仅含 i(1):i(2) 的队列LIST.Q } LIST→ LIST (1) , i(1):i(2) {把 i(1):i(2) 插入队列LIST.Q中 } D→i:array[ LIST ] of T { i 填入符号表并标志为数组；开辟内情向量表， 把LIST.Q 中的上下界对逐一取出，计算 di ，并将 i(1)，i(2) ， di， 放入内情向量表；计算维数 n 及 c, 将 T.attr，n，c 填入内情向量表。 } 数组说明语句不产生四元式。 * 数组元素相对地址的计算： 一维：A[i]的相对地址为： a+(i-L1)* elemlength =(a-L1* elemlength) +i* elemlength 其中： elemlength为每个元素的宽度，L1为数组的下界，a为分配给数组的基地址。 可以设conspart=a-L1* elemlength ， varpart=i* elemlength 则原式等价为：conspart+varpart 二维：A[i,j]的相对地址为： a+[(i-L1)*d2+(j-L2)]* elemlength = [a-(L1*d2+L2)* elemlength] + [i*d2+j]* elemlength 其中：d2为j可以取值的个数. 可以设 conspart=a-(L1*d2+L2)* elemlength varpart= [i*d2+j]* elemlength 则原式等价为：conspart+varpart * 示例： 设A是一个10＊20的二维数组，每个元素占用一个字节，数组的各维下界为1，数组的基地址，即A[1,1]的地址为a,则A[i,j]的相对地址为： Addr(A[i,j]) =a+[(i-1)*20+(j-1)]*1 =(a-21)+(20*i+j) 其中conspart=a-21 ，varpart= 20*i+j 若每个元素占用4个字节，则A[i,j]的相对地址为： Addr(A[i,j]) =a+[(i-1)*20+(j-1)]*4 =(a-84)+(80*i+4*j) 其中conspart= a-84 ，varpart= 80*i+4*j 以此类推n维： ((…((i1*d2+i2)d3+i3)…)dk+ik)* elemlength + a-((…(L1*n2+L2)*n3+L3)…)dk+Lk)* elemlength * c = { ( L1 )*d2d3d4...dn + ( L2 )* d3d4...dn + ( Ln-1)* dn + ( Ln ) }*elemlength = {(...((L1d2+L2)d3+L3)d4+L4)......) dn + Ln }*elemlength L1 u1 d1 L2 u2 d2 Ln un dn a c n type 内情向量表 * 2 数组元素的翻译 设数组元素为: A[ E1,E2,..