编译原理语义(表达式及赋值语句的翻译).pptVIP

4.4 表达式及赋值语句的翻译 ?规则： (8) E→ EBE(2) E 语义栈(tc/fc)： 四元式： 104 (j≥, c , d , 102) E E.tc=104 E.fc=105 (8) ?E→EBE(2) { E.fc = E(2).fc;　　 E.tc = merge(EB.tc，E(2).tc); } ?规则： (2) E→i rop i EB E(2) 语义栈(tc/fc)： 四元式： 104 (j≥, c , d , 0) 105 (j, _ , _ , 0) nxq = 106 E(2) E(2).tc=104 E(2).fc=105 EB EB.tc=102 4.4 表达式及赋值语句的翻译 第一步结束，得到 a∧b∨c≥d 的四元式如下： 100 (jnz，a，_，102) 101 (j，_，_，104) 102 (jnz，b，_，0)  103 (j，_，_，104) 104 (j≥，c，d，102) 105 (j，_，_，0) 第三步，回填真假出口: 检查真假链尾仍然是0的四元式，进行回填。 第二步，定义真假出口： T：106 … F: q 最终得到： 100 (jnz，a，_，102) 101 (j，_，_，104) 102 (jnz，b，_，106)  103 (j，_，_，104) 104 (j≥，c，d，106) 105 (j，_，_，q) T：106 … F: q 4.4 表达式及赋值语句的翻译 6、布尔表达式的翻译：语义子程序 1.文法： 2.语义子程序： 例如 if(a) b; G[E]： E→EAE | EBE | ┐E | (E) | i | i rop i EA→E∧　　 EB→E∨ ?E→i （布尔值） ｛ E.tc=nxq; E.fc=nxq+1;　　 emit(jnz,entry(i),_,0); emit(j,_,_,0); } (2) ?E→i(1) rop i(2) { ?E.tc=nxq; E.fc=nxq+1; 　　 emit(jrop, entry(i(1)), entry(i(2)),0);　　 emit(j,_,_,0); } 4.4 表达式及赋值语句的翻译 说明 (5): 如果E(1)为真，表达式的值取决于∧之后， E(1) 的真出口已经确定，可以立即回填E(1)的tc链，跳转到nxq ; 如果E(1)为假，EA保留E(1)的假链，等待后续回填。 (3) ?E→(E(1)) { E.tc = E(1).tc; E.fc = E(1).fc; } (4) ?E→┐E(1) { E.tc = E(1).fc; E.fc = E(1).tc; } (5) ?EA→E(1)∧ { Backpatch( E(1).tc, nxq);　　 EA.fc = E(1) .fc; } (6) ?E→EAE(2) { E.tc = E(2).tc;　　 E.fc =merge( EA.fc，E(2).fc); } 4.4 表达式及赋值语句的翻译 (7) ?EB→E(1)∨ { Backpatch(E(1).fc，nxq);　　 EB.tc = E(1).tc; } (8) ?E→EBE(2) { E.fc = E(2).fc;　　 E.tc = merge(EB.tc，E(2).tc); } 说明 (8): 能使用(8)规约，E(1)的真出口必须链接到E(2)，因此要拉链操作； E(1)的假出口就是E(2)，因此(7)要立即回填假出口，(8)中E的假出口必须依赖于E(2) ，因此E.fc = E(2).fc; E.tc = E