第8章 语法制导翻译及中间代码生成.ppt

* * * * * * * * * * 二维数组a [l1：u1，l2：u2]： 必须事先约定存储顺序。常见的有按行存放和按列存放两种。如有一个2行3列的二维数组a [1：2，1：3]，则有： 按行存放顺序为：a[1，1]，a[1，2]，a[1，3]，a[2，1]，a[2，2]，a[2，3] 按列存放顺序为：a[1，1]，a[2，1]，a[1，2]，a[2，2]，a[1，3]，a[2，3] 存放顺序不一样则数组元素存储地址的计算就不一样，下面我们仅讨论按行存放方式的数组元素存储地址的计算。 例：A是10×20的二维数组。 按行存放： A[1 , 1] A[1 , 2] 第一行 . A[1, 20] A[2, 1] 第二行 A[10, 20] 第十行 . . . . . . . . . . . 按列存放： A[1 , 1] A[2 , 1] 第一列 . A[20, 1] A[1, 2] 第二列 A[1, 20] 第十列 . . . . . . . . . . . 例如：对于二维数组a [1：2，1：3]， a [ i，j ] ＝起始地址 + 元素在数组中的线性序号 – 1 ＝b + ( i - 1) * 3+ ( j - 1) 一般地二维数组a [l1：u1，l2：u2]，数组元素a [ i，j ] 的存储地址计算为： a [ i1，i2 ] ＝起始地址 + 元素在数组中的线性序号–1 ＝b +[(行数-1) * 每行个数+ 列数] - 1) ＝b + [((i1 - l1+1)- 1) * (u2- l1+1) + (i2 - l2+ 1) ]- 1) ＝b + [(i1 - l1) * n2 + (i2 - l2+ 1) ]- 1) ＝b-( l1* n2+ l2)+ [(i1* n2)+ i2] ＝C+ [(i1* n2)+ i2] 其中：n2＝(u2- l1+1) 考虑存储宽度则有： a [ i1，i2 ] ＝C+ [(i1* n2)+ i2] * ω 其中：C＝b-( l1* n2+ l2) * ω，n2＝(u2- l1+1) 多维数组a [l1：u1，l2：u2，…，lk：uk]： 对于任一元素a[i1，i2，…，ik] 的存储地址计算为： a[i1，i2，…，ik] ＝起始地址 + 元素在数组中的线性序号–1 ＝b- ( (…( (l1* n2+ l2) …)* n3+ l3) * nk+ lk) +( ( (…i1* n2+ i2)* n3+ i3)* n4+…)* nk+ ik ＝C+( ( ( …i1* n2+ i2)* n3+ i3)* n4+…)* nk+ ik 考虑存储宽度则有： a[ i1，i2，…，ik ] ＝C+V 其中：C＝ b- ( (…( (l1* n2+ l2) …)* n3+ l3) * nk+ lk) * ω， V＝(+( ( ( …i1* n2+ i2)* n3+ i3)* n4+…)* nk+ ik) * ω nj＝(uj- lj-1+1) 1≤j≤k 分析一下C中的各项，在处理数组说明语句时就可以得到。因此C的值在编译时刻就能算出，并保存到数组a的相关符号表项里。这样到运行时刻求数组元素地址时，仅需要计算V的值，直接调用C的值，避免重复计算。 实现数组元素的地址计算时，产生两组四元式序列。一组产生基本地址C，其值存放在临时单元T1中；另一组计算变元地址V的值，将其存放在另一个临时单元T中。用T1[T]表示数组元素的地址。 这样，对应数组元素的引用和赋值就有两种不同的四元式： 变址取数： 若有X:＝T1[T]，可用四元式表示为（＝[ ]，T1[T]，_，X） 变址存数： 若有T1[T]:＝X，可用四元式表示为（[ ]＝，X，_，T1[T]） 例 8.26 设 A为一个 10 x 20的数组，即 nl＝10，n2＝20。对赋值语句 x:＝A[i，j]的四元式序列为： （ * ， i ， 20，t1） （ ＋ ， t1 ， j ，t1） （ - ， A ， 21，t2） （＝[]，t2