编译 第五章 语义分析及中间代码生成

1、12345678910111213digit.attr=3F.val=3T.val=3digit.attr=5F.val=5T.val=15E.val=15digit.attr=4F.val=4T.val=4E.val=19Print(19)14realT T. .t ty yp pe e= =r re ea al lid1L.in=real,id2L.in=real,id3L.in=realD D15161718192021222324+*aa*bcd+25A A1 12 2- -B B* *6 6+ +2627产生式产生式 语义规则语义规则 Sid:=E EE1+E2 EE1*E2 E -

2、E1 E (E1) E id E num S.p:= mknode(:=, mkleaf(id, id.S.p:= mknode(:=, mkleaf(id, id.placeplace), E.p), E.p) E.p:= mknode(+, E1.p, E2.p) E.p:= mknode(+, E1.p, E2.p) E.p:= mknode(*, E1.p, E2.p)E.p:= mknode(*, E1.p, E2.p) E.p:= mknode(E.p:= mknode(- -, 0, E1.p), 0, E1.p) E.p:= E1.pE.p:= E1.p E.p:= mklea

3、f(id, id.E.p:= mkleaf(id, id.placeplace) ) E.p:=mkleaf(num,num.vaE.p:=mkleaf(num,num.val)l) 28id a+*-0id bid bid cnum 34-0:=root29id b id c - 1 * 0 2 id b num 34 - 5 * 4 6 + 3 7 id a := 9 8 ：三元式的出现次三元式的出现次序序即为赋值语句的即为赋值语句的计算处理过程顺计算处理过程顺序序30313233p1e p1 jez x p2 jump y p23435363738394041使用使用P171表表7.3属

4、性文法翻译属性文法翻译 x:=a+b*c 42用用表表7.3属性文法翻译属性文法翻译 x:=(a+b)*c; y:=d(a+b)43444546使用使用P171表表7.3属性文法翻译属性文法翻译 x:=a+b*c47484950S id := E S.code := E.code | gen( id.place:=E.place ) E E1 + E2 E.place := newtemp; E.code := E1.code | E2.code | gen(E.place:=E1.place+E2.place)E E1 * E2 E.place := newtemp; E.code := E

5、1.code | E2.code | gen(E.place:=E1.place*E2.place) 51E - E1 E.place := newtemp; E.code := E1.code | gen(E.place:=0-E1.place) E ( E1 ) E.place:= E1.place; E.code:= E1.code E id E.place:= id.place; E.code:= E num E.place:= num.val；E.code:= 52id:=id111id21num222535455565758布尔表达式的翻译策略布尔表达式的翻译策略59 生成四元式生

6、成四元式(1)EE1 or E2 T:=NEWTEMP； emit (or，E1 place，E2 place，T)； E place :=T (2)E E1 and E2 T:=NEWTEMP; emit (and，E1 place，E2 place，T)； E place :=T (3)E E1 T:=NEWTEMP; emit (，E1 place , _ , T)； E place :=T (4)E (E1) E place := E1 place (5)E i1 rop i2 Eplace := NEWTEMP； emit ( if i1.place relop i2.place g

7、oto nextstat+3 ) emit ( E.place := 0 ); emit ( goto nextstat+2 ) emit ( E.place := 1 ) (6)E i Eplace := ENTRY(i)616263E的代码序列S1的代码序列S2的代码序列真假6465666768697071727374三地址代码的控制结构三地址代码的控制结构75C.codeC.codeS1.codeS1.codeC.trueC.trueC.falseC.falseS1.begin:S1.begin:S.begin:S.begin:S.nextS.nextS1.nextS1.next7677

8、S while C do S1 78 while a+bx*y do u:=c-d79C.codeC.codeS2.codeS2.codeS1.codeS1.codeC.falseC.falseC.trueC.trueS.nextS.nextS2.nextS2.nextS1.nextS1.nextS1.beginS1.begin：S2.beginS2.begin：80S if C then S1 else S2 81 if a+5b then u:=x*y else v:=c-d8283.code.code.code84E.codeE1.codeS11.codeS12.codeS1.codeS11.codeE.codeE1.codeS1.codeS12.code例：例：P218习题习题7S11.codeE.codeE1.codeS1.codewhile ac and b