编译原理及实现技术（张睿）精品课件11.pptVIP

第十章 目标代码生成 内容 基本概念 寄存器分配 目标代码生成 实例 小结 目标代码vs.中间代码 目标代码 中间代码 代码形式 具体实现的机器码 程序逻辑的直接翻译 地址形式 绝对地址 相对地址 是否产生额外代码 对AR的管理代码 返回值处理 无 目标代码 实际目标代码：实际机器上的指令序列。 绝对地址机器代码：执行效率高、可移植性差 可重定位的机器代码：需要连接器装配 汇编代码：可移植性好、需要经过汇编转换 虚拟目标代码：虚拟机上的目标程序。在本地机器上具备虚拟机的解释器。 寻址模式与寄存器分配 指令格式： Op R #C （立即数-----寄存器） Op R2 d(R1) （存储器-----寄存器） Op R1 R2 （寄存器-----寄存器） 寄存器分配 ： 代价：访问内存的次数 模式：单寄存器模式、多寄存器模式 原则：优先分配；活跃驻留；多载 附录1：80X86汇编指令 一、数据传送指令：MOV、XCHG、LEA、LDS、LES、PUSH、POP、PUSHF、POPF、CBW、CWD、CWDE。 二、算术指令：ADD、ADC、INC、SUB、SBB、DEC、CMP、MUL、DIV、DAA、DAS、AAA、AAS。 三、逻辑指令：AND、OR、XOR、NOT、TEST、SHL、SAL、SHR、SAR、RCL、RCR、ROL、ROR。 四、控制转移指令：JMP、Jcc、JCXZ、LOOP、LOOPZ、LOOPNZ、LOOPNE、CALL、RET、INT。 五、串操作指令：MOVS、LODS、STOS、CMPS、SCAS。 六、标志处理指令：CLC、STC、CLD、STD。 附录2：虚拟机指令系统 指令名称 指令形式 指令名称 指令形式 读 IN R 除 DIV R, A 写 OUT R 条件真转移 JMP1 R, A 取值 LD R, A 条件假转移 JMP0 R, A 存值 ST A, R 无条件转移 JMP A 加 ADD R, A 取址 LEA R, A 减 SUB R, A 块传送 MOVEB A1, A2, S 乘 MULT R, A 表达式和赋值语句的翻译 形如（Op，A，B，T）：LD R,A；Op R,B 形如(ASSIG,A,B)：LD R,A；ST B,R 例：Z:= X*(a+b)* Y* (a+b) (＋,a,b,t1) LD R,a; Add R,b (*,X,t1,t2) ST R,t1; Mult R, X (*,t2,Y,t3) Mult R,Y (*,t3,t1,t4) Mult R,t1 输入/输出语句的翻译 输入语句：（READ,-,-, A） IN R ST A , R 输出语句：（WRITE,-,-,A） LD R , A OUT R 条件语句四元式的翻译 （THEN, t,_ , _）生成的目标代码为： LD R , t JMP0 R , __ （ELSE,_,_,_）生成的目标代码为： JMP __ 同时回填JUMP0指令的目的地址 （ENDIF,_,_,_）不产生目标代码，只负责完成ELSE子句的地址回填工作 。 循环语句的翻译 （WHILE,_,_,_）不产生目标代码，只用来标记while语句的入口地址。 （DO , t ,_ ,_）产生的目标代码为： LD R , t JMP0 R , _ （ENDWHILE, _, _, _）产生的目标代码： JMP A 回填前面DO四元式所产生的半条指令 标号和goto语句的翻译 （LABEL, _, _,L）不产生目标代码，只向L所分配到的存储单元写入转向地址。 （GOTO, _, _, L）生成的目标代码为 JMP *L 过程、函数说明的翻译 (ENTRY, Q, —, —) 不产生目标代码，只需将当前指令地址A填入Q的相应语义信息中。 (ENDPROC, —,—,—)或(ENDFUNC,—,—,—) 1. 将本层活动记录中保存的机器状态恢复过来，对应一组读指令。 2. 删除本层活动记录，使动态外层的活动记录成为当前活动记录； 3. 按1（top）中记载的返回地址返回。 目标代码为: ST top, sp LD sp , 0(top) // 作废当前活动记录 JMP 1(top) //按返回地址返回 过程、函数调用语句的翻译 值参情形 (ValACT , t , Offset , size ) a.若t为直接变量 ，则生成的目标代码为： LD R