第七单元目标代码生成.pptVIP

　　处理完基本块中所有的四元式后，对现行只在某寄存器中的每个变量，如果它在基本块出口之后是活跃的，则要用MOV指令把它在寄存器中的值存放到数据区以它命名的内存单元中。为进行这一工作，我们利用寄存器描述数组RVALUE来决定其中哪些变量的现行值在寄存器中，再利用地址描述数组AVALUE来决定其中哪些变量的现行值尚不在其内存单元中，最后利用活跃变量信息来决定其中哪些变量是活跃的。例如，由例7.2的表7.2查RVALUE栏可知：U和D的值在寄存器中，而从AVALUE栏知U和D的值都不在内存单元中，如果D在基本块出口之后是活跃变量，则在表7.2所生成的目标代码后面还要生成一条目标代码： MOV D, AX 7.1.3 寄存器分配 7.1.4 源程序到目标代码生成示例 　　以PC机的汇编语言作为目标代码，假定可用的寄存器为AX、BX、CX和DX，则一C语言源程序转换为四元式代码序列，然后再转换为目标代码程序(转换中不考虑优化)的结果如下： (1) ?C语言源程序(局部)： while (ab) { if (m=n) a=a+1; else 　while (k==h) 　　x=x+2; m=n+x*(m+y); } 　　(2) 四元式代码序列： 100 (j, a, b, 102) 101 (j, _, _, 117 ) 102 (j=, m, n, 104) 103 (j, _, _, 107 ) 104 (+, a, 1, T1) 105 (=, T1, _ , a ) 106 (j, _, _, 112) 107 (j=, k, h, 109 ) 108 (j, _, _, 112) 109 (+, x , 2, T2 ) 110 (=, T2, _ , x ) 111 (j, _, _, 107 ) 112 (+, m, y, T3) 113 (*, x, T3, T4 ) 114 (+, n , T4, T5) 115 (=, T5, _ , m ) 116 (j , _, _, 100) 　　(3) 目标代码程序?(汇编语言程序)： 　　; File: compile.asm 　　; ************************************ 　　data segment ; 定义数据段 　 h DW 　k 　 DW 　m DW 　n DW 　x DW 　y DW 　a DW 　b DW 　　data ends ; 数据段定义结束 　　; ************************************ code segment ; 定义代码段 main proc far ; 程序的执行部分 assum cs:code, ds:data start: push ds sub bx, bx push bx mov bx, data ; 设置DS段为当前数据段 mov ds, bx ; 语句翻译由此开始： 100: mov AX, a cmp AX, b jg 102 101: mp 117 102: mov AX, m cmp AX, n jge 104 103: jmp 107 104: mov AX, a add AX, 1D 105: mov BX, AX mov a, BX ; 跳出基本块前保存寄存器中已改变的变量值 106: jmp 112 107: mov AX, k cmp AX, h je 109 108: jmp 112 109: mov AX, x add AX, 2D 110: mov BX, AX mov x, BX ; 跳出基本块前保存寄存器中已改变的变量值 111: jmp 107 112: mov AX, m add AX, y 113: mul x 114: mov BX, n add BX, AX 115: mov CX, BX mov m, CX ; 跳出基本块前保存寄存器中已改变的变量值 116: jmp 100 117: ret main endp code ends ; 代码段定义结束