|
四元式和三元式的主要不同在于,四元式对中间结果的引用必须通过给定的名字,而三元式是通过产生中间结果的三元式编号。也就是说,四元式之间的联系是通过临时变量实现的。
也许读者已经发现,四元式表示很类似于三地址指令,确实,有时把这类中间表示称为"三地址代码",因为这种表示可看作一种虚拟三地址机的通用汇编码,即这种虚拟机的每条"指令"包含操作符和三个地址,两个是为运算对象的,一个是为结果的。这种表示对于代码优化和目标代码生成都较有利。
有时,为了更直观,也把四元式的形式写成简单赋值形式或更易理解的形式。比如把上述四元式序列写成:
(1)t1∶=b*c
(2)t2∶=b*d
(3)t3∶=t1+t2
(4)a∶=t3
把(jump,-,-,L)写成goto L
把(jrop,B,C,L)写成if B rop C goto L
本书中,为了叙述的方便,两种形式将同时使用。
如何用四元式表示各种语句,以及翻译各种语句的语义描述,将在后面各节陆续讨论。
为了复习与巩固一下前面所学习的几种中间代码的形式,下面举一个例子,分别用几种中间代码的形式来表示
|