中间语言表示

编译器构成

编译器分为前端和后端：
前端：依赖于源语言，独立于目标机器。包括词法分析器、语法分析器、语义分析器和中间代码生成器。
后端：依赖于目标机器，独立于源语言。包括代码优化器和代码生成器。

中间语言表示

后缀表示

• 如果$E$是变量或常数，那么$E$的后缀表示就是$E$本身。
• 如果$E$是形式为$E_{1}op{E}_2$的表达式，那么$E$的后缀表示是$E_1^{\prime }{E}_2^{\prime }op$，其中$E_1^{\prime }$和$E_2^{\prime }$分别是$E_1$和$E_2$的后缀表示。
• 如果$E$是形式为$(E_1)$的表达式，那么$E_1$的后缀表示也是$E$的后缀表示。
• 后缀表示不需要括号。

?(8 - 4) + 2 的后缀表示是8 4 - 2 +

图形表示

语法树有向无环图DAG

三地址代码

三地址代码是语法树或DAG的一种线性表示。
一般形式：$x:=yopz$，其中，如果x不是最终结果，那么x作为临时变量放在活动记录的临时变量区中。
?$a:=(-b+c\ast d)+c\ast d$的DAG的三地址代码

t1 = -b;
t2 = c * d;
t3 = t1 + t2;
t4 = t2 + t3;
a = t4;