单元语法制导翻译和中间代码生成.pptVIP

  1. 1、本文档共81页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
单元语法制导翻译和中间代码生成

4、语义子程序 C ?if E then {BACKPATCH(E?TC,NXQ); C?CHAIN=E?FC;} T ?C S(1) else {q=NXQ; GEN(j,-,-0); BACKPATCH(C?CHAIN,NXQ); T ?CHAIN=MERG(S(1)?CHAIN,q)} S ?T S(2) {S?CHAIN=MERG(T?CHAIN,S(2)?CHAIN)} S ?C S(1) {S?CHAIN=MERG(C?CHAIN,S(1)?CHAIN)} 注: 1)这里的基本思想是拉链回填; 2)当if E rhen归约为C时,布尔式E已不在栈内,故其语义值E.FC也不复存在,但E.FC尚未回填,可将它暂存于非终结符C的CHAIN中,通过后来的拉链回填C.CHAIN,实际上就是对E.FC的回填; 3)语句翻译完了,但S?CHAIN还没回填,只有当整个嵌套句全部翻译完,才能进行回填。 例如:翻译条件嵌套语句: If a then if b then A:=2 else A:=3 Else if c then A=4 Else A=5 翻译成四元式为: 可得四元式: (1)(jnz,a,_,3) (8)(j,_,_,6) (2)(j,_,_,9) (9)(jnz,c,_,11) (3)(jnz,b,_,5) (10)(j,_,_,13) (4)(j,_,_,7) (11)(:=,4,_,A) (5)(:=,2,_,A) (12)(j,_,_,8) (6)(j,_,_,0) (13)(:=,5,_,A) (7)(:=,3,_,A) 过程调用语句 一、过程调用 1、过程: 定义和调用过程是程序语言的主要特征之一。过程是模块化程序设计的主要手段,同时也是节省程序代码和扩充语言能力的主要途径。 2、过程调用: 实质是把程序控制转到子程序。 3、过程调用中遇到的问题: 子程序完成后如何回到主调程序; 子程序回到主调程序时,运行环境的恢复; 如何进行参数传递; 二、参数传递 1、参数 实在参数 形式参数 2、传递方式 1)传地址(call by reference):把实在参数的地址传递给相应的形式参数。 2)传值(call by value):把实在参数的值计算出来传递给相应的形式参数。 3)传名(call by name):ALGOL 60 所定义的一种特殊的形-实参结合方式。 3、传地址: 1)基本方式 A)若实参是一个变量(包括下标变量),则直接传递它的地址; B)若实参是一个常数或其他表达式,就把值计算出来并存放在某临时单元中,然后传递这个临时单元的地址。 2)传址过程 A)当程序控制转入被调用过程之后,被调用段首先把实参地址从连接数据区中读入形参单元中。 注:若已直接传至形参单元,不做此步。 B)在过程体内,对形参的任何引用或赋值都被看作对形参单元的间接访问。这间接赋值将直接修改实参单元的内容。 4、传值: 调用时把实在参数的值计算出来,把值直接传送给形式单元中。在过程体中应用这些单元不会修改实参单元的值。 5、传名 过程调用相当于把被调用段的过程代替调用语句,并且过程体内形参名皆用相应的实参名代替。 三、过程调用语句的翻译(传址) 1、文法 S ? call i(Arglist) Arglist ?Arglist,E Arglist ?E 2、相关四元式 1)(par,_,_,T) 含义是:将参数T传递到一个公共的区域或直接传递到过程的形参单元 2)(jsr,_,n,S) 含义是:转子指令,转移到S过程的四元式入口序号 3、语义子程序 (1) S ? call i(Arglist)

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档