代码生成_.ppt
上传人:天马****23 上传时间:2024-09-11 格式:PPT 页数:29 大小:471KB 金币:10 举报 版权申诉
预览加载中,请您耐心等待几秒...

代码生成_.ppt

代码生成.ppt

预览

免费试读已结束,剩余 19 页请下载文档后查看

10 金币

下载此文档

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

词法分析器代码生成是把语法分析后或优化后的中间代码变换成目标代码。目标代码一般有以下三种形式:能够立即执行的机器语言代码,所有地址已经定位;待装配的机器语言模块。执行时,由连接装配程序把它们和某些运行程序连接起来,转换成能执行的机器语言代码;汇编语言代码。尚须经过汇编程序汇编,转换成可执行的机器语言代码。代码生成着重考虑的问题:如何使生成的目标代码较短;如何充分利用计算机的寄存器,减少目标代码中访问存贮单元的次数。如何充分利用计算机的指令系统的特点。11.1基本问题11.1基本问题11.2目标机器模型如果op是一目运行符,则“opRi,M”的意义为:op(M)Ri,其余类型可类推。op包括一般计算机上常见的一些运算符,如ADD加SUB减MUL乘DIV除不考虑代码的执行效率,目标代码生成是不难的,例如:A:=(B+C)*D+E翻译为四元式:T1:=B+CT2:=T1*DT3:=T2+EA:=T311.3一个简单代码生成器11.3.1待用信息待用信息和活跃信息的表示:1(x,x)表示变量的待用信息和活跃信息。其中i表示待用信息,y表示活跃,^表示非待用和非活跃;2在符号表中,(x,x)→(x,x)表示后面的符号对代替前面的符号对;3不特别说明,所有说明变量在基本块出口之后均为非活跃变量。计算待用信息和活跃信息的算法步骤:1.开始时,把基本块中各变量的符号表登记项中的待用信息栏填为“非待用”,并根据该变量在基本块出口之后是不是活跃的,把其中的活跃信息栏填为“活跃”或“非活跃”;2.从基本块出口到基本块入口由后向前依次处理各个四元式。对每一个四元式i:A:=BopC,依次执行下面的步骤:1)把符号表中变量A的待用信息和活跃信息附加到四元式i上;2)把符号表中A的待用信息和活跃信息分别置为“非待用”和“非活跃”;3)把符号表中变量B和C的待用信息和活跃信息附加到四元式i上;4)把符号表中B和C的待用信息均置为i,活跃信息均置为“活跃”。例:基本块1.T:=A-B2.U:=A-C3.V:=T+U4.W:=V+U设W是基本块出口之后的活跃变量。建立待用信息链表与活跃变量信息链表如下:附加在四元式上的待用/活跃信息表:寄存器描述数组RVALUE动态记录各寄存器的使用信息RVALUE[R]={A,B}变量地址描述数组AVALUE动态记录各变量现行值的存放位置AVALUE[A]={R1,R2,A}补充说明:因为寄存器的分配是局限于基本块范围之内的,一旦处理完基本块中所有四元式,对现行值在寄存器中的每个变量,如果它在基本块之后是活跃的,则要把它存在寄存器中的值存放到它的主存单元中。要特别强调的是,对形如:A:=B的四元式,如果B的现行值在某寄存器Ri中,则无须生成目标代码,只须在RVALUE(Ri)中增加一个A,(即把Ri同时分配给B和A),并把AVALUE(A)改为Ri。代码生成算法:对每个四元式:i:A:=BopC,依次执行:1.以四元式:i:A:=BopC为参数,调用函数过程GETREG(i:A:=BopC),返回一个寄存器R,用作存放A的寄存器。2.利用AVALUE[B]和AVALUE[C],确定B和C现行值的存放位置B’和C’。如果其现行值在寄存器中,则把寄存器取作B’和C’3.如果B’≠R,则生成目标代码:LDR,B’opR,C’否则生成目标代码opR,C’如果B’或C’为R,则删除AVALUE[B]或AVALUE[C]中的R。4.令AVALUE[A]={R},RVALUE[R]={A}。5.若B或C的现行值在基本块中不再被引用,也不是基本块出口之后的活跃变量,且其现行值在某寄存器Rk中,则删除RVALUE[Rk]中的B或C以及AVALUE[B]或AVALUE[C]中的Rk,使得该寄存器不再为B或C占用。寄存器分配函数过程:GETREG(i:A:=BopC)返回一个用来存放A的值的寄存器1如果B的现行值在某个寄存器Ri中,RVALUE[Ri]中只包含B,此外,或者B与A是同一个标识符,或者B的现行值在执行四元式A:=BopC之后不会再引用,则选取Ri为所需要的寄存器R,并转4;2如果有尚未分配的寄存器,则从中选取一个Ri为所需要的寄存器R,并转4;3从已分配的寄存器中选取一个Ri为所需要的寄存器R。最好使得Ri满足一下条件:占用Ri的变量的值也同时存放在该变量的贮存单元中,或者在基本块中要在最远的将来才会引用到或不会引用到。对RVALUE[Ri]中每一变量M,如果M不是A,或者如果M是A又是C,但不是B并且B也不在RVALUE[Ri]中,则(1)如果AVALUE[M]不包含M,则生成目