18th Ch7 语义分析和中间代码产生 III 2009Spring.pptVIP

* * 本节讨论无条件和条件语句的翻译，只讨论四元式的产生。 本节内容 标号和转移语句 条件语句 分叉语句 标号的两种使用方法 L: S Goto L 语言中允许标号先定义后使用，也允许先使用后定义。 (1) 先定义 L1 : S1 Goto L1 … 遇到L1 : S1 P1 定义 … 标号 L1 符号表 遇到Goto L1 (j, _, _, P1) 地址 定义否 … 类型 名字 P1 ( ) … (2) 先使用 goto L2 … Goto L2 L2 : S2 q1 未 … 标号 L2 地址 定义 … 类型 名字 遇到goto L2, 填符号表，“未定义”，把NXQ填入L2的地址部分，作为链头。产生( j, _, _, 0) q1 (j, _, _, 0 ) 遇到goto L2, 查到未定义，取符号表中L2的地址q1填入四元式q2:(j, _, _,q1),将q2填入符号表。 … … q2 (j, _, _, q1 ) q2 遇到L2:S2，就可以回填。（假设S2对应的第一个四元式标号是P3。） q3 q3 q3 已 一般而言，带标号语句产生式为 S ? label S label ? i: Label ? i: 的语义动作 1. 若i所指的标识符(假定为L)不在符号表中，则把它填入，置类型为“标号”，“定义否”为“已”，地址为NXQ。 2, 若 L已在符号表中，但“类型”不为“标号”或者“定义否”为“已”，则报告出错。 3. 若L已在符号表中，则把标志“未”改为“已”；然后，把地址栏中的链头(记为q)取出，同时把NXQ填在其中；最后，执行BACKPATCH(q,NXQ)。 1 较为复杂的程序控制语句常常是嵌套的。 S1后有一条无条件转移指令，跳转到本语句之后。这里，与上一节不同的是，在S2翻译之后，也不能确定其跳转地址，它要跨越S2和S3。 所以，转移地址的确定与语句所处的环境有关。 if E1 THEN if E2 then S1 else S2 ELSE S3 解决办法 令每个非终结符S附带一项语义值S.CHAIN，它指出一条链的头，该链由所有期待翻译完S后回填目标的四元式所组成。 注意 回填值可能是{S}的下一条四元式，也可能不是。真正的回填，要在处理完S的外层后进行。 考虑语句 WHILE E(1) DO S(1) 译为代码结构 E(1)的代码 S(1)的代码 假出口 真出口 由于语句的嵌套，WHILE翻译完了也未必知道假出口的转移目标，所以作为S(1).CHAIN保留下来,以便伺机回填。 While E(1) do S(1) E(1).TC E(1).FC IF E THEN ELSE S 示例 由于语句的嵌套，WHILE翻译完了也未必知道假出口的转移目标，所以作为S(1).CHAIN保留下来,以便伺机回填。 S ? if E then S |if E then S else S |while E do S |begin L end |A L ? L; S |S (7.5) S—语句 L—语句串 A—赋值句 E—布尔表达式 为了能及时回填有关四元式的转移目标，如同处理布尔表达式一样，需要对文法(7.5)进行改写。 S ? C S | TP S | Wd S | begin L end | A L ? LS S | S C ? if E then TP ? C S else Wd ? W E do W ? while LS ? L; (7.6) 语义动作 C ? if E then { BACKPATCH (E.TC, NXQ); C.CHAIN := E.FC } S ? C S(1) { S.CHAIN := MERG(C.CHAIN, S(1).CHAIN} TP ? C S(1) else { q := NXQ; GEN(j, _, _, 0); BACKPATCH(C.CHAIN,NXQ); TP.CHAIN := MERGE(S(1).CHAIN,q)} S ? TP S(2) { S.CHIAN := MERG(TP.CHAIN, S(2).CHAIN} 语义动作 (续) W ? while { W.QUAD := NXQ } Wd ? W E do { BACKPATCH (E.TC,NXQ); Wd.CHAIN := E.FC; Wd.QU