【正文】 call S /*轉(zhuǎn)子 */ 過(guò)程調(diào)用的翻譯 ? 過(guò)程調(diào)用文法 : (1) S → call id (Elist) (2) Elist → Elist, E (3) Elist → E ? 翻譯模式 1. S→call id (Elist) { for 隊(duì)列 queue中的每一項(xiàng) p do emit(‘param’ p)。 … Cn1: Sn1。 ?向前轉(zhuǎn)移： goto L1。 M S M→? ? 翻譯模式 : 1. L→L 1。 emit(‘j,－ ,－ ,－ ’) } ? while 語(yǔ)句的翻譯 相關(guān)產(chǎn)生式 S→ while E do S(1) ? 翻譯為： E的代碼 S (1)的代碼 “真”出口 “假”出口 為了便于 回填 ， 改寫產(chǎn)生式為 : S→while M 1 E do M2 S1 M→ ? ? 翻譯模式 : 1. S→while M1 E do M2 S1 { backpatch(, )。S (7) | S ? S表示語(yǔ)句， L表示語(yǔ)句表， A為賦值語(yǔ)句， E為一個(gè)布爾表達(dá)式 ? if 語(yǔ)句的翻譯 相關(guān)產(chǎn)生式 S → if E then S(1) | if E then S(1) else S(2) 改寫后產(chǎn)生式 S → if E then M S1 S → if E then M1 S1 N else M2 S2 M→? N→? 翻譯模式 : 1. S→if E then M S1 { backpatch(, )。 :=newlabel。 := := || gen( ‘:’) || ? ifthenelse語(yǔ)句 S → if E then S1 else S2 To To goto …… : : ifthenelse語(yǔ)句的屬性文法 產(chǎn)生式 語(yǔ)義規(guī)則 S→if E then S 1 else S2 :=newlabel。 :=makelist(nextquad+1)。 :=E1. falselist} 布爾表達(dá)式的翻譯模式 (5) E→id 1 relop id2 { :=makelist(nextquad)。 := } (2) E→E 1 and M E2 { backpatch(, )。 ?函數(shù) merge(p1,p2)， 把以 p1和 p2為鏈?zhǔn)椎膬蓷l鏈合并為一，作為函數(shù)值，回送合并后的鏈?zhǔn)住? ? 為 非 終 結(jié) 符 E 賦 予 兩 個(gè) 綜 合 屬 性 。 :=。 :=。 :=。 emit(‘goto’ nextstat+2)。 emit( ‘:=’ E ‘a(chǎn)nd’ )} E→not E 1 {:=newtemp。 emit ( ‘:=’ E ‘real+’ u)。 emit (u ‘:=’ ‘inttoreal’ E )。 這個(gè)賦值句產(chǎn)生的三地址代碼為： T1:=i int* j T3:=inttoreal T1 T2:=y real+ T3 x:=T2 關(guān)于產(chǎn)生式 E→E1 ＋ E2 的語(yǔ)義動(dòng)作 { :=newtemp。 emit( ‘:=’ ‘－ ’ C)。 emit(t ‘:=’ t ‘+’ )。 :=1。 emit(‘:=’ ‘uminus’E )} E→(E 1) { :=} E→id { p:=lookup()。 =‘ ’ 產(chǎn)生賦值語(yǔ)句三地址代碼的翻譯模式 S→id :=E { p:=lookup()。 := || || gen( ‘:=’ ‘+’ ) E→E 1*E2 :=newtemp。 top(offset) := top(offset) + } N ? ? {t := mktable(top(tblptr) )。 addwidth(t, top(offset) )。 push (0, offset) } D ? D1 。 S ? 語(yǔ)義動(dòng)作用到的函數(shù) mktable(previous) enter(table, name, type, offset) addwidth(table, width) enterproc(table, name, newtable) 聲 明 語(yǔ) 句 處理嵌套過(guò)程中的說(shuō)明語(yǔ)句 P ? M D S {addwidth (top (tblptr), top (offset) )。 enter(name,type,offset): 用于填充符號(hào)表 。 := 4 } T? real { := real。 addtype (id. entry, L1. type)} L ? : T {L. type := T. type} T ? integer {T. type := integer} T ? real {T. type := real} 以上沒(méi)有繼承屬性的翻譯方案 D : L , id L id integer T 聲 明 語(yǔ) 句 ? 為局部名字建立符號(hào)表?xiàng)l目 ? 為它分配存儲(chǔ)單元 ? 符號(hào)表中包含名字的類型和分配給它的存儲(chǔ)單元的相對(duì)地址等信息 聲 明 語(yǔ) 句 過(guò)程中的聲明 P ? D S D ? D 。 ?優(yōu)點(diǎn) : 方便優(yōu)化 ， 節(jié)省空間 ? 例如，語(yǔ)句 X:=(A+B)*C。 := || gen( ‘:=’ ‘uminus’ ) E→ (E 1) :=。 ?函數(shù) newtemp的功能是 ， 每次調(diào)用它時(shí) ， 將返回一個(gè)不同臨時(shí)變量名字 ,如 T1,T2,…。 x:= y ? 無(wú)條件轉(zhuǎn)移 goto L ? 條件轉(zhuǎn)移 if x relop y goto L ? 過(guò)程調(diào)用 param x 和 call p , n ? 過(guò)程返回 return y ? 索引賦值 x := y[i]和 x[i] := y ? 地址和指針賦值 x := amp。 ? 數(shù)組 POST存放后綴式： k為下標(biāo)，初值為 1 ? 上述語(yǔ)義動(dòng)作可實(shí)現(xiàn)為： 產(chǎn)生式 程序段 E→E(1)op E(2) {POST[k]:=op。 ? 后綴式的計(jì)算 ?用一個(gè)棧實(shí)現(xiàn) 。 2. 如果 E是 E1 op E2形式的表達(dá)式，其中 op是任何二元操作符，則 E的后綴式為 E1? E2? op，其中 E1? 和 E2? 分別為 E1 和 E2的后綴式。 ? 一個(gè)表達(dá)式 E的后綴形式可以如下定義： 1. 如果 E是一個(gè)變量或常量，則 E的后綴式是 E自身。 只要知道每個(gè)算符的目數(shù) ， 對(duì)于后綴式 ， 不論從哪一端進(jìn)行掃描 ， 都能對(duì)它進(jìn)行唯一分解 。 ?把表達(dá)式翻譯成后綴式的語(yǔ)義規(guī)則描述 產(chǎn)生式 E→E (1)op E(2) E→ (E (1)) E→id 語(yǔ)義動(dòng)作 := E(1).code || E(2).code ||op := E(1).code :=id ? E后綴形式 ? op表示任意二元操作符 ? “ ||”表示后綴形式的連接 。 x:=op y。 ? E求值的三地址語(yǔ)句序列 。 := || || gen( ‘:=’ ‘*’ ) E→ E1 :=newtemp。 ? 四元式 ?一個(gè)帶有四個(gè)域的記錄結(jié)構(gòu)，這四個(gè)域分別稱為 op, arg1, arg2及 result op arg1 arg2 result (0) uminus c T1 (1) * b T1 T2 (2) uminus c T3 (3) * b T3 T4 (4) + T2 T4 T5 (5) := T5 a 三地址語(yǔ)句 ? 三元式 ?通過(guò)計(jì)算臨時(shí)變量值的語(yǔ)句的位置來(lái)引用這個(gè)臨時(shí)變量 ?三個(gè)域： op、 arg1和 arg2 op arg1 arg2 (0) uminus c (1) * b (0) (2) uminus c (3) * b (2) (4) + (1)