2_实验项目指导书.docVIP

小型C语言编译器设计 实验项目指导书 实验目的 1. 构造一小型C语言SimpleC的编译器软件，达到综合理解和运用编译原理课程所讲解的关键过程（词法分析、语法分析、静态语义分析、代码生成）及相关算法的目的。 2. 通过本实验理解和掌握一般编译程序的程序组织方法和测试方法。 实验环境 硬件环境：1台Pentium PC机/人 软件环境：Windows XP/2000/2003、Linux操作系统、Visual C++ 6.0/7.0 C/C++ IDE或Eclipse IDE for GCC 实验内容和要求 1. 语法分析以下小型C语言SimpleC并实现中间代码生成： SimpleC为标准C的一个子集，其语法特征如下: 基本数据类型BasicType: int 变量声明: BasicType avariable; 函数定义: BasicType foo(BasicType param1, BasicType param2,...) 四则运算: +,-,/,* 赋值: = 返回: return, return BasicTypeValue 逻辑判断: if, else (含复合语句) 循环: while(含复合语句) 复合语句块标记: { } 在由词法分析程序分析SimpleC产生的token文件、符号表文件的基础上，完善语法和词法分析，产生相应的中间代码-四元式序列。 2. 编译程序组织的参考结构： 本编译程序组织的参考结构，如图1-1所示。 图1-1本编译程序组织的参考结构 在图1-1中，整个编译程序结构以语法分析组件为中心，在语法分析组件对句子结构生成或归约的控制下，其调用词法分析组件从输入的SimpleC源程序字符流中识别单词，完成语法树的逐步构造，其间词法分析程序、语法分析程序将对符号表进行操纵。在语法树构造完成后，调用语义分析对语法树进行静态语义分析，当通过静态语义分析（即表明源程序无静态语义错误）后，调用代码生成组件完成中间代码（四元式）的生成。出错检查和处理程序服务于词法分析、语法分析和代码生成组件。 3. SimpleC的参考EBNF文法 SimpleC的参考EBNF文法如下： 程序 - 主函数子函数变量说明 主函数 - (void|int)main参数复合语句 子函数 - (声明头部|void标识符)参数复合语句 参数 - ’(’参数表’)’ 参数表 - 表达式{,表达式|空} 复合语句 - ’{’常量说明变量说明语句列’}’ 变量定义 - int标识符=整数{,标识符=整数} 变量说明 - 声明头部{,标识符} 声明头部 - int标识符 语句序列 - 语句{语句} 语句 - 条件语句|循环语句|’{’语句序列’}’| 子函数调用语句;|赋值语句;|返回语句;| 读语句;|写语句;|空 赋值语句 - 标识符=表达式 条件语句 - if’(’条件’)’语句| else’(’条件’)’语句 循环语句 - while条件语句 读语句 - scanf’(’标识符’)’ 写语句 - printf’(’标识符’)’ 返回语句 - return ’(’表达式’)’ 子函数调用语句 - (声明头部|void标识符)参数 表达式 -{+|-}项{加法运算项} 项 - 因子{乘除法运算因子} 因子 - 标识符|’(’表达式’)’|整数|子函数调用语句 标识符 - 字符{字符|数字} 字符 - a|b|………..|z 数字 - 0|非零数字 非零数字 - 1|2|3|4|5|6|7|8|9 字符串 - ”{字符|数字}” 加减法运算 - +|- 乘除法运算 - *|/ 关系运算符 - |=||=|!=|= = 4. 四元式的参考操作码 SimpleC编译器后端所产生的四元式的参考操作代码及其解释如下： 操作码 Op1 Op2 Result + X Y X和Y相加 - X Y X和Y相减 * X Y X和Y相乘 / X Y X和Y相除 = Y Y 赋值 X Y X小于Y X Y X大于Y != X Y X不等于Y = X Y X小于等于Y = X Y X大于等于Y == X Y X等于Y JMP 跳转到result所指标签 RED 从终端输入一个值放到result WRI X 将X输出到终端 实验报告要求 1. 提供实现SimpleC编译器的源代码、运行结果。语法分析可采用LL(1)或LR(1)。源代码应尽可能增加释，以清楚解释程序设计意图。 2. 作为测试用例，至少提供一个用SimpleC写的输入源程序及其编译后的输出四元式文件。程序的调试信息可以输出到终端或特定的文件，以便捕捉和修正