编译原理－何炎祥-第十二章.pptVIP

第十二章 代码生成 代码生成工作一般在语法分析后或优化后的中间代码形式上进行，其功能是将这种中间代码形式转换成某种结果代码形式。 本章以一台假想的计算机为例，简单讨论代码生成的基本原理，并假定生成的是汇编语言代码。 12.1 假想的计算机模型 设机器有一个能做所有算术运算的累加器，它提供的符号指令如下表所示 12.2 从四元式生成代码 ① 加法（乘法）四元式的代码生成程序 INACC (guad (i). OPER1, guad (i). oper2); GEN (?ADD? guad (i). oper2); [GEN (?MULT?, guad (i). OPER2);] ACC:= guad (i). RESULT; 12.2 从四元式生成代码 ② 减法（除法）四元式的代码生成程序 INACC (guad (i). OPER1, ? ?); GEN (?SUB?, guad (i). OPER2); [GEN (?DIV?, guad (i). OPER2);] ACC:= guad (i). RESULT; ③ 单目减四元式的代码生成程序 INACC (guad (i). OPER1, ? ?); GEN (?CHS?, ? ?); ACC:= guad (i). RESULT 12.3 从三元式生成代码 ① 加法三元式的代码生成程序（乘法类似） GETTEMP (TR(i).OPER1,Y1); GETTEMP (TR(i).OPER2, Y2); INACC (Y1, Y2); GEN (?ADD?, Y2); if TR(i).OPER1 引用了三元式 then j:= j –1 ; if TR(i).OPER2 引用了三元式 then j:= j –1 ; NEWTEMP; 12.3 从三元式生成代码 ② 减法三元式的代码生成程序（除法类似） GETTEMP (TR(i).OPER1, Y1); GETTEMP (TR(i).OPER2, Y2); INACC (Y1, ? ?); GEN (?sub?, Y2); if TR(i).OPER1 引用了三元式 then j:= j –1 ; if TR(i).OPER2 引用了三元式 then j:= j –1 ; NEWTEMP; 12.3 从三元式生成代码 ③ 单目减的三元式代码生成程序 GETTEMP (TR(i).OPER1,Y1); INACC (Y1, ? ?); GEN (‘CHS’, ? ?); if TR(i).OPER1 引用了三元式 then j:= j –1 ; NEWTEMP, 12.4 从树型表示生成代码 可以把单个表达式的i个三元组序列想象成一棵树，并用TR(i)表示根分支。从根结点开始生成代码（即从最后一个三元式开始），这样做将生成比较高效的代码。 在从树型表示生成代码的过程中，用到一个动作表和一个递归过程COMP(i)，其功能是对树根为TR(i)的子树生成代码。COMP(i)的动作是根据第i个三元式TR(i).OP、TR(i).OPER1和TR(i).OPER2的信息决定的。 12.5 从逆波兰表示生成代码 对于任何算术运算或逻辑运算，其代码生成的一般过程可归纳为： ① 生成建立运算量地址的代码； ② 生成实现任何必要的类型转换的代码； ③ 生成把一运算量取到累加器中的代码； ④ 生成该运算的代码。 12.6 寄存器的分配 寄存器的分配可以看做：在计算一个表达式时，如何使所需要的寄存器个数最少。 Horwitz算法的主要思想是：先找出运算序列中涉及寄存器的那些指令，把运算序列变换成以这些指令为结点的一个有向图（按顺序执行的流向）。于是，所述问题就变成从图中找出自某个结点到另一结点的最短通路问题。 The end. * * 指 令 含 义 LD m 把单元m的内容送入累加器 ST m 把累加器的内容存入单元m中 ADD m 把单元m的内容加到累加器中 SUB m 从累加器中减去单元m的内容 MULT m 用单元m的内容乘累加器的内容 DIV m 用累加器的内容除以单