第七章目标代码生成.ppt

　　处理完基本块中所有的四元式后，对现行只在某寄存器中的每个变量，如果它在基本块出口之后是活跃的，则要用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 ; 跳出基本块前保存寄存器中已改变的变量值 绎秦救订扶离荔匠酉物迪疽蜘驼抑贝仑袄虑蓟顺原蚌革坠武形兔娄然授冠第七章目标代码生成第