【文章內(nèi)容簡(jiǎn)介】 進(jìn)行類型轉(zhuǎn)換。 S→id:=E if =int amp。 =int then GEN(:=， ， ， ) Else if =real amp。 =real then GEN(:=， ， ， ) Else if =int amp。 =real then {T:=newtemp。 GEN(itr， ， ， T) GEN(:=， ， ， T)} Else if =real amp。 =int then {T:=newtemp。 GEN(itr， ， ， T) GEN(:=， T， ， ) } 產(chǎn)生式 語(yǔ)義規(guī)則 布爾表達(dá)式 : 用布爾運(yùn)算符號(hào)（ ∧ ， ∨ ， ┐ ）作用到布爾變量或關(guān)系表達(dá)式上而組成的表達(dá)式。 ◆ 布爾表達(dá)式的作用： 1. 計(jì)算邏輯值，注意計(jì)算時(shí)的優(yōu)先級(jí)。 2. 控制流語(yǔ)句，如 ifthen， ifthenelse和 whiledo語(yǔ)句中的條件表達(dá)式 ◆ 本節(jié)考慮由如下文法生成的布爾表達(dá)式： E→ E ∧ E| E ∨ E| ┐ E|(E)| id rop id|true|false 167。 布爾表達(dá)式的翻譯 ? 方法一： 用數(shù)值表示真假，對(duì)布爾表達(dá)式的求值可如同算術(shù)表達(dá)式求值一步步計(jì)算。 例如： A∨B∧C ，其四元式為 : (∧ ， B， C， T1) (∨ ， A， T1， T2） ? 方法二： 采取某種優(yōu)化措施。即 將任何布爾表達(dá)式描述為等價(jià)的 ifthenelse結(jié)構(gòu)。 例 A∨B:if A then true else if B then true else false A∧B ： if A then if B then true else false else false ┐A ： if A then false else true 方法一 很容易寫(xiě)出相應(yīng)的四元式，從而表示出每個(gè)產(chǎn)生式的語(yǔ)義動(dòng)作。 布爾表達(dá)式的翻譯方法 方法二 涉及如何翻譯ifthenelse結(jié)構(gòu)的問(wèn)題。 作為條件控制的布爾式翻譯 : : goto ... : to to (a) ifthenelse ifthen？ 1）條件語(yǔ)句 if E then S1 else S2 E的作用在于控制對(duì) S S2的選擇，因此結(jié)果無(wú)需最終保留。通過(guò)程序的控制流，即用 程序中控制轉(zhuǎn)移到達(dá)的位置 來(lái)表示布爾表達(dá)式的值。 對(duì)作為轉(zhuǎn)移條件的布爾式，其轉(zhuǎn)移可用下述三種四元式表示： (jnz， A， ， P)： 若 A為真 (1或非 0)則轉(zhuǎn)向第 P四元式 (jrop， A1， A2， P)： 若 A1 rop A2為真，則轉(zhuǎn)向第 P四元式 (j， ， ， P)： 無(wú)條件轉(zhuǎn)向 P四元式 例如： if A∨ BD then S1 else S2 翻譯成四元式為： （ 1） (jnz， A， ，？ ) A的真出口 （ 2） （ j， ， ，？） A的假出口 （ 3） （ j， B， D， ?） BD的真出口 （ 4） （ j， ， ， ？ ） BD的假出口 （ 5） 關(guān)于 S1的四元式 ┆ （ P） （ j， ， ，？） 跳過(guò) S2的代碼段 （ P+1）關(guān)于 S2的四元式 ┆ （ q） s2后的語(yǔ)句 3 5 5 P+1 q (j=,B,D,P+1) (3)(4)合并改寫(xiě) (2)可刪除 可優(yōu)化嗎？ 分 析 ? (1)~(4)是布爾式 A∨ BD 的代碼，他們?nèi)菞l件轉(zhuǎn)移或無(wú)條件轉(zhuǎn)移四元式，取代了原來(lái)的布爾運(yùn)算。 ? A的真出口和 BD的真出口相同 — (5)S1的第一個(gè)四元式 (布爾式的真出口 ) ? A的假出口為 BD的第一個(gè)四元式。 ? BD的假出口是整個(gè)布爾式的假出口 — S2的第一個(gè)四元式。 ? (2)四元式可刪除， (3)、 (4)也可合并 — 代碼優(yōu)化。 翻譯布爾式時(shí)要解決的問(wèn)題 確定每個(gè)四元式的第四項(xiàng)，即轉(zhuǎn)向的位置 ——真假出口 拉鏈、回填 問(wèn)題 1：確定一個(gè)布爾表達(dá)式的真假出口 ? E→ E(1) ∨ E(2) 若 E(1)為真，則 E為真，因此 E(1)的真出口是 E的真出口 若 E(1)為假，則計(jì)算 E(2) ∴ E(1)的假出口為 E(2)的第一個(gè)四元式 ∴ E(2)的真假即為 E的真假出口 E1 E2 T， E為 T F， E為 F ? E→ E(1) ∧ E(2): 若 E(1)為假，則 E為假，因此 E(1) 的假出口是 E的假出口 若 E(1)為真，則計(jì)算 E(2) ∴ E(2)的真假即為 E的真假出口 ∴ E(1)的真出口為 E(2)的第一個(gè)四元式 E1 E2 T， E為 T F， E為 F ?E→ ┐ E(1)： E(1)的真出口是 E的假出口； E(1)的假出口是 E的真出口。 問(wèn)題 2：拉鏈、回填 翻譯過(guò)程中常出現(xiàn)若干轉(zhuǎn)移四元式轉(zhuǎn)向同一目標(biāo)。但此目標(biāo)的具體位置未確定。 將這些四元式用 “ 拉鏈 ” 的方法鏈接起來(lái)，用一指針指向鏈頭，在確定了目標(biāo)四元式后，再 “ 回填 ” 此鏈。 對(duì)一個(gè)布爾表達(dá)式 E，應(yīng)有兩條鏈： ? 真出口鏈（ T鏈） ? 假出口鏈（ F鏈） ? 用屬性 ETC， EFC記錄。 拉鏈返填 ?? （ 10 ） g o t o L （ 10 ） g o t o 0 ?? ?? 鏈尾（ 10 ） （ 20 ） g o t o L （ 20 ） g o t o 1 0 ? ? ?? （ 30 ） g o t o L ( 3 0 ) g o t o 2 0 ?? ?? 鏈頭（ 30 ） （ 40 ） L ：?? （ 40 ） （ 1）（ jnz， A， ， 0 ） （ 2）（ j， ， ， 0 ） （ 3）（ j， B， D， 0） （ 4）（ j， ， ， 0 ） （ 5）關(guān)于 S1的四元式 ┆ （ P）關(guān)于 S2的四元式 1 3 ETC EFC 拉鏈 回填 55 P 例： if A∨ BD then S1 else S2 回填 為了方便對(duì)布爾式生成相應(yīng)的四元式，可對(duì)上述文法進(jìn)行改寫(xiě)，以利于編制相應(yīng)的語(yǔ)義子程序。 E→E ∧ E| E∨ E| ┐ E|(E） | id rop id| id E∧ →E ∧ E∨ →E ∨ 1）語(yǔ)義變量和語(yǔ)義過(guò)程 為了實(shí)現(xiàn)“拉鏈”和“回填”及處理 ETC，EFC，需定義如下變量和過(guò)程： 布爾式四元式翻譯 ? NXQ