编译原理实习 2 语义分析.pdfVIP

编译原理实习 2 语义分析 编译原理课程的实习内容是为一个小型的类C 语言(C--)实现一个编译器。如果你顺利完成了本课 程规定的实习任务，那么不仅你的编程能力将会得到大幅高，而且你最终会得到一个比较完整的、 能将C--源代码转换成MIPS 汇编代码的编译器，所得到的汇编代码可以在SPIM Simulator 上运行。实 习总共分为四个阶段：词法和语法分析、语义分析、中间代码生成和目标代码生成。每个阶段的输出 是下一个阶段的输入，后一个阶段总是在前一个阶段的基础上完成，如下图所示： 实习2 的任务是编写一个程序，该程序读入一个C--源代码文件，在词法分析和语法分析之后， 对其进行语义分析和类型检查（C--语言的词法和语法参见Grammar.pdf 文件），并打印分析结果。与 上一次实习不同的是，这次实习我们已经没有办法依靠任何工具了，所有的检查任务都必须要我们自 己手写代码来完成。另外，虽说语义分析在整个编译器的实现中并不是难度最大的任务，但它却是最 细致最琐碎的任务，你需要用心地设计符号表和变量类型的数据结构从而在多个方面完善你的编译器 中的各种功能。 具体地说，你的程序需要对输入文件中的如下错误进行检查： s 变量在使用时未经定义 （错误类型1 ） s 函数在调用时未经定义 （错误类型2 ） s 变量经过重复定义 （错误类型3 ） s 函数经过重复定义（错误类型 4 ） s 赋值号两边表达式类型不匹配 （错误类型5 ）。对于数组类型来说，同 C 语言一样，只要数组 的基类型和维数相同我们即认为类型是匹配的 ，例如int a[10][2]和 int b[5][3]即属于同一类型 s 赋值号左边出现了一个只有右值的表达式（错误类型 6 ） s 操作数类型不匹配（e.g. 整型变量与数组变量相加减）（错误类型7 ） s return 语句返回类型与函数本身的返回类型不匹配 （错误类型8 ） s 函数调用时实参与形参的数目或者类型不匹配 （错误类型9 ） s 对非数组型变量使用[] （数组访问）操作符（错误类型10 ） s 对普通变量使用() （函数调用）操作符（错误类型11 ） s 数组访问操作符[]中出现非整数（例如 a[1.5] ）（错误类型12 ） 另外，以下针对结构体的类型检查将作为可选内容（注意如果要引入结构体，仍需要保证上面所 列的所有错误都能被检查出来）： s 对非结构体型变量使用“.”操作符 （错误类型13 ，选做内容1 ） s 访问结构体中未定义过的域 （错误类型14 ，选做内容2 ） s 结构体中域名的重复定义 ，或者定义时对域进行了初始化（例如struct A { int a = 0;}就是非 法的）（错误类型15 ，选做内容3 ） s 结构体名与前面定义过的某个结构体或者某个变量的名字重复（错误类型 16 ，选做内容4 ） s 直接使用未定义过的结构体来定义变量（错误类型 17 ，选做内容 5 ） 本次实验中，简单起见我们对C--语言做如下假设，你可以认为这些就是C--语言的特性： s 假设 1 ：整型（int ）变量不能与浮点型（float ）变量相互赋值或者相互运算 s 假设 2 ：浮点型变量不能进行逻辑运算或者作为 if 和 while 语句的条件 s 假设 3 ：任何一个函数只能进行一次定义，无法进行声明 s 假设 4 ：所有语句的作用域都是全局的，即外层语句块中定义的变量不能在内层语句块中重 复定义，内层语句块中定义的变量到了外层照样可以使用 ，不同函数体内定义的局部变量不 能互相重名 s 假设 5 ：结构体类型间的等价机制采用名等价（name equivalence ）的方式 s 假设 6 ：函数无法进行嵌套定义 其中假设5 和6 就是C 语言本身的性质，还具备一定的合理性，不过前4 条假设就完全是为了减 少工作量而设置的了。作为选做内容，你可以尝试去掉假设3、4 或者5 并实现之： s 函数除了在定义之外还可以进行声明。函数的