第11节代码生成.pptVIP

考试要求 题型 选择、填空、判断、简答、证明、论述、设计、计算等 重点和难点 已在课件各章的开始点明 考试权重 平时成绩占20% 实验占10% 期末考试占70% 考前答疑 考试前两天5月13号-14号，地点：综合楼808 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11.3.3 代码生成算法 对每个三地址语句i: x := y op z 调用函数getreg(i:x:= y op z)确定可用于保存y op z的计算结果的位置L 查看y的地址描述符以确定y值当前的一个位置y?。如果y值当前既在内存单元中又在寄存器中，则选择寄存器作为y。如果y的值还不在L中，则生成指令MOV y?，L 生成指令op z?，L，其中z?是z的当前位置之一 如果y和/或z的当前值没有后续引用，在块的出口也不活跃，并且还在寄存器中，则修改寄存器描述符以表示在执行了x:=y op z 之后，这些寄存器分别不再包含y和(或)z的值。 * * 11.3.3 代码生成算法 寄存器选择函数getreg 函数getreg返回保存x := y op z的x值的位置L 如果变量y在R中,且R不含其它变量的值,并且在执行x:=y op z后y不会再被引用,则返回R作为L。 否则，返回一个空闲寄存器，如果有的话 否则，如果x在块中还会再被引用，或者op是必须使用寄存器的算符，则找一个已被占用的寄存器R(可能产生MOV R，M指令，并修改M的地址描述符) 否则，如果x在基本块中不会再被引用，或找不到适当的被占用寄存器，则选择x的内存单元作为L。 * * 11.3.3 代码生成算法 赋值语句d := (a ? b) + (a ?c) + (a ? c) 编译产生的三地址码序列为： t1 := a ? b t2 := a ? c t3 := t1 + t2 d := t3 + t2 d在基本块的出口是活跃的。 * * 11.3.3 代码生成算法 语 句 生成的代码 寄存器描述符 名字地址描述符 寄存器空 t1 := a ? b MOV a, R0 SUB b, R0 R0含t1 t1在R0中 t2 := a ? c MOV a, R1 SUB c, R1 R0含t1 R1含t2 t1在R0中 t2在R1中 t3 := t1+ t2 ADD R1,R0 R0含t3 R1含t2 t3在R0中 t2在R1中 d := t3 + t2 ADD R1,R0 R0含d d在R0中 MOV R0, d d在R0和内存中 * * 11.3.3 代码生成算法 前三条指令可以修改，使执行代价降低 MOV a, R0 MOV a, R0 SUB b, R0 MOV R0，R1 MOV a, R1 SUB b, R0 SUB c, R1 SUB c, R1 . . . . . . * * 11.3.4 常用三地址码的代码生成 ⑴复制：a:=b 如果b的当前值在寄存器R中，则不必生成代码，只要将a添加到R的寄存器描述符中，并把a的地址描述符置为R即可。 如果b在基本块中不会再被引用且在基本块的出口也不活跃，则还要从R的寄存器描述符中删除b，并从b的地址描述符中删除R。 但若b的当前值只在内存单元中，如果只是简单地将a的地址描述符置为b的内存地址，那么，若不对a的值采取保护措施，a的值将会为b的再次定义所影响。此时，生成一条形如MOV b, R的指令会较为稳妥。 * * 11.3.4 常用三地址码的代码生成 ⑵ 一元运算：a:= op b 与二元运算的处理类似。 ⑶ 数组元素引用：a:=b[i]。 假设a在基本块中还会再被引用，而且寄存器R是可用的，则将a保留在寄存器R中。于是，如果i的当前值不在寄存器中，则生成如下指令序列： MOV i, R MOV b(R), R 开销=4 如果i的当前值在寄存器Ri中，则生成如下指令： MOV b(Ri), R 开销=2 * * 11.3.4 常用三地址码的代码生成 ⑷ 数组元素赋值：a[i]:=b 假设a是静态分配的。如果i的当前值不在寄存器中，则生成如下指令序列： MOV i, R MOV b, a(R) 开销=