实验三语义分析报告-.doc

1、编译原理实验报告实验名称：分析调试语义分析程序实验类型：验证型指导教师：专业班级：姓 名：学 号： 实验地点：实验成绩： 日期： 2016 年 6 月 3 日 实验三 分析调试语义分析程序一、实验目的通过分析调试TEST语言的语义分析和中间代码生成程序，加深对语法制导翻译思想的理解，掌握将语法分析所识别的语法范畴变换为中间代码的语义翻译方法。二、 实验知识1.语法制导基本思想语法制导就是对文法中的每个产生式都附加一个语义动作或语义子程序，且在语法分析过程中，每当需要使用一个产生式进行推导或归约时，语法分析程序除执行相应的语法分析动作外，还要执行相应的语义动作或调用相应的语义子程序。基本思想是，

2、根据翻译的需要设置文法符号的属性，以描述语法结构的语义。例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。2. 翻译方案设计1）设计原理：在实验二的基础上为文法符号引进一组属性及相应求值规则和动作，得到属性翻译文法，并引进一个符号表（包括变量名，变量数据是否有效，变量地址，变量的具体数据，数据类型等），在进行语法分析的同时，结合符号表完成语义分析与检测，同时根据属性翻译文法的属性及相关动作得到中间代码（抽象机式汇编指令），最后通过模拟的抽象机运行出结果。2）设计方法：（为动作标志，

3、为继承属性，为综合属性）结合课本语法制导相关内容对文法增加属性和动作如下：以下列出有修改的属性翻译文法： vartablep,datap,codep int IDnname-defn,t;其中动作符号的含义如下 name-defn,t：插入符号表； if ()BRFlabel1BRlabel2 SETlabellabel1| if () BRFlabel1BRlabel2 SETlabellabel1else SETlabellabel2其中动作符号的含义如下 BRFlabel1 ：输出 BRF label1； BRlabel2：输出 BR label2； SETlabellabel1：设置标

4、号label1； SETlabellabel2：设置标号label2；whileSETlabellabel1() BRFlabel2 BRlabel1 SETlabellabel2其中动作符号的含义如下SETlabellabel1：设置标号label1；BRFlabel2 ：输出 BRF label2；BRlabel1：输出 BR label1；SETlabellabel2：设置标号label2；for (POP;SETlabellabel1BRFlabel2BRlabel3;SETlabellabel4 POPBRlabel1) SETlabellabel3 BRlabel4SETlabel

5、label2其中动作符号的含义如下SETlabellabel1：设置标号label1； BRFlabel2 ：输出 BRF label2； BRlabel3：输出 BR label3；SETlabellabel4：设置标号label4；BRlabel1：输出 BR label1；SETlabellabel3：设置标号label3；BRlabel4：输出 BR label4；SETlabellabel2：设置标号label2； write OUT;其中动作符号的含义如下 OUT：输出 OUT read IDn LOOKnd INSTOdPOP;其中动作符号的含义如下LOOKnd:查符号表n，给出

6、变量地址d； 没有，变量没定义；IN：输出IN；STOd：输出指令代码STO d；POP：将栈顶元素出栈IDnLOOKndASSIGN=STOdPOP |其中动作符号的含义如下LOOKnd:查符号表n，给出变量地址d； 没有，变量没定义；ASSIGN：记住当前文件位置；STOd：输出指令代码STO d； |GT|LES|=GE|=LE|=EQ|!=NOTEQ其中动作符号的含义如下GT：次栈顶与栈顶作大于比较；LES：次栈顶与栈顶作小于比较；GE：次栈顶与栈顶作大于等于比较；LE：次栈顶与栈顶作小于等于比较；EQ：次栈顶与栈顶作等于比较；NOTEQ：次栈顶与栈顶作不等于比较；B+BADD | -

7、BSUB | +ADD | -SUB | 其中动作符号的含义如下ADD：操作数相加；SUB：操作数相减；C*CMULT | /CDIV | *MULT | /DIV | 其中动作符号的含义如下MULT：操作数相乘；DIV：操作数相除； ()| IDnLOOKndLOADd |NUMiLOADIi其中动作符号的含义如下LOOKnd：查符号表n，给出变量地址d； 没有，变量没定义；LOADd：将地址d的变量入栈；LOADIi：将常量i入栈；3)设计结果：1) 2) | 3) vartablep,datap,codep int IDnname-defn,t;4) | 5) | | |6) if ()

8、BRFlabel1BRlabel2 SETlabellabel1| if () BRFlabel1BRlabel2 SETlabellabel1else SETlabellabel27) whileSETlabellabel1()BRFlabel2 BRlabel1 SETlabellabel28) for (;SETlabellabel1BRFlabel2BRlabel3;SETlabellabel4 BRlabel1) SETlabellabel3 BRlabel29) write OUT;10) read IDn LOOKnd INSTOdPOP;11)12)POP;|;13) IDnL

9、OOKndASSIGN=STOdPOP |14) 15) GT|LES|=GE|=LE|=EQ|!=NOTEQ | 16) 17) +ADD | -SUB | 18) 19) *MULT | /DIV | 20) ()| IDnLOOKndLOADd |NUMiLOADIi三、实验过程首先，理解书上的代码和观看相关的知识的PPT，深入理解属性反应文法的作用，据此在我之前实验写好的语法分析基础上进行修改，写出语义分析代码。在语义分析里增加“不可引用未赋初值变量”的规则，在init()、showVarTable()、checkInitValue()中增加了相关操作。然后，结合栈式抽象机及其汇编指令相关命令的操作含义，模拟写出TEST语言的抽象机模型用以运行文法生成的中间代码。最后，写出执行中间代码的虚拟机程序。最后，编写TEST语言程序进行代码实例测试，调试观察运行过程及结果，并调试修改程序BUG。代码完成后，测试、完善。/定义符号表结构，添加未赋初值记录s