编译原理教程第二版习题解析与上机指导课件作者胡元义第7-8章节.pptVIP

　　　　第七章 目标代码生成　　7.1 完成下列选择题：　　(1) 评价一个代码生成器最重要的指标是 。　　A．代码的正确性 B．代码的高效性 　　C．代码的简洁性 D．代码的维护性　　(2) 编译程序生成的目标代码通常有 。　　A．可立即执行的机器语言代码 B．汇编语言代码　　C．待装配的机器语言代码模块 D．A～C项 　　【解答】　　(1) 代码生成器最重要的指标是代码的正确性，如果没有正确性，即使生成的代码再高效、再简洁、再具有可维护性，都是无用的。故选A。　　(2) 编译程序生成的目标代码通常有：可立即执行的机器语言代码、待装配的机器语言代码模块和汇编语言代码。故选D。 　　7.2 对下列四元式序列生成目标代码：　　　　　　T=A-B　　　　　　S=C+D　　　　　　W=E-F　　　　　　U=W/T　　　　　　V=U*S其中，V是基本块出口的活跃变量，R0和R1是可用寄存器。 　　【解答】 简单代码生成算法依次对四元式进行翻译。我们以四元式T=a+b为例来说明其翻译过程。　　汇编语言的加法指令代码形式为　　　　　　　ADD R, X其中，ADD为加法指令；R为第一操作数，第一操作数必须为寄存器类型；X为第二操作数，它可以是寄存器类型，也可以是内存型的变量。ADD R,X指令的含义是：将第一操作数R与第二操作数相加后，再将累加结果存放到第一操作数所在的寄存器中。要完整地翻译出四元式T=a+b，则可能需要下面三条汇编指令： 　　　　　　MOV R, a　　　　　　ADD R, b　　　　　　MOV T, R　　第一条指令将第一操作数a由内存取到寄存器R中；第二条指令完成加法运算；第三条指令将累加后的结果送回内存中的变量T。是否在翻译成目标代码时都必须生成这三条汇编指令呢？从目标代码生成的优化角度考虑，即为了使生成的目标代码更短以及充分利用寄存器，上面的三条指令中，第一条和第三条指令在某些情况下是不必要的。这是因为，如果下一个四元式紧接着需要引用操作数T，则第三条指令就不急于生成，可以推迟到以后适当的时机再生成。 　 此外，如果必须使用第一条指令，即第一操作数不在寄存器而是在内存中，且此时所有可用寄存器都已分配完毕，这时就要根据寄存器中所有变量的待用信息(也即引用点)来决定淘汰哪一个寄存器留给当前的四元式使用。寄存器的淘汰策略如下：　　(1) 如果某寄存器中的变量已无后续引用点且该变量是非活跃的，则可直接将该寄存器作为空闲寄存器使用。　　(2) 如果所有寄存器中的变量在基本块内仍有引用点且都是活跃的，则将引用点最远的变量所占用寄存器中的值存放到内存与该变量对应的单元中，然后再将此寄存器分配给当前的指令使用。 因此，本题所给四元式序列生成的目标代码如下：　　　　MOV R0, A　　　　SUB R0, C /*R0=T*/　　　　MOV R1, C　　　　ADD R1, D /*R1=S*/　　　　MOV S, R1 /*S引用点较T引用点远，故将R1的值送内存单元S*/　　　　MOV R1, E　　　　SUB R1, F /*R1=W*/　　　　SUB R1, R0 /*R1=U*/　　　　MUL R1, S /*R1=V*/ 　　7.3 假设可用的寄存器为R0和R1，且所有临时单元都是非活跃的，试将以下四元式基本块：　　　　　　T1=B-C　　　　　　T2=A*T1　　　　　　T3=D+1　　　　　　T4=E-F　　　　　　T5=T3*T4　　　　　　W=T2/T5　　用简单代码生成算法生成其目标代码。 　　【解答】 该基本块的目标代码如下(指令后面为相应的注释)：　　MOV R0, B 　　　 /*取第一个空闲寄存器R0*/　　SUB R0, C /*运算结束后R0中为T1结果，内存中无该结果*/　　MOV R1, A 　　　/*取一个空闲寄存器R1*/　　MUL R1, R0 /*运算结束后R1中为T2结果，内存中无该结果*/　　MOV R0, D /*此时R0中结果T1已经没有引用点，且临时单元T1是非活跃的，所以，寄存器R0可作为空闲寄存器使用*/ 　　ADD R0, ″1″ /*运算结束后R0中为T3结果，内存中无该结果*/　　MOV T2, R1 /*翻译四元式T4=E-F时，所有寄存器已经分配完毕，寄存器R0中存的T3和寄存器R1中存的T2都是有用的。由于T2的下一个引用点较T3的下一个引用点更远，所以暂时可将寄存器R