第十一章目标代码生成.ppt

  1. 1、本文档共34页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第十一章 目标代码生成;词法分析器;内容线索;代码生成;目标代码生成;基本问题;基本问题 ;基本问题 ;内容线索;目标机器模型 ;如果op是一目运行符,则“op Ri, M”的意义为:op(M)? Ri,其余类型可类推。;op 包括一般计算机上常见的一些运算符,如 ADD 加 SUB 减 MUL 乘 DIV 除;内容线索;不考虑代码的执行效率,目标代码生成是不难的,例如: A:=(B+C)*D+E 翻译为四元式: T1:=B+C T2:=T1*D T3:=T2+E A:=T3 ;;一个简单代码生成器;待用信息;待用信息和活跃信息的表示;计算待用信息和活跃信息的算法步骤: 1. 开始时,把基本块中各变量的符号表登记项中的待用信息栏填为“非待用”,并根据该变量在基本块出口之后是不是活跃的,把其中的活跃信息栏填为“活跃”或“非活跃”;;2. 从基本块出口到基本块入口由后向前依次处理各个四元式。对每一个四元式i: A:=B op C,依次执行下面的步骤: 1) 把符号表中变量A的待用信息和活跃信息附加到四元式i上; 2) 把符号表中A的待用信息和活跃信息分别置为“非待用”和“非活跃”; 3) 把符号表中变量B和C的待用信息和活跃信息附加到四元式i上; 4) 把符号表中B和C的待用信息均置为i,活跃信息均置为“活跃”。;例:基本块 1. T:=A-B 2. U:=A-C 3. V:=T+U 4. W:=V+U 设W是基本块出口之后的活跃变量。 建立待用信息链表与活跃变量信息链表如下:;;寄存器描述和地址描述;补充说明: 因为寄存器的分配是局限于基本块范围之内的,一旦处理完基本块中所有四元式,对现行值在寄存器中的每个变量,如果它在基本块之后是活跃的,则要把它存在寄存器中的值存放到它的主存单元中。 要特别强调的是,对形如:A:=B的四元式,如果B的现行值在某寄存器Ri中,则无须生成目标代码,只须在RVALUE(Ri)中增加一个A,(即把Ri同时分配给B和A),并把AVALUE(A)改为Ri 。;代码生成算法;3. 如果B’≠R,则生成目标代码: LD R, B’ op R, C’ 否则生成目标代码 op R, C’ 如果B’或C’为R,则删除AVALUE[B]或AVALUE[C]中的R。 4. 令AVALUE[A]={R}, RVALUE[R]={A}。 5. 若B或C的现行值在基本块中不再被引用,也不是基本块出口之后的活跃变量,且其现行值在某寄存器Rk中,则删除RVALUE[Rk]中的B或C以及AVALUE[B]或AVALUE[C] 中的Rk ,使得该寄存器不再为B或C占用。 ;寄存器分配:GETREG(i: A:=B op C) 返回一个用来存放A的值的寄存器 1 如果B的现行值在某个寄存器Ri中,RVALUE[Ri]中只包含B,此外,或者B与A是同一个标识符,或者B的现行值在执行四元式A:=B op C之后不会再引用,则选取Ri为所需要的寄存器R,并转4; 2 如果有尚未分配的寄存器,则从中选取一个Ri为所需要的寄存器R,并转4;; 3 从已分配的寄存器中选取一个Ri为所需要的寄存器R。最好使得Ri满足以下条件: 占用Ri的变量的值也同时存放在该变量的贮存单元中,或者在基本块中要在最远的将来才会引用到或不会引用到。 4. 要不要为Ri中的变量生成存数指令?; 4. 要不要为Ri中的变量V生成存数指令? (1)如果V的地址描述数组AVALUE[V]说V还保存在R之外的其他地方,则不需要生成存数指令; (2)如果V是A,且不是B或C,则不需要生成存数指令; (3)如果V不会在此之后被使用,则不需要生成存数指令; (4)否则,生成 目标代码 ST Ri,V;例:基本块 1. T:=A-B 2. U:=A-C 3. V:=T+U 4. W:=V+U 设W是基本块出口之后的活跃变量,只有R0和R1是可用寄存器,生成的目标代码和相应的RVALUE和AVALUE:;中间代码 目标代码 RVALUE AVALUE;中间代码 目标代码 RVALUE AVALUE;作业

文档评论(0)

smashing + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档