编译原理课设实验报告.docx
《编译原理课设实验报告.docx》由会员分享,可在线阅读,更多相关《编译原理课设实验报告.docx(40页珍藏版)》请在冰豆网上搜索。
编译原理课设实验报告
《编译技术》
课程设计报告
实验名称编译器设计
姓名
学号
班级
本课设的任务是完成一个完整的编译器,处理用户提交的符合所定文法的源程序代码,生成四元式中间代码,进而翻译成等价的X86平台上汇编语言的目标程序。
编译程序的工作过程划分为下列5个过程:
词法分析,语法分析,语义分析和中间代码生成,代码优化,目标代码生成。
其中,词法分析阶段的基本任务是从以字符串表示的源程序中识别出具有独立意义的单词符号,并以二元组的形式输出,以作为语法分析阶段的输入。
语法分析阶段的基本任务是将词法分析阶段产生的二元组作为输入,根据语言的语法规则,识别出各种语法成分,并判断该单词符号序列是否是该语言的一个句子。
语义分析的任务是首先对每种语法单位进行静态的语义审查,然后分析其含义,并用另一种语言形式(本课设采用四元式)来描述这种语义。
代码优化的任务是对前阶段产生的中间代码进行等价变换或改造,以期获得更为高效即省时间和空间的目标代码。
目标代码生成的任务是将中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码(本课设生成汇编指令代码)。
在词法分析阶段,通过DOS环境手动输入字符串序列(以’#’作为结束标志)作为带分析的源程序,调用词法扫描子程序将字符串以二元组的形式输出(若有不属于该语言单词符号出现,则进行出错处理),词法扫描子程序包括了对源程序的预处理(忽略多余空格、回车换行符等空白字符),以及对单词的识别和分类,以形成(单词种别,单词自身的值)形式的二元组,并将用户自定义变量信息存入程序变量信息表。
在语法分析阶段,采用自上而下的递归下降分析法,从文法的开始符号出发,根据文法规则正向推导出给定句子。
根据递归下降分析函数编写规则来编写相应的函数,在各个函数的分析过程中调用词法分析程序中的扫描程序,发出“取下一个单词符号”的命令,以取得下一个单词符号作语法分析。
在语义分析和中间代码生成阶段,采用语法制导翻译法,使用属性文法为工具来描述程序设计语言的语义。
首先审查词法分析得到的每个语法结构的静态语义,如果静态语义正确再生成中间代码(本课设中采用四元式)。
使用属性文法作为描述程序设计语言语义的工具,采用语法制导翻译法完成对语法成分的翻译工作,即在语法分析过程中,依随分析的过程,根据每个产生式所对应的语义子程序(或语义规则描述的语义处理的加工动作)进行翻译。
目标代码生成是编译程序的最后一个阶段,根据符号表等信息,将中间代码转化为等价的目标代码。
为减少访问计算机内存的次数,应尽可能把基本块内还要被引用的变量放到寄存器中,而把基本块内不用的变量所占的寄存器释放。
为了随时掌握寄存器的使用情况和变量的存放情况,以便生成适当地目标代码,可以建立寄存器描述表和变量地址描述表。
在编译程序的各个阶段中都要涉及到表格管理和错误处理。
编译程序在工作过程中需要建立一些表格,以登记源程序中所提供的或在编译过程中所产生的一些信息,编译各个阶段的工作都涉及到构造、查找、修改或存取有关表格中的信息(本课设中建立了程序变量信息表,变量地址描述表,寄存器描述表)。
一个好的编译程序在编译过程中,应具有广泛的程序查错能力,并能准确地报告错误的种类及出错位置,以便用户查找和纠正,因此,在编译程序中还必须有一个出错处理程序。
实验的整体设计思想可由以下图示表示:
编译器基本模块设计
词法分析的任务是对字符串表示的源程序从左到右地进行扫描和分解,根据语言的词法规则识别出一个一个具有独立意义的单词符号,包括关键字,标识符,常数,运算
a)语法分析器(递归下降法)
采用自上而下的递归下降分析法,从文法的开始符号出发,根据文法规则正向推导出给定句子。
对文法中的每个非终结符编写一个函数(或子程序),每个函数(或子程序)的功能是识别由该非终结符所表示的语法成分。
描述语言的文法常常是递归定义的,因此相应的这组函数(或子程序)必然以相互递归的方式进行调用。
为每个非终结符编制一个递归下降分析函数,每个函数名是相应的非终结符,函数体则是根据规则右部符号串的结构和顺序编写,完成相应非终结符匹配,通过所有子程序的相互调用,完成整个终结符号串的分析。
(1)当遇到终结符a时,则编写语句
if(当前读来的输入符号==a)读下一个输入符号;
(2)当遇到非终结符A时,则编写语句调用A();
(3)当遇到规则A→ε时,则编写语句
if(当前读来的输入符号FOLLOW(A))
error();
递归下降分析法是确定的自上而下分析法,这种分析法要求文法是LL
(1)文法。
语法结构定义采用扩充的BNF表示法,避免了直接左递归规则,并且也没有公共左因子。
对于非终结符E→T{+T},函数T()用while语句描述如下:
T()
{
F();
while(sym==‘*’)
{
Scanner();
F();
}
}
b)语义分析和中间代码生成器(语法制导翻译法)
1语义分析的任务:
1)静态语义审查:
审查每个语法结构的静态语义,即验证语法结构合法的程序,是否真正有意义。
2)执行真正的翻译:
如果静态语义正确,语义处理则要执行真正的翻译,即生成程序的某种中间代码的形式或直接生成目标代码。
2语法制导翻译法的基本思想
为文法的每个产生式都配备一个语义动作或语义子程序。
在语法分析的过程中,每当使用一条产生式进行推导或归约时,就执行相应产生式的语义动作,从而实现语义处理。
在语法分析过程中,依随分析的过程,根据每个产生式所对应的语义子程序(或语义规则描述的语义处理的加工动作)进行翻译。
3属性文法和语义规则
语法制导翻译法使用属性文法为工具来描述程序设计语言的语义。
属性文法包含一个上下文无关文法和一系列语义规则(为文法的每一个规则配备的计算属性的计算规则)。
这些语义规则附在文法的每个产生式上,在语法分析过程中,执行语义规则描述的动作,从而实现语义处理。
也就是说,附在文法的每个产生式上语义规则描述了语义处理的加工动作。
4四元式中间代码结构
四元式主要由四部分组成:
(OP,arg1,arg2,result)
其中OP是运算符;arg1,arg2分别是第一和第二两个运算对象(当OP是一目运算时,常常将运算对象定义为arg1);result是编译程序为存放中间运算结果而临时引进的变量,常称为临时变量,如Ti,也可以是用户自定义变量,如X。
5采用自下而上的语法制导翻译法语义动作的设计
(1)自下而上的语法制导翻译特点:
栈顶形成句柄,归约时执行相应语义动作
文法翻译到四元式的语义描述:
1)语义变量place
表示存放非终结符E值的变量名或其数值。
2)语义函数gen(op,argv1,argv2,result)
功能是生成一个四元式。
3)语义函数NewTemp()
功能是产生一个新的临时变量名字,如T1,T2等。
4)语义变量index为四元式序列指针。
5)语义变量真出口etc和假出口efc
真(假)出口表示布尔表达式C为真(假)时控制流向的转移目标,布尔表达式的真(假)出口不能在产生其四元式的同时得知,因此设置两个语义变量
C.etc:
记录表达式C所对应的四元式需回填真出口的四元式的地址所构成的链
C.efc:
记录表达式C所对应的四元式需回填假出口的四元式的地址所构成的链
6)语义变量语句出口chain
在翻译语句时,其出口的转向点通常不能确定,用链表记录这些出口的位置,以便在适当的时机回填。
S.chain表示语句S全部出口组成的链即出口链,以待一次性回填。
7)语义变量语句入口head
使用语义变量LS.head记录while语句首地址,即对应的第一个四元式语句序号,以回填转移地址,。
8)链接函数merg(p1,p2)
功能是把以p1,p2为链首的两条链合并为一,返回合并后的链首;
9)回填函数bp(p,t)
功能是将p所链结的每个四元式的第四区分量都回填t;
(2)非终结符语义动作:
1)<项>:
:
=<因子>{*<因子>|/<因子>}
即TF|T*F|T/F
TF
{T.place=F.place}
TT*F
{T.place=NewTemp();
gen("*",T1.place,F.place,T.place)}
TT/F
{T.place=NewTemp();
gen("/",T1.place,F.place,T.place)}
2)<表达式>:
:
=<项>{+<项>|-<项>}
即ET|E+T|E+T
同1)
3)<条件>:
:
=<表达式><关系运算符><表达式>,<关系运算符>:
:
=<|<=|>|>=|==|!
=
即CEopE,op<|<=|>|>=|==|!
=
{C.etc=index;
C.efc=index+1;
gen("goto"+op,E1.place1,E2.place2,"0");
gen("goto","","","0");}
4)<赋值语句>:
:
=ID=<表达式>
即ASID=E
{gen("=",E.place,"",ID);
bp(AS.chain,index);}
5)<条件语句>:
:
=if<条件><语句块>[else<语句块>]
即CSifCB|ifCBelseB
{bp(C.etc,index);
CS.Chain=C.efc;
...(B())
CS.chain=merge(B1.chain,index);
gen("goto","","","0");
bp(C.efc,index);
...(B())
CS.chain=merge(B2.chain,CS.chain)}
6)<循环语句>:
:
=do<语句块>while<条件>
即LSdoBwhileC
{LS.head=index;
...(B())
...(C())
bp(C.etc,LS.head);
bp(C.efc,index);
CS.chain=merge(B.chain,C.efc)}
bp(CS.chain,index);}
c)目标代码生成
采用汇编语言代码作为目标代码生成器的输出,
在四元式序列中有3类量,常量,程序变量和临时变量。
一般地,常量对应立即数出现在目标指令中;程序变量是程序中用户自定义变量,通常是存放在存储单元中的存储器变量,在数据段定义为同名字变量(使用伪指令DW);而临时变量则是在生成四元式时由编译程序引进的,因为寄存器变量的存取比存储变量的存取快得多,因此,为临时变量安排寄存器。
1寄存器描述表和地址描述表
为了反映寄存器使用情况及变量值的存放情况,引进寄存器描述表registerStatus与地址描述表registerT。
寄存器描述表动态反映了寄存器的使用状态,即寄存器是处于空闲状态还是被临时变量占用,以便分配寄存器给临时变量。
由于本课设中程序变量存储在内存中,源代码单语句内所有临时变量都为语句出口后的非活跃变量,因此,每执行完一条源代码语句,可视作寄存器中内容不再使用,描述符清零。
地址描述表指明临时变量所在的寄存器,寄存器描述符为字符串数组,索引为临时变量编号,可能多个临时变量同存在一寄存器。
2目标指令与四元式编号对照表
控制转移指令分两种:
条件控制转移("goto"+op,argv1,argv2,Lable)和无条件控制转移("goto","","",Lable)。
往往在生成目标代码的时候还不了解控制转移到的目标指令的编号,因此需要回填。
为此,引进目标指令与