第十二章代码生成..pptVIP

第12章 代码生成 代码生成: 中间代码作为输入 特定机器的机器 语言或汇 编语言作为输出， 这样的转换程序称为代码生成器， 计算待用信息的算法： 例： * * 如果用‘op’表示运算符，用‘M’表示内存单元，用变量名表示该变量所在的单元，‘C’表示常量，‘*’表示间址方式存取，指令形式表(P278 表12.2)。 op Ri,Mop Ri,Rjop Ri,c(Rj)op Ri,*Mop Ri,*Rjop Ri,*c(Rj) (Ri)op(M) ?? Ri(Ri)op(Rj) ?? Ri(Ri)op((Rj)+c) ?? Ri(Ri)op((M)) ?? Ri(Ri)op((Rj)) ?? Ri(Ri)op(((Rj)+c)) ?? Ri 指令 意义 指令 意义 LD Ri, B ST Ri, B J X CMP A,B 把B单元的内容取到寄存器 Ri，即(B) ?? Ri。 把寄存器Ri的内容存到B单元，即(Ri) ?? B。 无条件转向X单元。 把A单元和B单元的值进行比较，并根据比较情况把机器内部特征寄存器CT置成相应状态。CT占两个二进位。根据AB或A=B或AB分别置CT为0或1或2。 JX J≤X J=X J≠X JX J≥X 如CT=0转X单元。如CT=0或CT=1转X单元。如CT=1转X单元。如CT≠1转X单元。如CT=2转X单元。如CT=2或CT=1转X单元。 一个简单的代码生成器 　　它以四元式的代码作为输入，将其转换成目标代码。它在基本块内如何充分利用寄存器提高目标代码的运行效率？寄存器分配的原则（P276） ① 当生成某变量的目标代码时，尽量让变量的值或计算结果保留在寄存器中 直到寄存器不够分配时为止，这样引用变量值时可减少对内存的存取次数，以提高运行速度。　　 ② 当到基本块出口时，将变量的值存放在内存中，这样从基本块外入口的变量值都在内存中。　　 ③ 对于在一个基本块内后边不再被引用的变量所占用的寄存器应尽早释放，以提高寄存器的利用效率。　　 例:设一高级语言的语句为：A:=(B+C)*D+E 翻译成中间代码为: T1:=B+C T2:=T1*D A:=T2+E 问目标代码是什么 目标代码: LD R, B ADD R,C ST R , T1 LD R, T1 MUL R, D ST R, T2 LD R, T2 ADD R,E ST R,A 中间代码为: T1:=B+C T2:=T1*D A:=T2+E 如果不考虑代码的效率，我们可以翻译为如下代码： 从正确性看,没有问题,但却有很多冗余,因为T1,T2为临时变量,出了基本快 后将不会引用,因此,(3)(4)(6)(7)均可省掉,考虑到效率和充分利用寄存器的 问题,目标代码变为: LD R,B ADD R, C MUL R, D ADD R, E ST R , A A:=(B+C)*D+E 为了能够这样做，代码生成器必须了解一些信息：在产生T2:=T1*D对应的目标代码时，为了省去ST R,T1,就必须知道出了基本块后T1不会再利用。 为了省去指令LD R,T1,就必须知道T1的值已经在R中。 原目标代码: LD R, B ADD R,C ST R , T1 LD R, T1 MUL R, D ST R, T2 LD R, T2 ADD R,E ST R,A 中间代码为: T1:=B+C T2:=T1*D A:=T2+E 在一个基本块内考虑如何充分利用寄存器： l尽可能地让该变量的值保留在寄存器中 l尽可能引用变量在寄存器中的值 待用信息：若在一个基本块中，变量A在四元式i中被定值，在i后面的四元式j中要引用A值，且从i到j之间没有其它对A的定值点，称j是四元式i中对变量A的待用信息或称下次引用信息，同时也称A是活跃的。 若A被多处引用，则可构成待用信息链与活跃信息链。可从基本块的出口由后向前扫描，对每个变量建立相应的待用信息链和活跃变量信息链。 对各基本块的符号表中的“待用信息”栏和“活跃信息”栏置初值，即把“待用信息”栏置“非待用”，对“活跃信息”栏按在基本块出口处是否为活跃而置成“活跃”或“非活跃”。这里假定变量都是活跃的，临时变量都是非活跃的。 符号表中增加“待用信息”栏和“活跃信息”栏见P280 表12.4 从基本块出口到入口由后向前依次处理每个四元式。 对每个四元式 i: A:=B op C，依次执行下述步骤： a)把符