課件，編譯原理，編譯原理課件，屬性文法，語法制導(dǎo)，2005課件說明，第十章-資料下載頁
2025-05-01 23:04本頁面
【導(dǎo)讀】構(gòu)造代碼生成程序要考慮的因素。成特定機器的目標代碼。代碼生成器的輸入。–待裝配的機器語言模塊。當需要執(zhí)行時，由。尚需經(jīng)過匯編程序匯編，轉(zhuǎn)。用兩個或多個不同的指令序列完成。指令選擇器選擇其中。通常情況下，指令在寄存器中訪問操作數(shù)的開。取入到寄存器中。作數(shù)保存在寄存器中是比較有利的。寄存器的分配可以分成兩個子問題：。留在寄存器中的一組變量；留的具體寄存器。保留在寄存器中直到寄存器不夠分配為止。變量值時可減少對內(nèi)存的存取次數(shù)，以提高運行速度；在同一基本塊內(nèi)后邊不再被引用的變量所占用的寄存器。應(yīng)盡早釋放，以提高寄存器的利用率。–確定分配有寄存器的值應(yīng)該在哪個寄存器中。由于一些目標機可能具有不同類型的寄存器，不同在于指令順序和寄存器的賦值。若先進行調(diào)度，寄存器趨向于過度分配；若先。引用則可構(gòu)成待用信息鏈與活躍信息鏈。這里假定變量都是活躍的，臨時變量都是非。息欄置為“活躍”。注意，以上a）和b），c）和d）的次序不能顛倒。
【正文】 ? 調(diào)用宏 Iadd與 Fadd生成目標機上的整數(shù)和浮點數(shù)加法指令，如對 IBM360機， Iadd可寫成 macro Iadd a, b from a in R1 , b in R2 emit (AR a,b) result in R1 from a in R , b in M emit (A a,b) result in R from a in M , b in R emit (A b, a) result in R 解釋性代碼生成（續(xù)） ? 在上例中宏 Add包含著實際的代碼生成算法， Iadd和 Fadd的任務(wù)是生成機器指令。相對來說， Add較獨立于機器，而 Iadd和Fadd才與機器相關(guān)。因此，當把一個編譯程序移植到一臺新機器上時， Iadd和 Fadd必須重寫，而 Add卻可保持不變。 解釋性代碼生成（續(xù)） ? 不足之處： – 由于目標機的多樣性、尋址方式、指令的差異等等，給中間代碼的設(shè)計帶來困難； – 代碼生成語言與機器密切相關(guān)，不一定能達到全部可移植； – 目標機的描述與代碼生成算法混在一起，當描述改變時，勢必引起算法的改變； – 需進行指令的選擇、指令排序等低層次的繁瑣工作，產(chǎn)生的目標代碼質(zhì)量依賴于設(shè)計者經(jīng)驗和能力； – 代碼生成的視野有限，雖可進行一定范圍的優(yōu)化，但對協(xié)調(diào)上下文有關(guān)的優(yōu)化較困難。 ? 基本思想 中間表示是一序列語法樹，而將機器指令用樹重寫規(guī)則表示，其一般形式為： Replacement ? template 其中， Replacement為一個簡單的結(jié)點， template是一個樹 模式匹配 代碼生成 (樹重寫技術(shù) ) 基于樹重寫的代碼生成 例 : a[i]:=b+1 : = ind + Memb const1 ind + consti regsp consta regsp + + regi + {ADD Rj,Ri} regi regj (1) re gi ? c onstc {MOV c , R i } (2) re gi ? mema {MOV a , R i } (3) mema ? {MOV R i , a } (4) mema ? {MOV R j , *R i } (5) re gi ? {MOV c (R j ), R i } : = m ema r egi : = m ema r egj in d co n s tc r egj r egi + (6) regi ? {A D D c(R j ), R i }(7) regi ? {A D D R j , R i }(8) regi ? {IN C R i }+regiindconstcregj++regicost1+regiregj(1) Reg0 ? const a{MOV a, R 0 }(7) reg0 ?{AD D S P, R 0 }+reg 0 reg SP: = ind + Memb const1 ind + consti regSP reg0 + i ndc ons t i re g SP++re g 0 indco n st i re g SP+: =i ndre g 0+m e m b c ons t 1+r e g 1 c o n s t 1: =i nd re g 1re g 0MOV a, R0 ADD SP, R0 ADD i(SP),R0 MOV b,R1 INC R1 MOV R1, *R0 表驅(qū)動代碼生成 ? 運用形式化機器描述，利用代碼生成器的構(gòu)造器自動產(chǎn)生代碼生成器。 ? 實際上是模式匹配生成方法的更進一步自動化，它模仿從語法描述構(gòu)造表和表驅(qū)動的語法分析方法。首先把對目標機的形式化描述進行預(yù)加工并轉(zhuǎn)換為代碼生成表，然后用代碼生成程序驅(qū)動代碼生成表，把中間語言的內(nèi)部表示翻譯成目標機的匯編代碼。 表驅(qū)動代碼生成（續(xù)） ? 優(yōu)點 這種表驅(qū)動代碼生成方法易于使用和修改，便于可重定位目標代碼的生成，增強了編譯程序的可移植性和靈活性。 ? 不足之處 它所生成的目標代碼的質(zhì)量依賴于機器描述的完善程度，而形式化、完善地描述一臺機器并不是一件容易的事。 返回
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1