编译原理目标代码生成课件.ppt
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《编译原理目标代码生成课件.ppt》由会员分享,可在线阅读,更多相关《编译原理目标代码生成课件.ppt(74页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、编译原理目标代码生编译原理目标代码生成成第1页,此课件共74页哦7.1 一个简单代码生成器一个简单代码生成器我们首先介绍一个简单的代码生成器,此生成器依次把每条中间代码变换成目标代码,并且在一个基本块范围内考虑如何充分利用寄存器的问题。一方面,在基本块中,当生成计算某变量值的目标代码时,尽可能地让该变量的值保留在寄存器中(即不编出把该变量的值存到内存单元的指令),直到该寄存器必须用来存放其它变量的值或已达基本块出口为止;另一方面,后续的目标代码尽可能地引用变量在寄存器中的值而不访问内存。第2页,此课件共74页哦例如,一C语言语句为A=(B+C)*D+E,把它翻译为四元式G:T1=B+CT2=T
2、1*DA=T2+E如果不考虑代码的效率,可以简单地把每条中间代码(四元式)映射成若干条目标指令,如将x=y+z映射为:MOVAX,y/*AX为寄存器*/ADDAX,zMOVx,AX第3页,此课件共74页哦其中,x、y、z均为数据区的内存变量。这样,上述四元式代码序列G就可翻译为:(1)MOVAX,B(2)ADDAX,C(3)MOVT1,AX(4)MOVAX,T1(5)MULAX,D(6)MOVT2,AX(7)MOVAX,T2(8)ADDAX,E(9)MOVA,AX第4页,此课件共74页哦虽然从正确性来看,这种翻译不存在问题,但它却存在冗余。在上述指令序列中,(4)和(7)两条指令是多余的;而T
3、1、T2均是中间代码生成时产生的临时变量,它们在出了基本块后将不再使用,故(3)、(6)两条指令也可删去。所以,在考虑了效率和充分使用寄存器之后,应生成如下代码:第5页,此课件共74页哦(1)MOVAX,B(2)ADDAX,C(3)MULAX,D(4)ADDAX,E(5)MOVA,AX为了实现这一目的,代码生成器就必须了解一些信息:在产生T2=T1*D对应的目标代码时,为了省去指令MOVAX,T1,就必须知道T1的当前值已在寄存器AX中;为了省去MOVT1,AX,就必须知道出了基本块后T1不再被引用。第6页,此课件共74页哦7.1.1待用信息与活跃信息在一个基本块内的目标代码中,为了提高寄存器
4、的使用效率,应将基本块内还要被引用的值尽可能地保留在寄存器中,而将基本块内不再被引用的变量所占用的寄存器尽早释放。每当翻译一条四元式如A=BopC时,需要知道在基本块中还有哪些四元式要对变量A、B、C进行引用,为此,需要收集一些待用信息。在一个基本块中,四元式i对变量A定值,如果i后面的四元式j要引用A且从i到j的四元式没有其它对A的定值点,则称j是四元式i中对变量A的待用信息,同时也称A是活跃的;如果A被多处引用,则构成了A的待用信息链与活跃信息链。第7页,此课件共74页哦为了取得每个变量在基本块内的待用信息和活跃信息,可从基本块的出口由后向前扫描,对每个变量建立相应的待用信息链与活跃信息链
5、。如果没有进行数据流分析并且临时变量不允许跨基本块引用,则把基本块中的临时变量均看作基本块出口之后的非活跃变量,而把所有的非临时变量均看作基本块出口之后的活跃变量。如果某些临时变量能够跨基本块使用,则把这些临时变量也看成基本块出口之后的活跃变量。假设变量的符号表内有待用信息和活跃信息栏,则计算变量待用信息的算法如下:第8页,此课件共74页哦(1)首先将基本块中各变量的符号表的待用信息栏置为“非待用”,对活跃信息栏则根据该变量在基本块出口之后是否活跃而将该栏中的信息置为“活跃”或“非活跃”。(2)从基本块出口到基本块入口由后向前依次处理各四元式。对每个四元式i:A=BopC依次执行以下步骤:第9
6、页,此课件共74页哦把符号表中变量A的待用信息和活跃信息附加到四元式i上;把符号表中变量A的待用信息和活跃信息分别置为“非待用”和“非活跃”;把符号表中变量B和C的待用信息和活跃信息附加到四元式i上;把符号表中B和C的待用信息置为i,活跃信息置为“活跃”。第10页,此课件共74页哦例7.1考察基本块:(1)T=AB(2)U=AC(3)V=T+U(4)D=V+U其中,A、B、C、D为变量,T、U、V为中间变量,试求各变量的待用信息链和活跃信息链。第11页,此课件共74页哦解答我们根据计算变量待用信息的算法得到各变量的待用信息链和活跃信息链如表7.1所示。表中的“F”表示“非待用”或“非活跃”,“
7、L”表示“活跃”,(1)(4)分别表示基本块中的四个四元式。待用信息链和活跃信息链的每列从左到右为每行从后向前扫描一个四元式时相应变量的信息变化情况(空白处表示没有变化)。第12页,此课件共74页哦表7.1例7.1的待用信息链和活跃信息链变量名待用信息活跃信息初值待用信息链初值活跃信息链TF(3)FFLLFAF(2)(1)LLBF(1)LLCF(2)LLUF(4)(3)FFLLFVF(4)FFLFDFFLF第13页,此课件共74页哦待用信息和活跃信息在四元式上的标记如下:(1)T(3)L=A(2)LBFL(2)U(3)L=AFLCFL(3)V(4)L=TFF+U(4)L(4)DFL=VFF+U
8、FF第14页,此课件共74页哦7.1.2代码生成算法为了在代码生成中进行寄存器分配,需要随时掌握各寄存器的使用情况,即它是处于空闲状态还是已分配给某个变量或已分配给某几个变量。通常用一个寄存器描述数组RVALUE动态地记录各寄存器的当前状况,并用寄存器Ri的编号作为它的下标。此外,还需建立一个变量地址描述数组AVALUE来记录各变量现行值存放的位置,即其是在某寄存器中还是在某内存单元中,或者同时存在于某寄存器和某内存单元中,可以有如下表示:第15页,此课件共74页哦RVALUERi=A/*寄存器Ri分配给变量A*/RVALUERi=A,B/*寄存器Ri分配给变量A和B*/RVALUERi=/*
9、未分配*/AVALUEA=A/*表示A的值在内存中*/AVALUEA=Ri/*表示A的值在寄存器Ri中*/AVALUEA=Ri,A/*表示A的值既在寄存器Ri中又在内存中*/第16页,此课件共74页哦为了简单起见,假设基本块中每个四元式的形式都是A=BopC,则代码生成算法是对每个四元式i:A=BopC执行下述步骤:(1)调用函数GETREG(i:A=BopC)返回存放A值结果的寄存器R。(2)通过地址描述数组AVALUEB和AVALUEC确定出变量B和变量C的现行值存放位置B和C;如果是存放在寄存器中,则把寄存器取作B和C。第17页,此课件共74页哦(3)如果BR,则生成目标代码:MOVR,
10、BopR,C否则生成目标代码:opR,C如果B或C为R,则删除AVALUEB或AVALUEC中的R。(4)令AVALUEA=R并令RVALUER=A,表示变量A的现行值只在R中且R中的值只代表A的现行值。第18页,此课件共74页哦(5)如果B和C的现行值在基本块中不再被引用,它们也不是基本块出口之后的活跃变量且它们的现行值存放在寄存器Rk中,则删除RVALUERk中的B和C以及AVALUEB中的Rk,使寄存器Rk不再为B和C所占用。函数GETREG(i:A=BopC)用来得到存放A的当前值的寄存器R;其算法如下:(1)如果B的现行值在某寄存器Ri中,且该寄存器只包含B的值,或者B和A是同一标识
11、符,或者B在该四元式之后不再被引用,则选取Ri为所需寄存器并转(4)。第19页,此课件共74页哦(2)如有尚未分配的寄存器,则从中选取一个Ri为所需寄存器并转(4)。(3)从已分配的寄存器中选取一个Ri为所需寄存器R。选取原则为:占用Ri的变量的值也同时放在内存中,或者该值在基本块中要在最远的位置才会引用到。这样,对寄存器Ri所含的变量和变量在内存中的情况必须先做如下调整:对RVALUERi中的每一个变量M,如果M不是A或者M既是A又是C却不是B,而B又不在RVALUERi中,则:如果AVALUERi中不包含M,则生成目标代码MOVM,Ri;第20页,此课件共74页哦当M不是A时,如果M是B或
12、者M是C且同时B也在RVALUE Ri中,则令AVALUE M=M,R,否则令AVALUEM=M;删除RVALUERi中的M;(4)给出R,返回。例7.2对例7.1,假设只有AX和BX是可用寄存器,用代码生成算法生成目标代码和相应的RVALUE和AVALUE。解答用代码生成算法生成的目标代码和相应的RVALUE及AVALUE如表7.2所示。第21页,此课件共74页哦表7.2例7.2的目标代码四元式目标代码RVALUEAVALUET=ABMOVAX,ASUBAX,BAX含有TT在AX中U=ACMOVBX,ASUBBX,CAX含有TBX含有UT在AX中U在BX中V=T+UADDAX,BXAX含有V
13、BX含有UV在AX中U在BX中D=V+UADDAX,BXAX含有DD在AX中第22页,此课件共74页哦对其它形式的四元式也可仿照上述算法生成其目标代码。这里特别要指出的是,对形如A=B的复写,如果B的现行值在某寄存器Ri中,那么无需生成目标代码,只需在RVALUERi中增加一个A(即把Ri同时分配给B和A),把AVALUEA改为Ri;而且如果其后B不再被引用,还可把RVALUERi中的B和AVALUEB中的Ri删除。处理完基本块中所有的四元式后,对现行只在某寄存器中的每个变量,如果它在基本块出口之后是活跃的,则要用MOV指令把它在寄存器中的值存放到数据区以它命名的内存单元中。第23页,此课件共
14、74页哦为进行这一工作,我们利用寄存器描述数组RVALUE来决定其中哪些变量的现行值在寄存器中,再利用地址描述数组AVALUE来决定其中哪些变量的现行值尚不在其内存单元中,最后利用活跃变量信息来决定其中哪些变量是活跃的。例如,由例7.2的表7.2查RVALUE栏可知:U和D的值在寄存器中,而从AVALUE栏知U和D的值都不在内存单元中,又由例7.1表7.1知,D在基本块出口之后是活跃变量,所以,在表7.2所生成的目标代码后面还要生成一条目标代码:MOVD,AX第24页,此课件共74页哦7.1.3寄存器分配由于寄存器数量有限,为了生成更有效的目标代码,就必须考虑如何更有效地利用寄存器。为此,我们
15、定义指令的执行代价如下:每条指令的执行代价=每条指令访问内存单元次数+1假定在循环中,某寄存器固定分配给某变量使用,那么对循环中的每个基本块,相对于原简单代码生成算法所生成的目标代码,所节省的执行代价可用下述方法计算:第25页,此课件共74页哦(1)在原代码生成算法中,仅当变量在基本块中被定值时,其值才存放在寄存器中。现在把寄存器固定分配给某变量使用,当该变量在基本块中被定值前,每引用它一次就可以少访问一次内存,则执行代价节省1。(2)在原代码生成算法中,如果某变量在基本块中被定值且在基本块出口之后是活跃的,则出基本块时要把它在寄存器中的值存放到内存单元中。现在把寄存器固定分配给某变量使用,出
16、基本块时就无需把它的值存放到其内存单元中,则执行代价节省2。第26页,此课件共74页哦因此,对循环L中的变量M,如果分配一个寄存器给它专用,那么每执行循环一次,其执行代价的节省数可用下式计算:其中,USE(M,B)=基本块B中对M定值前引用M的次数1如果M在基本块B中被定值且在B的出口之后是活跃的LIVE(M,B)=0其它情况第27页,此课件共74页哦例7.3一代码序列及程序流图如图71所示。假定各基本块出口之后的活跃变量均为a、b、c,循环中的固定寄存器为AX、BX,则将AX、BX固定分配给循环中哪两个变量可使执行代价节省得最多?第28页,此课件共74页哦图71程序流图第29页,此课件共74
17、页哦解答(1)考虑变量a的情况:基本块B2中没有对a进行定值,且引用的次数为1(e=ab);基本块B3没有对a进行定值,也没有引用a;基本块B4对a进行了定值,并且定值前引用的次数为1(a=af)。根据执行代价节省数的计算公式得到:USE(a,B2)=1;LIVE(a,B2)=0;USE(a,B3)=0;LIVE(a,B3)=0;USE(a,B4)=1;LIVE(a,B4)=1;因此,变量a在一次循环中执行代价的节省总数为:USE(a,B)+2*LIVE(a,B)BL=1+0+1+2*(0+0+1)=4第30页,此课件共74页哦(2)对于变量b有:USE(b,B2)=2;LIVE(b,B2)=
18、1;USE(b,B3)=1;LIVE(b,B3)=1;USE(b,B4)=0;LIVE(b,B4)=0;因此,变量b在一次循环中执行代价的节省总数为:USE(b,B)+2*LIVE(b,B)BL=2+1+0+2*(1+1+0)=7第31页,此课件共74页哦(3)对于变量c有:USE(c,B2)=2;LIVE(c,B2)=1;USE(c,B3)=1;LIVE(c,B3)=0;USE(c,B4)=1;LIVE(c,B4)=0;因此,变量c在一次循环中执行代价的节省总数为:USE(c,B)+2*LIVE(c,B)BL=2+1+1+2*(1+0+0)=6第32页,此课件共74页哦7.1.4源程序到目标
19、代码生成示例我们以PC机的汇编语言作为目标代码,且假定可用的寄存器为AX、BX、CX和DX,则一C语言源程序转换为四元式代码序列,然后再转换为目标代码程序(转换中不考虑优化)的结果如下:第33页,此课件共74页哦(1)C语言源程序(局部)while(ab)if(m=n)a=a+1;elsewhile(k=h)x=x+2;m=n+x*(m+y);第34页,此课件共74页哦(2)四元式代码序列100(j,a,b,102)101(j,_,_,117)102(j=,m,n,104)103(j,_,_,107)104(+,a,1,T1)105(=,T1,_,a)106(j,_,_,112)107(j=,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 编译 原理 目标 代码 生成 课件
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内