第8章的 静态语义分析和中间代码生成.ppt

四元式 一般形式： opARG1ARG2RESULT 例子： a+b*c * b c t1 + a t1 t2 单目运算符的处理：ARG2为空。 一般来讲，四元式的运算符都有对应的机器指令，或者对应的子程序，因此从四元式生成指令代码是容易的。 四元式之间的联系是通过临时变量实现的，便于进行代码优化。 四元式表示的例子 A + B * ( C - D ) + E / ( C - D ) ^N （1）( - C D T1 ) （2）( * B T1 T2) （3）( + A T2 T3) （4）( - C D T4) （5）( ^ T4 N T5) （6）( / E T5 T6) （7）( + T3 T6 T7) 三元式 如果我们不明显给出四元式的结果部分，而是用四元式的编号来表示结果，那么我们可以得到三元式。形式如下： opARG1 ARG12 例子：a+b*c=①*bc ②+a① 三元式的出现顺序与表达式的计值顺序一致。 和四元式的比较： 无须临时变量； 占用存储空间少； 相互引用太多，使得难以进行代码优化。 三元式表示的例子 A + B * ( C - D ) + E / ( C - D ) ^N (1) ( - C D ) (2) ( * B (1) ) (3) ( + A (2) ) (4) ( - C D ) (5) ( ^ (4) N ) (6) ( / E (5) ) (7) ( + (3) (6) ) 间接三元式 间接三元式： 为了便于代码优化处理，用一张间接码表辅以三元式表的办法来表示中间代码。 间接码表是一张指示器表，它将按运算的先后顺序列出有关三元式在三元式表中的位置。 当在代码优化过程中需要调整运算顺序时，只需重新安排间接码表即可。 例子：X:=(A+B)*C Y:=D↑(A+B) 间接三元式表示的例子 A + B * ( C - D ) + E / ( C - D ) ^N 间接三元式序列 间接码表 ( - C D ) (1) ( * B (1) ) (2) ( + A (2) ) (3) (4) ( ^ (1) N ) (1) ( / E (4) ) (4) (6) ( + (3) (5) ) (5) (6) 树形表示（抽象语法树AST） 采用树形表示作为一种中间代码形式，有助于代码的产生和优化。 树形表示的定义： 简单变量或常数的树就是该变量或常数自身； 如果表示e1和e2的树为T1和T2，那么， e1+e2, e1*e2,-e1的树分别是： 显然，树形表示是三元式表示的翻版。 抽象语法树（Abstract Syntax Tree） 在语法树中去掉那些对翻译不必要的信息，获得更有效的源程序中间表示 AST可以拓广，用来表示数组元素、过程调用、控制结构、说明等。 + e1 e2 - e1 * e1 e2 简单算术表达式和赋值句的翻译 文法： A→i:=E E→E+E|E*E|-E|(E)|I 引入的语义属性：E.PLACE 与非终结符E相联系，表示存放E值的变量名在符号表的入口或整数码（对临时变量） 语义过程： NEWTEMP:函数过程。每次调用，回送一个代表新临时变量名的整数码作为函数值。 ENTRY(i):函数过程。对i所代表标识符查找符号表以获知它在符号表中位置（入口）。 GEN(OP,ARG1,ARG2,RESULT):语义过程。把四元式(OP,ARG1,ARG2,RESULT)填入四元式表中。 产生式的语义描述 (1)A→i:=E {GEN(:=,E.PLACE,_,ENTRY(i))} (2)E→E1+E2 {E.PLACE:=NEWTEMP;