编译原理第十篇目标代码生成
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
责完成ELSE子句的地址回填工作 。
2020/12/4
循环语句的翻译
• （WHILE,_,_,_）不产生目标代码，只用来标记 while语句的入口地址。
• （DO , t ,_ ,_）产生的目标代码为： LD R , t JUMP0 R , _
• （ENDWHILE, _, _, _）产生的目标代码： JMP A 回填前面DO四元式所产生的半条指令
// A+4
8. 如果是函数调用，则把函数值读到寄存器中
LD R ， 4(top)
// A+5
ST t , R
2020/12/4
(＋,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 ）
• (ENDPROC, —,—,—)或(ENDFUNC,—,—,—) 1. 将本层活动记录中保存的机器状态恢复过来，对 应一组读指令。 2. 删除本层活动记录，使动态外层的活动记录成为 当前活动记录； 3. 按1（top）中记载的返回地址返回。 目标代码为: ST top, sp LD sp , 0(top) // 作废当前活动记录 JMP 1(top) //按返回地址返回
Op R1 R2
（寄存器-----寄存器）
几个常见指令的含义 ：
LD R Source
从Source 读出送入R
Op R Source
Source op R结果 送入R
ST Target R R的内容送入Target.
表达式和赋值语句的翻译
形如（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)
2020/12/4
过程、函数调用语句的翻译
• 过程、函数调用语句 (CALL , f , —, t ) 1. 生成填写变量访问环境指令 2. 把机器状态(寄存器内容)保存到活动记录的机 器状态区中,一般应生成一组存的指令 3. 要填写管理信息.首先填写过程层数.从过程f的 语义信息中取其层数,填入到2（top）中,生成指令 为 LD R , sem[f].level ST 2(top), R
LD R , A OUT R
2020/12/4
条件语句四元式的翻译
• （THEN, t,_ , _）生成的目标代码为： LD R , t JUMP0 R , __
• （ELSE,_,_,_）生成的目标代码为： JMP __ 同时回填JUMP0指令的目的地
址 • （ENDIF,_,_,_）不产生目标代码，只负
第十章 目标代码生成
目标代码
虚拟目标代码：虚拟机上的目标程序。 在本地机器上具备虚拟机的解释器。
实际目标代码：实际机器上的指令序列 绝对地址机器代码： 可重定位的机器代码： 汇编代码：
三种硬件地址模式
指令格式：
Op R #C （立即-----寄存器）
Op R2 d(R1) （存储器-----寄存器）
2020/12/4
4. 填写动态链指针
ST 0(top), sp
5. 填写返回地址
LD R, A+5
// A
ST 1(top), R // A+1
6. 生成过程活动记录
ST sp, top
// A +2
ST top, top + sem[f].size // A+3
7. 生成转向过程f入口的指令
JMP sem[f].cwk.baidu.comde
2020/12/4
过程、函数调用语句的翻译
• 变参情形 (VarACT , t, Offset , size ) a. 若t为直接变量，，则生成的目标代码为： LEA R , t ST offset（sp） , R b. 若t为间接变量,，则生成的目标代码为： LD R , t ST offset（sp） , R
2020/12/4
标号和goto语句的翻译
• （LABEL, _, _,L）不产生目标代码，只向L所 分配到的存储单元写入转向地址。
• （GOTO, _, _, L）生成的目标代码为 JMP *L
2020/12/4
过程、函数说明的翻译
• ( ENTRY, Q, —, —) 不产生目标代码，只需将当前 指令地址A填入Q的相应语义信息中。
2020/12/4
过程、函数调用语句的翻译
• 值参情形 (ValACT , t , Offset , size ) a. 若t为间接变量，则生成的目标代码为： LD R , * t ST offset（sp） , R b. 若t 为直接变量 ，则生成的目标代码为： LD R ,t ST offset（sp） , R c. 若t 为数组，则生成的目标代码为： moveB t , offset（sp） , size
2020/12/4
循环语句的翻译
• （WHILE,_,_,_）不产生目标代码，只用来标记 while语句的入口地址。
• （DO , t ,_ ,_）产生的目标代码为： LD R , t JUMP0 R , _
• （ENDWHILE, _, _, _）产生的目标代码： JMP A 回填前面DO四元式所产生的半条指令
// A+4
8. 如果是函数调用，则把函数值读到寄存器中
LD R ， 4(top)
// A+5
ST t , R
2020/12/4
(＋,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 ）
• (ENDPROC, —,—,—)或(ENDFUNC,—,—,—) 1. 将本层活动记录中保存的机器状态恢复过来，对 应一组读指令。 2. 删除本层活动记录，使动态外层的活动记录成为 当前活动记录； 3. 按1（top）中记载的返回地址返回。 目标代码为: ST top, sp LD sp , 0(top) // 作废当前活动记录 JMP 1(top) //按返回地址返回
Op R1 R2
（寄存器-----寄存器）
几个常见指令的含义 ：
LD R Source
从Source 读出送入R
Op R Source
Source op R结果 送入R
ST Target R R的内容送入Target.
表达式和赋值语句的翻译
形如（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)
2020/12/4
过程、函数调用语句的翻译
• 过程、函数调用语句 (CALL , f , —, t ) 1. 生成填写变量访问环境指令 2. 把机器状态(寄存器内容)保存到活动记录的机 器状态区中,一般应生成一组存的指令 3. 要填写管理信息.首先填写过程层数.从过程f的 语义信息中取其层数,填入到2（top）中,生成指令 为 LD R , sem[f].level ST 2(top), R
LD R , A OUT R
2020/12/4
条件语句四元式的翻译
• （THEN, t,_ , _）生成的目标代码为： LD R , t JUMP0 R , __
• （ELSE,_,_,_）生成的目标代码为： JMP __ 同时回填JUMP0指令的目的地
址 • （ENDIF,_,_,_）不产生目标代码，只负
第十章 目标代码生成
目标代码
虚拟目标代码：虚拟机上的目标程序。 在本地机器上具备虚拟机的解释器。
实际目标代码：实际机器上的指令序列 绝对地址机器代码： 可重定位的机器代码： 汇编代码：
三种硬件地址模式
指令格式：
Op R #C （立即-----寄存器）
Op R2 d(R1) （存储器-----寄存器）
2020/12/4
4. 填写动态链指针
ST 0(top), sp
5. 填写返回地址
LD R, A+5
// A
ST 1(top), R // A+1
6. 生成过程活动记录
ST sp, top
// A +2
ST top, top + sem[f].size // A+3
7. 生成转向过程f入口的指令
JMP sem[f].cwk.baidu.comde
2020/12/4
过程、函数调用语句的翻译
• 变参情形 (VarACT , t, Offset , size ) a. 若t为直接变量，，则生成的目标代码为： LEA R , t ST offset（sp） , R b. 若t为间接变量,，则生成的目标代码为： LD R , t ST offset（sp） , R
2020/12/4
标号和goto语句的翻译
• （LABEL, _, _,L）不产生目标代码，只向L所 分配到的存储单元写入转向地址。
• （GOTO, _, _, L）生成的目标代码为 JMP *L
2020/12/4
过程、函数说明的翻译
• ( ENTRY, Q, —, —) 不产生目标代码，只需将当前 指令地址A填入Q的相应语义信息中。
2020/12/4
过程、函数调用语句的翻译
• 值参情形 (ValACT , t , Offset , size ) a. 若t为间接变量，则生成的目标代码为： LD R , * t ST offset（sp） , R b. 若t 为直接变量 ，则生成的目标代码为： LD R ,t ST offset（sp） , R c. 若t 为数组，则生成的目标代码为： moveB t , offset（sp） , size