表达式

• 综合属性 $E.code$：中间代码
• 综合属性 $E.addr$：变量名 (包括临时变量)、常量

原文：$a = b + -c$

生成 IR：

$$ \begin{aligned}

t_1 &= \mathtt{minus}~c \\ t_2 &= b + t_1 \\ a &= t_2

\end{aligned} $$

数组引用

对于 $a[1][2]$，我们需要计算其相对于数组基地址 $a$ 的偏移地址：

$$ addr(a[1][2]) =\blue{base} + \red{1 × 12 + 2 × 4} $$

• 综合属性 $L.array(.base)$ ：数组基地址 (即，数组名)
• 综合属性 $L.addr$ ：偏移地址

控制流语句

继承属性 $B.true$, $B.false$, $S.next$ 指明了控制流跳转目标

继承属性 $S.next$

{ ... /* S.code */ }
S.next:
	...

if 语句的翻译

布尔表达式