第六章中間代碼生成-免費(fèi)閱讀
【正文】 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í)行的下一條指令的位置。 ? 回填技術(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()。 ? 文法： – S ? id = E。=begin。amp。 else if ( = float and = integer) = float。 聲明序列的 SDT（ 1） ? 在處理一個(gè)過程 /函數(shù)時(shí)，局部變量應(yīng)該放到單獨(dú)的符號表中去； ? 這些變量的內(nèi)存布局獨(dú)立 – 相對地址從 0開始； – 假設(shè)變量的放置和聲明的順序相同； ? SDT的處理方法 – 變量 offset記錄當(dāng)前可用的相對地址； – 每“分配”一個(gè)變量， offset的值增加相應(yīng)的值 ? (, , offset) – 在當(dāng)前符號表 (位于棧頂 )中創(chuàng)建符號表?xiàng)l目，記錄標(biāo)識符的類型，偏移量 聲明序列的 SDT（ 2） ? 我們可以把 offset看作 D的繼承屬性 – D中第一個(gè)變量的相對地址 – P?{ =0} D – D? T id。 ? 類型信息的用途 – 查錯(cuò)、確定名字需要的內(nèi)存空間、計(jì)算數(shù)組元素的地址、類型轉(zhuǎn)換、選擇正確的運(yùn)算符 ? 本節(jié)的內(nèi)容 – 確定名字的類型， – 變量的存儲(chǔ)空間布局（相對地址） 類型表達(dá)式 ? 類型表達(dá)式（ type expression）：表示類型的結(jié)構(gòu) – 基本類型 – 類名 – 類型構(gòu)造算子作用于類型 ? array[數(shù)字，類型表達(dá)式 ] ? record[字段 /類型對的列表 ]（可以用符號表表示） – 函數(shù)類型構(gòu)造算子 ?：參數(shù)類型 ?結(jié)果類型 – 笛卡爾積： s X t – 可以包含取值為類型表達(dá)式的變量 類型表達(dá)式的例子 ? 類型例子 – 元素個(gè)數(shù)為 3X4的二維數(shù)組 – 數(shù)組的元素的記錄類型 – 該記錄類型中包含兩個(gè)字段 : x和 y,其類型分別是 float和 integer ? 類型表達(dá)式 – array[3, array[4,record[(x,float),(y,float)]] 類型等價(jià) ? 不同的語言有不同的類型等價(jià)的定義 ? 結(jié)構(gòu)等價(jià) – 或者它們是相同的基本類型 – 或者是相同的構(gòu)造算子作用于結(jié)構(gòu)等價(jià)的類型而得到的。y x=*y *x=y 例子 ? 語句 – do i = i + 1。 y = x*a – if (flag) x1=1。 也可以把 t和
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1