语法分析源代码分析报告.doc

语法分析源代码分析报告学生：吴艺萍、陈璐、崔旻、刘超群学号：095 、 094 、 101、103时间：2014年06月目录一、概述.1二、词法分析设计与实现.11、相关枚举类型的定义.12、函数.2三、语法、语义分析设计与实现.31、相关数据结构定义.32、函数.3四、中间代码.61、相关数据结构定义.62、相关枚举类型的定义.63、函数.7一、概述 编译原理是在介绍编译程序构造的一般原理和基本方法。内容包括语言和文法、词法分析、语法分析、语法制导翻译、中间代码生成、存储管理、代码优化和目标代码生成。现在计算机系统的性能不仅仅取决于它的原始速度，还取决于编译器是否能生成充分利用其特征的代码。在现代计算机体系结构的研究中，在处理器的设计阶段就开发编译器，并将编译生成的代码在模拟器上运行，以评价拟采用体系结构的特征。编译器技术影响计算机体系结构设计的一个著名例子是精简指令集计算机（RISC）的发明。二、词法分析1、相关枚举类型定义(1）SymType的定义/记号类型enum SymTypeOR ,/或AND,/与RELOP,/关系运算符ADDOP,/加减MULOP,/乘除NOT,/非LP,/左括号1RP,/右括号ID,/标志符NUM,/数ASSIGN,/赋值LB,/左大括号RB,/右大括号COMMA,/逗号SEMICOLON,/分号UNDEFINED,/未定义INT,/intIF,/ifELSE,/elseWHILE,/whileRETURN,/returnPRINTF,/printfSCANF,/scanf/（2）AddOp、MulOp、RelType的定义次枚举类型确定了加减乘除运算和关系运算符的符号enum AddOpADD,/加法SUB/减法;/enum MulOpMUL,/乘法DIV,/除法MOD,/取余;/关系运算符类型enum RelTypeGT,/大于GE,/大于等于=EQ,/等于=LT,/小于LE,/小于等于(statementelsestatementexpressionif)(whilestatementexpression)( ;printexpression, ;statementexpression=id ;在paramDeclare.cpp中通过以下函数实现变量申明definition4函数作用static void processOneDeclare()处理一个声明int paramDeclare()申明并在varDeclare.cpp中处理变量和对变量列表的内容进行处理：函数作用void processOneVar()处理一个变量void varDeclare()处理变量列表definition: expression;intid=在expression.cpp中通过ExprNode expression()函数来实现expressionExprNode expression()ExprNode left = andTerm();while(token = OR)changeArithToCondition(&left);getToken();backpatch(left.falselist,csIndex);ExprNode right = andTerm();changeArithToCondition(&right);left.truelist = mergeList(left.truelist,right.truelist);left.falselist = right.falselist;return left;expression:termterm|函数作用static ExprNode andTerm();与项static ExprNode relationTerm();关系项static ExprNode addTerm();和项static ExprNode mulTerm();乘项static ExprNode factor();因子int mergeList(int list1, int list2);合并链表void backpatch(int list, int cx);回填链表ExprNode expression();表达式用以上的函数实现expression中的加减乘除以及关系运算四、中间代码生成器1、数据结构定义(1）Instruction的定义此处用四元式形式作为中间代码，此数据结构来记录中间代码typedef struct int optr;/运算符int arg1;/左操作数的地址int arg2;/右操作数的地址int result; /存放结果的地址Instruction;2、枚举类型定义(1）InstrType的定义此枚举类型出现在四则运算的运算符，为了之后的数据运算/虚拟机指令集enum InstrTypeInsJtrue,/为真则跳转(InsJtrue, arg1, , dest)InsJfalse,/为假则跳转(InsJfalse,arg1, , dest)InsJmp,/无条件跳转(InsJmp, , , dest)InsMov,/数据复制 (InsMov, arg1, ,dest)InsInit,/初始化某单元(InsInit,arg1,num, )InsAdd,/加法(InsAdd, arg1,arg2,dest)InsSub,/减法(InsSub, arg1,arg2,dest)InsMul,/乘法(InsMul, arg1,arg2,dest)InsDiv,/除法(InsDiv, arg1,arg2,dest)InsMod,/取余InsNop,/空操作(InsNop, )InsJlt,/判断是否(InsLt,arg1,arg2,result)InsJle,/判断是否(InsGt,arg1,arg2,result)InsJge,/判断是否=InsJeq,/判断是否=InsJne,/判断是否!=InsOr,/逻辑或运算6InsAnd,/逻辑与运算InsNot,/逻辑非运算InsIn,/读入一个整数到单元dest (InsIn,dest , ,);InsOut,/输出一个整数(InsOut,num, ,);InsUminus,/负数(InsUminus,oprn, ,dest)InsCall,/过程调用(InsCall,des, , ,);InsRet,/过程返回(InsRet,expr, , );InsSetBx,/设置bx指针，指向活动记录首地址(InsSetBx,addr, , )InsAddBx,/bx指针