西工大编译原理实验介绍.doc

编译原理实验报告 学院： 计算机学院 班级： 姓名： 学号： 日期： 目 录 1 实验情况概述 1 2 主要功能 2 3 软件总体结构 3 4 详细设计 4 5 实验总结 5 5.1 调试和bug修改总结 5 5.2 测试和结果 5 5.3 实验小结 5 1 实验情况概述 本实验的主要任务是编写一个小型类Pascal语言的编译器。该编译器应当能够将输入的源程序文本翻译为相应的四元式，并输出符号表。 实验环境： 词法分析器采用flex； 语法分析器采用bison； 软件开发使用Visual C++ 6.0。 功能： 能够处理整型、实型两种类型的变量定义； 能够识别注释； 能够处理程序结构的定义； 能够识别算术、关系和逻辑表达式； 能够识别常量定义； 能够识别顺序、赋值、循环、选择、复合语句等基本的语句类型。 输出结果： 将输入的文本输出为四元式序列； 输出符号表。 2 主要功能 1.基本功能： 根据词法分析处理说明文件(.l)和语法分析处理说明文件(.y)来识别输入的测试文件是否符合MiniPascal所规定的语法要求的的，程序无法运行，并提示错误信息 2.扩展功能： 3 软件总体结构 3.1 软件包括的程序文件: ast.c ast.h ast_lex.c ast_yacc.c ast_lex.l ast_yacc.y 程序模块如下图所示： 3.3 各程序块之间的传递 词法分析模块与语法分析模块通过单词的内部码来传递信息；字符数组str1存储当前正在识别的单词。语法分析产生的四元式和符号表均存储在结构体中。4 详细设计 4.1 数据结构 四元式数据结构： struct QUATERLIST { char op[6]; char arg1[6],arg2[6],result[6];} QuaterList[MAXMEMBER]; 符号表数据结构： struct VARLIST{ char name[20]; int type;/*1为real 0 为 int*/ int addr; } VarList[MAXMEMBER]; 表达式数据结构： struct Eexpr { int type,place; union { int Iv; float Rv; }Value; }; 其中type为2表示变量,1表示整数,Iv中存储该整数的值，0表示小数，Rv中存储该小数的值。 4.2 主要的算法和辅助函数 void BackPatch(int p,int t); /*用四元式序号t回填以p为首的链，将链中每个四元式的result域改写为t的*/ int Merge(int p1,int p2); /*将p1和p2的两条链合并为一条，并返回新链的序号*/ void Gen(char jop[],char arg1[],char arg2[],char result[]); /*根据所给参数产生一个新的四元式*/ int LookUp(char * Name); /*在符号表中查找Name，若查到返回序号*/ int Enter(char * Name); /*以Name为名字查符号表，若未查到，则调用Enter函数添加该项*/ int Entry(char * Name); /*在符号表中添加Name新项，返回值为序号*/ int NewTemp(); /*产生临时变量，每次调用都定义一个新的临时变量，返回值为该变量的编*/ void ChangeToString(char *dest,struct Eexpr ex); /*若所给ex为常数，则将其值变为字符串，存入dest中，若所给ex为变量，则将其变量名变为字符串，存入dest中*/ void OutputQ(void); /*用于输出四元式的函数分析ISE: IBT Statement Else { int q = NXQ; Gen(j,0,0,-1); BackPatch($1,NXQ); $$ = Merge($2,q); } ; 此时，编译系统已明确当前正在处理的是if-then-else结构，then后所跟的表达式已处理完毕，且else后所跟的表达式的第一个四元式位置已可确定。在准备翻译else后所跟的表达式之前，首先应紧接then后所跟表达式的四元式序列之后产生一个无条件转四元式，并将此四元式与then后所跟表达式的出口链合二为一，作为整个if-then-else结构的出口，这一信息将作为ISE的综合属性Chain传递上去；另外，IBT的综合属性此时即可回