第9篇 代码生成,哈工大王宏志.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9.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。 * * 9.3.3 代码生成算法 赋值语句d := (a ? b) + (a ?c) + (a ? c) 编译产生的三地址码序列为： t1 := a ? b t2 := a ? c t3 := t1 + t2 d := t3 + t2 d在基本块的出口是活跃的。 * * 9.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和内存中 * * 9.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 . . . . . . * * 9.3.4 常用三地址码的代码生成 ⑴复制：a:=b 如果b的当前值在寄存器R中，则不必生成代码，只要将a添加到R的寄存器描述符中，并把a的地址描述符置为R即可。 如果b在基本块中不会再被引用且在基本块的出口也不活跃，则还要从R的寄存器描述符中删除b，并从b的地址描述符中删除R。 但若b的当前值只在内存单元中，如果只是简单地将a的地址描述符置为b的内存地址，那么，若不对a的值采取保护措施，a的值将会为b的再次定义所影响。此时，生成一条形如MOV b, R的指令会较为稳妥。 * * 9.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 * * 9.3.4 常用三地址码的代码生成 ⑷ 数组元素赋值：a[i]:=b 假设a是静态分配的。如果i的当前值不在寄存器中，则生成如下指令序列： MOV i, R MOV b, a(R) 开销=5 如果i的当前值在寄存器Ri中，则生成如下指令： MOV b, a(Ri) 开销=3 * * 9.3.4 常用三地址码的代码生成 ⑸ 指针引用：a:=*p 同样假设a在基本块中还会再被引用，而且寄存器R是可用的，则将a保留在寄存器R中。于是，如果p的当前值不在寄存器中，则生成如下指令： MOV p, R MOV *R, R 开销=3 如果p的当前值在寄存器Ri中，则可生成如下指令： MOV *Ri, a 开销=2 * * 9.3.4 常用三地址码的代码生成 ⑹ 指针赋值：*p:=a 假设a是静态分配的。如果p的当前值不在寄存器中，则生成如下指令： MOV p, R MOV a, *R 开销=4 如果p的当前值在寄存器Ri中，则可生成如下指令： MOV a, *R 开销=2 * * 9.3.4 常用三地址码的代码生成 ⑺ 无条件转移：goto L 假设L为三地址语句的序号，则生成指令JMP L。 其中，L为序号为L的三地址语句的目标代码首址。 * * 9.3.4 常用三地