类型表达式

简单赋值语句的翻译¶

赋值翻译的主要任务：生成对表达式求值的三地址码

例：

将数组引用翻译成三地址码要解决的主要问题是确定数组元素的存放地址

其中\(base\)是基地址，\(i\times w\)是偏移地址

数组元素\(a[i_1][i_2]\dots[i_k]\)的相对地址是

\[base+i_1\times w_1+i_2\times w_2+\dots+i_k\times w_k\]

\(w_k\to a[i_1][i_2]\dots[i_k]\)的宽度

在跳转代码中，逻辑运算符&&、|| 和 ! 被翻译成跳转指令。运算符本身不出现在代码中，布尔表达式的值是通过代码序列中的位置来表示的

例：

if(x<100|| x>200 && x!=y){
    x=0;
}

    if x<100 goto L2
    goto L3
L3: if x> 200 goto L4
    goto L1
L4: if x!=y goto L2
    goto L1
L2: x=0
L1:

生成一个跳转指令时，暂时不指定该跳转指令的目标标号。这样的指令都被放入由跳转指令组成的列表中。同一个列表中的所有跳转指令具有相同的目标标号。等到能够确定正确的目标标号时，才去填充这些指令的目标标号

makelist( i ) 创建一个只包含i的列表，i是跳转指令的标号，函数返回指向新创建的列表的指针

merge( p1, p2 ) 将 p1 和 p2 指向的列表进行合并，返回指向合并后的列表的指针

backpatch( p, i ) 将 i 作为目标标号插入到 p所指列表中的各指令中

例：\(B\to E_1 relop E_2\)

{
    B.truelist = makelist(nextquad);
    B.falselist = makelist(nextquad+1);
    gen('if' E1.addr relop E2.addr 'goto_');
    gen('goto_');
}

例：\(B\to B_1 or B_2\)

{
    backpatch(B_1.falselist, M.quad);
    B.truelist = merge(B_1.truelist, B_2.truelist)
    B.falselist = B_2.falselist;
}

{
    M.quad = nextquad;
}