简单表达式的中间代码形式 E≡G Tuple(E)==, ARG(E)=C. val ◆E≡x Tuple(E)=F, ARG(E)=x.val E1 0 E2 Tuple(E)=Tuple(E)II Tuple(E2) I(a, ARG(E,), ARG(E2),t) ARG(E)=t,t是临时变量简单表达式的中间代码形式 ⬧ E C Tuple(E)=空,ARG(E)= C.val ⬧ E x Tuple(E)=空,ARG(E)= x.val ⬧ E E1 E2 Tuple(E)= Tuple(E1)|| Tuple(E2) || (,ARG(E1),ARG(E2),t) ARG(E)= t, t是临时变量