原创力文档- 1、本文档共77页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第11章语义分析和中间代码生成课件
语义子程序 M → if B then { backpatch(B.T , ip); M.CHAIN := B.F } N → M S1 else { q := ip; emit (goto 0); backpatch(M.CHAIN , ip); N.CHAIN := merg(S1.CHAIN , q) } S → N S2 { S.CHAIN := merg(N.CHAIN , S2.CHAIN) } 例子：if ab then a:=a+b else a:=a-b if ab if B B.T=100 100: if ab goto 0 B.F=101 101: goto 0 if B then M backpatch(100,102) M.CHAIN={101} M a:=a+b M S1 102: t1=a+b S1.CHAIN={0} 103: a=t1 M S1 else N q = 104 104: goto 0 backpatch(M.CHAIN,105) N.CHAIN=merg(S1.CHAIN,q) ={104} N a:=a-b N S2 105: t2=a-b S2.CHAIN={0} 106: a=t2 S S.CHAIN=merg(N.CHAIN,S2.CHAIN) ={104} 105 102 5. while语句的翻译 文法 S → while B do S1 B的第一条三地址语句地址需记录。 用S1的第一条三地址语句的地址“回填”B.T链。 B S1 ? B为假 B为真 ? ? S → while B do S1 改写文法： W → while D → W B do S → D S1 B S1 ? B为假 B为真 ? ? 翻译方案 W → while { W.CODE := ip } D → W B do { backpatch (B.T , ip); D.CHAIN := B.F; D.CODE := W.CODE } S → D S1 { backpatch(S1.CHAIN , D.CODE); emit (goto D.CODE); S.CHAIN := D.CHAIN } 6. for语句的翻译 文法 S → for i:=E1 step E2 until E3 do S1 其语义如图所示： S → for i:=E1 step E2 until E3 do S1 改造文法为： F1 → for i:=E1 F2 → F1 step E2 F3 → F2 until E3 S → F3 do S1 翻译方案 (1) F1 → for i:=E1 { P=entry(i.NAME); emit ( P, =, E1.PLACE ); F1.PLACE := P; F1.CHAIN: = ip; emit ( goto 0 ); F1.AGAIN := ip } (2) F2 → F1 step E2 { F2.AGAIN := F1.AGAIN; F2.PLACE := F1.PLACE; emit (F2.PLACE = F2.PLACE + E2.PLACE ,) backpatch ( F1.CHAIN , ip ) } (3) F3 → F2 until E3 { F3.AGAIN := F2.AGAIN; F3.CHAIN := ip; emit ( if F2.PLACE E3.PLACE goto 0 ) ; } (4) S → F3 do S1 { emit ( goto F3.AGAIN ); backpatch ( S1.CHAIN , F3.AGAIN ); S.CHAIN := F3.CHAIN; } 习题
文档评论（0）