第六章中間代碼生成-預(yù)覽頁
【正文】 ? 這些變量的內(nèi)存布局獨(dú)立 – 相對地址從 0開始； – 假設(shè)變量的放置和聲明的順序相同； ? SDT的處理方法 – 變量 offset記錄當(dāng)前可用的相對地址； – 每“分配”一個(gè)變量， offset的值增加相應(yīng)的值 ? (, , offset) – 在當(dāng)前符號表 (位于棧頂 )中創(chuàng)建符號表?xiàng)l目，記錄標(biāo)識(shí)符的類型，偏移量 聲明序列的 SDT（ 2） ? 我們可以把 offset看作 D的繼承屬性 – D中第一個(gè)變量的相對地址 – P?{ =0} D – D? T id。 – 這里的 gen發(fā)出相應(yīng)的代碼 數(shù)組元素的尋址 ? 假設(shè)數(shù)組元素被存放在連續(xù)的存儲(chǔ)空間中。 else if ( = float and = integer) = float。amp。amp。 ? 代碼 – if x 100 goto L2 – ifFalse x 200 goto L1 – ifFalse x != y goto L1 – L2: x=0 – L1: 接下來的代碼 注： 當(dāng) x100為真時(shí)，直接執(zhí)行 x=0； 所以執(zhí)行 x200時(shí)， x100必然為假 同理：計(jì)算 x!=y時(shí)， x100為假，而 x200為真 控制流語句的翻譯 ? 文法： B表示布爾表達(dá)式，S代表語句 – S? if (B) S1 – S? if (B) S1 else S2 – S?while (B) S1 ? 代碼的布局見右圖 ? 繼承屬性 – ： B為真的跳轉(zhuǎn)目標(biāo) – ： B為假的跳轉(zhuǎn)目標(biāo) – ： S執(zhí)行完畢時(shí)的跳轉(zhuǎn)目標(biāo) 語法制導(dǎo)的定義（ 1） 語法制導(dǎo)的定義（ 2） ? 增量式生成代碼： S? while ( {begin = newlabel()。=begin。amp。 ? 文法： – S ? id = E。生成這些指令時(shí)， S的代碼尚未生成，因此目標(biāo)不確定 – 通過語句的繼承屬性 next來傳遞。 ? 回填技術(shù)： – 生成跳轉(zhuǎn)指令時(shí)暫時(shí)不指定跳轉(zhuǎn)目標(biāo)標(biāo)號，而是使用列表記錄這些不完整的指令； – 等知道正確的目標(biāo)時(shí)再填寫目標(biāo)標(biāo)號； – 每個(gè)列表中的指令都指向同一個(gè)目標(biāo) 布爾表達(dá)式的回填翻譯（ 1） ? 布爾表達(dá)式用于語句的控制流時(shí)，它總是在取值 true時(shí)和取值 false時(shí)分別跳轉(zhuǎn)到某個(gè)位置 ? 引入兩個(gè)綜合屬性 – truelist: 包含跳轉(zhuǎn)指令（位置）的列表，這些指令在取值 true時(shí)執(zhí)行 – falselist：包含跳轉(zhuǎn)指令（位置）的列表，這些指令在取值 false時(shí)執(zhí)行 ? 輔助函數(shù) – Makelist(i) – Merge(p1,p2) – Backpatch(p,i) 布爾表達(dá)式的回填翻譯（ 2） 回填和非回填方法的比較（ 1） B ? {=, = newlabel()。} B2 ? true/false屬性的賦值，在回填方案中對應(yīng)為相應(yīng)的 list的賦值或者 merge； ? 原來生成 label的地方，在回填方案中使用 M來記錄相應(yīng)的代碼位置。 x!=y 控制轉(zhuǎn)移語句的回填 ? S? if ( B ) S | if (B) S else S | while (B) S | { L } | A L ? L S | S ? 語句的綜合屬性： nextlist – nextlist中的跳轉(zhuǎn)指令的目標(biāo)應(yīng)該是 S執(zhí)行完畢之后緊接著執(zhí)行的下一條指令的位置。
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1