4中间代码生成-南京大学计算机科学与技术系.PDFVIP

版权所有 南京大学计算机科学与技术系 许畅等 2018春季版 4. 中间代码生成 本章实验为实验三，任务是在词法分析、语法分析和语义分析程序的基础上，将C源代 码翻译为中间代码。理论上中间代码在编译器的内部表示可以选用树形结构（抽象语法树） 或者线形结构（三地址代码）等形式，为了方便检查你的程序，我们要求将中间代码输出成 线性结构，从而可以使用我们提供的虚拟机小程序（附录B ）来测试中间代码的运行结果。 需要注意的是，由于在后面的实验中还会用到本次实验已经写好的代码，因此保持一个良 好的代码风格、系统地设计代码结构和各模块之间的接口对于整个实验来讲相当重要。 4.1 实验内容 4.1.1 实验要求 在本次实验中，我们对输入的C语言源代码文件做如下假设 （注意，假设2和3可能因后 面的不同选做要求而有所改变）： 1) 假设1：不会出现注释、八进制或十六进制整型常数、浮点型常数或者变量。 2) 假设2：不会出现类型为结构体或高维数组（高于1维的数组）的变量。 3) 假设3 ：任何函数参数都只能为简单变量，也就是说，结构体和数组都不会作为参数传 入函数中。 4) 假设4：没有全局变量的使用，并且所有变量均不重名。 5) 假设5：函数不会返回结构体或数组类型的值。 6) 假设6：函数只会进行一次定义（没有函数声明）。 7) 假设7：输入文件中不包含任何词法、语法或语义错误 （函数也必有return语句）。 你的程序需要将符合以上假设的C源代码翻译为中间代码，中间代码的形式及操作规范 如表1所示，表中的操作大致可以分为如下几类： 1) 标号语句LABEL用于指定跳转目标，注意LABEL与x之间、x与冒号之间都被空格或制 表符隔开。 2) 函数语句FUNCTION用于指定函数定义，注意FUNCTION与f之间、f与冒号之间都被空 格或制表符隔开。 3) 赋值语句可以对变量进行赋值操作（注意赋值号前后都应由空格或制表符隔开）。赋 值号左边的x一定是一个变量或者临时变量，而赋值号右边的y 既可以是变量或临时变 量，也可以是立即数。如果是立即数，则需要在其前面添加“# ”符号。例如，如果要 将常数5赋给临时变量t1 ，可以写成t1 := #5 。 4) 算术运算操作包括加、减、乘、除四种操作 （注意运算符前后都应由空格或制表符隔 开）。赋值号左边的x一定是一个变量或者临时变量，而赋值号右边的y和z既可以是变 61 版权所有 南京大学计算机科学与技术系 许畅等 2018春季版 表1. 中间代码的形式及操作规范。 语法 描述 LABEL x : 定义标号x 。 FUNCTION f : 定义函数f 。 x := y 赋值操作。 x := y + z 加法操作。 x := y - z 减法操作。 x := y * z 乘法操作。 x := y / z 除法操作。 x := y 取y 的地址赋给x 。 x := *y 取以y值为地址的内存单元的内容赋给x 。 *x := y 取y值赋给以x值为地址的内存单元。 GOTO x 无条件跳转至标号x 。 IF x [relop] y GOTO z 如果x与y满足[relop]关系则跳转至标号z 。 RETURN x 退出当前函数并返回x值。 DEC x [size] 内存空间申请，大小为4 的倍数。