中间代码生成之四元式

中间代码之四元式

• 四元式定义
  四元式是一种“三地址语句”的等价表示。一般形式：（ op , arg1 , arg2 , result )
  
  即<操作符>，<操作数1>，<操作数2>，<结果>
  
  其中，op为一个二元(也可是一元或零元)运算符; arg1,arg2分别为它的两个运算对象，它们可以是变量、常数或系统定义的临时变量名；运算的结果将放入result中。四元式还可写为类似于C语言的赋值语句的形式：result := arg1 op arg2
  
  
• 四元式格式
  每个四元式只能有一个运算符，所以，一个复杂的表达式只能由多个四元式构成的序列表示。
  例如，表达式A+B * C可写为序列
  T1:=B * C
  T2:=A+T1
  
  
• 例题
  A + B * ( C + D ) + E / ( C - D ) ^N
  
  （1）（  +    C   D   T₁  ）
  
  （2）（  *     B   T₁  T₂ ）
  
  （3）（  +    A   T₂  T₃ ）
  
  （4）（ －   C    D   T₄ ）
  
  （5）（  ^     T₄   N   T₅ ）
  
  （6）（   /    E     T₅   T₆ ）
  
  （7）（  +    T₃    T₆   T₇ ）