编译原理系列之九 中间代码生成

中间代码生成

• 中间代码也与机器无关。

• 常见中间表示形式：

  1. 逆波兰式：

  

  逆波兰式

  中缀表达式转逆波兰式：按照算术表达式的计算顺序 根据操作数1、（操作数2）、运算符的顺序化成一个部分的后缀式，将这个后缀式在算术表达式中看成一个操作数继续按照上面方法分析。

  逆波兰式转中缀表达式：根据逆波兰式的序列从左向右找运算符，找到后从这个运算符开始向前找出紧邻的操作数2、操作数1并化成算术表达式，将这个算术表达式看成一个操作数，继续往后寻找操作符，重复以上步骤。

  注意：操作数均由一个字母表示。

  1. 抽象语法树AST：

     抽象语法树中每一个子树的根结点都对应一种动作或运算，它的所有子结点对应该动作或运算的参数或运算数。
     参数或运算数也可以是另一子树，代表另一动作或运算。

     将AST中相同的子树合并，这种改进的AST叫做有向无环图DAG；

  

  AST与DAG

1. 三地址码TAC

   x=y op z或者四元组的形式（op,y,z,x）

TAC

其他TAC语句

• 常用语句的语法制导翻译 :

  语义过程GEN表示产生一个TAC或四元式，并且填入TAC或四元式表中。
  语义过程Newtemp表示生成一个临时变量，每调用一次，生成一新的临时变量。
  语义变量E. place，用来存放 E 的值的存储位置。
  语义变量id.place , id 对应的存储位置。

  1. 简单赋值语句的翻译 :

  

  赋值语句

1. 布尔表达式的翻译 :

   

   布尔表达式

   拉链与回填：

    

   

   拉链与回填

=拉链与回填