程序设计语言编译原理(第三版)第7章.ppt

下载文档

15
0
约1.79万字
约 67页
2017-05-30 发布于北京
举报
版权申诉
保障服务

程序设计语言编译原理(第三版)第7章.ppt

1、本文档共67页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

* §7.5 控制语句的翻译 2.一遍扫描产生中间代码的翻译模式—课本195-196 S → if E then S ︱if E then S else S ︱while E do S ︱ begin L end ︱ A L → L; S︱S 分析： L.nextlist——指向一个转移指令链表 S.nextlist——指向一个转移指令链表转移指令链表：未填写目标标号而在以后需要回填的转移指令的链。 * §7.5 控制语句的翻译（1）S → if E then M1 S1 N else M2 S2 { backpatch ( E.truelist, M1.quad ); backpatch ( E.falselist, M2.quad ); S.nextlist:=merge(S1.nextlist, N.nextlist, S2.nextlist) } N：产生跳过S2的无条件跳转指令。（2）N→ { N.nextlist:=makelist (nextquad); emit (j, —, —, —) } （3）M → { M.quad:=nextquad } (4) S → if E then M S1 { backpatch ( E.truelist, M.quad ); S.nextlist:=merge (E.falselist, S1.nextlist) } * §7.5 控制语句的翻译 S → while M1 E do M2 S1 { backpatch ( S1.nextlist, M1.quad ); backpatch ( E.truelist, M2.quad ); S.nextlist:=E.falselist emit ( j,—，—，m1.quad) } S → begin L end { S.nextlist:=L.nextlist } (7) S → A { S.nextlist:=makelist() } (8) L →L1; M S { backpatch (L1.nextlist, M.quad); L.nextlist:=S.nextlist } (9) L →S { L.nextlist:=S.nextlist } * §7.5 控制语句的翻译例7.6 按照上述的语义动作，加上前述关于赋值句和布尔表达式的翻译法，采用一遍扫描翻译语句.——课本196页 While (ab) do if (cd ) then x:=y+z；翻译结果： 100 ( j, a, b, 102) 101 ( j, -, -, 0) —False 102 ( j, c, d, 104) 103 ( j, -, -, 100) ( +, y, z, T) 105 ( :=, T, -, x) 106 ( j, -, -, 100) * 已归约串 PLACE 输入串语义动作 … … … … # X:=E*(E1+D X_T1__C_D )# # X:=E*(E1+E2 X_T1__C_D )# { E2.place:=p=D } # X:=E*(E3 X_T1__T2 )# {E3.place:=newtemp=T2; 生成四元式(2)} # X:=E*(E3) X_T1__T2_ # # X:=E*E4 X