编译原 第18讲(第八章).pptVIP

第八章 语义分析;8.3 中间代码生成;四元式形式:;(1) S?id:= E { P:=lookup(id.name); if P ? nil then emit(P“:=” E.place) //引号中的部分按原样输出 else error } (2) E?E1+E2 { E.place:= newtemp; emit(E.place“:=” E1.place“+”E2.place)} (3) E? - E1 { E.place:=newtemp; emit(E.place“:=”“uminus” E1.place)} (4) E?( E1) { E.place:= E1.place} } //无须分配新空间，相当于改写指针，E.place看成一个指针 (5) E?id { E.place:=newtemp; P:=lookup(id.name); if P?nil then E.place:=P else error};简单赋值语句的翻译举例;8.3.3 简单说明语句的翻译;简单说明语句的属性文法;过程中的说明语句的属性文法;8.3.4 布尔表达式的翻译;E→E1 or E2 ｛E．place∶=newtemp； emit（E．place′∶=′E1．place　′or′E2．place）｝ E→E1 and E2 ｛E．place∶ =newtemp； 　emit（E．place′∶=′E1．place ′and′E2．place）｝ E→not E1 ｛E．place∶ =newtemp：； emit（E．place′∶=′not′E1．place）｝ E→（E1） ｛E．place∶=E1．place｝ E→id1 relop id2 ｛E．place∶=newtemp； 　emit（′if′ id1.place relop id2.place ′goto′nextstat+3）； emit（E．place′∶=′′0′）； emit（′goto′nextstat+2）； emit（E．place′∶=′′1′）｝ E→true ｛E．place∶=newtemp； emit（E．place′∶=′′1′）｝ E→false ｛E．place∶=newtemp； emit（E．place′∶=′′0′）｝;布尔表达式的翻译举例; ; ;E.false; ;E.false;S?if E then S1 { E.true:=nemlable; E.false:=S.next; S1 .next:=S.next; S.code:=E.code || gen(E.true’:’) || S1.code } S?if E then S1 else S2 { E.true:=nemlable; E.false:= nemlable; S1 .next:=S.next; S2 .next:=S.next S.code:=E.code || gen(E.true’:’) || S1.code || gen(‘goto’ S.next) || gen(E.false’:’) || S2.code } S?while E do S1 { ….. } ;控制语句中布尔表达式的翻译; ;我们把该表达式放在条件语句中考虑，可翻译成如下的四元式序列 　（1）　if　a＜b　goto　（7） //（7）是整个布尔表达式的真出口 　（2）　goto　（3） 　（3）　if　c＜d　goto　（5） 　（4）　goto　(p+1) //（p+1）是整个布尔表达式的假出口 　（5）　if　e＞f　goto　（7） 　（6）　goto　（p+1） 　（7） （关于S1的四元式…） // (E.true ) 入口 　　 　（p）　goto　（q） 　（p+1）（关于S2的四元式…） // (E.false)入口 　　 　（q）;“拉链”与“回填”技术;“拉链”的例子;“回填”的例子;(1;布尔表达式翻译需要的语义元素:;true：对于E.true而言，其含义是需要真出口的四元式序列所构成的