目標(biāo)代碼生成PPT學(xué)習(xí)教案

1、會(huì)計(jì)學(xué)1目標(biāo)代碼生成目標(biāo)代碼生成第1頁(yè)/共40頁(yè)n A=T2+En代碼生成器將形如x=y+z的三地址代碼映射為：nMOV AX, y /*AX為寄存器*/n ADD AX, zn MOV x, AX第2頁(yè)/共40頁(yè)n(9) MOV A, AX (4)和(7)兩條指令是多余的；T1、T2是中間代碼生成時(shí)產(chǎn)生的臨時(shí)變量，它們?cè)诔隽嘶緣K后將不再使用，故(3)、(6)兩條指令也可刪去。第3頁(yè)/共40頁(yè)(1) MOV AX, B (2) ADD AX, C(3) MUL AX, D(4) ADD AX, E (5) MOV A, AX?如何充分利用寄存器第4頁(yè)/共40頁(yè)第5頁(yè)/共40頁(yè)假設(shè)變量的符號(hào)表

2、內(nèi)有待用信息和活躍信息欄，則計(jì)算變量待用信息的算法如下：第6頁(yè)/共40頁(yè)n 把符號(hào)表中變量A的待用信息和活躍信息附加到四元式i上；n 把符號(hào)表中變量A的待用信息和活躍信息分別置為“非待用”和“非活躍”；n 把符號(hào)表中變量B和C的待用信息和活躍信息附加到四元式i上；n 把符號(hào)表中B和C的待用信息置為i，活躍信息置為“活躍”。第7頁(yè)/共40頁(yè)第8頁(yè)/共40頁(yè)表7.1 例7.1的待用信息鏈和活躍信息鏈變量名待 用 信 息活 躍 信 息初值待 用 信 息 鏈初值活 躍 信 息 鏈TF (3) FF LLFAF (2)(1)L LBF (1)L LCF (2) L L UF(4)(3)F FLLF VF

3、(4)F FLF DFF LF 第9頁(yè)/共40頁(yè)第10頁(yè)/共40頁(yè)即其是在某寄存器中還是在某內(nèi)存單元中，或者同時(shí)存在于某寄存器和某內(nèi)存單元中如：第11頁(yè)/共40頁(yè)i示A的值既在寄存器Ri中又在內(nèi)存中*/第12頁(yè)/共40頁(yè)在寄存器中，則把寄存器取作B和C。第13頁(yè)/共40頁(yè)R中的值已發(fā)生變化，不等于B或C第14頁(yè)/共40頁(yè)第15頁(yè)/共40頁(yè)盡可能使用B所在的寄存器不行則選用空閑寄存器再不行則選用待用位置最遠(yuǎn)的變量占用的寄存器第16頁(yè)/共40頁(yè)第17頁(yè)/共40頁(yè)表7.2 例7.2的目標(biāo)代碼四元式目標(biāo)代碼RVALUEAVALUET=ABMOV AX, ASUB AX, BAX含有TT在A(yíng)X中U=AC

4、MOV BX, ASUB BX, CAX含有TBX含有UT在A(yíng)X中U在BX中V=T+UADD AX, BXAX含有VBX含有UV在A(yíng)X中U在BX中D=V+UADD AX, BXAX含有DD在A(yíng)X中例7.2 對(duì)例7.1，假設(shè)只有AX和BX是可用寄存器，用代碼生成算法生成目標(biāo)代碼和相應(yīng)的RVALUE和AVALUE。第18頁(yè)/共40頁(yè)第19頁(yè)/共40頁(yè)第20頁(yè)/共40頁(yè)第21頁(yè)/共40頁(yè)n0 其它情況循環(huán)內(nèi)寄存器分配原則：把寄存器固定分配給結(jié)省代價(jià)最多的變量。 BL USE(M,B)+2*LIVE(M,B) 第22頁(yè)/共40頁(yè)第23頁(yè)/共40頁(yè)(1) abc(2) da4(3) eab(4) fce

5、(5) bbc(6) cbf(7) if bc goto (10)B1B5(8) bbc(9) fbfB2B3(10) aaf(11) if af goto (3)(12) haltB4圖71 程序流圖第24頁(yè)/共40頁(yè)LIVE(a,B3)=0；nU S E ( a , B4) = 1 ；LIVE(a,B4)=1；n因此，變量a在一次循環(huán)中執(zhí)行代價(jià)的節(jié)省總數(shù)為：USE(a,B)+2*LIVE(a,B)BL=1+0+1+2*(0+0+1)=4第25頁(yè)/共40頁(yè)USE(b,B)+2*LIVE(b,B)BL=2+1+0+2*(1+1+0)=7第26頁(yè)/共40頁(yè)USE(c,B)+2*LIVE(c,B)BL=2+1+1+2*(1+0+0)=6第27頁(yè)/共40頁(yè)第28頁(yè)/共40頁(yè)第29頁(yè)/共40頁(yè)n105 (=, T1, _ , a )n106 (j, _, _, 112)n107 (j=, k, h, 109 )n108 (j, _, _, 112)n109 (+, x , 2, T2 )第30頁(yè)/共40頁(yè)第31頁(yè)/共40頁(yè)n n DWn x DW第32頁(yè)/共40頁(yè)nassum cs:code, ds:data第33頁(yè)/共40頁(yè)n jg 102第34頁(yè)/共40頁(yè)第35頁(yè)