正在加载图片...
版权所有南京大学计算机科学与技术系许畅等2022春季版 4.中间代码生成 本章实验为实验三,任务是在词法分析、语法分析和语义分析程序的基础上,将C-一源代 码翻译为中间代码。理论上中间代码在编译器的内部表示可以选用树形结构(抽象语法树)或 者线形结构(三地址代码)等形式,为了方便检查你的程序,我们要求将中间代码输出成线性 结构,从而可以使用我们提供的虚拟机小程序(附录B)来测试中间代码的运行结果。 需要注意的是,由于在后面的实验中还会用到本次实验已经写好的代码,因此保持一个良 好的代码风格、系统地设计代码结构和各模块之间的接口对于整个实验来讲相当重要。 4.1 实验内容 4.1.1实验要求 在本次实验中,我们对输入的C-一语言源代码文件做如下假设(注意,假设2和3可能因后 面的不同选做要求而有所改变): 1)假设1:不会出现注释、八进制或十六进制整型常数、浮点型常数或者变量。 2)假设2:不会出现类型为结构体或高维数组(高于1维的数组)的变量。 3)假设3:任何函数参数都只能为简单变量,也就是说,结构体和数组都不会作为参数传 入函数中。 4)假设4:设有全局变量的使用,并且所有变量均不重名。 5)假设5:函数不会返回结构体或数组类型的值。 6)假设6:函数只会进行一次定义(没有函数声明)。 T)假设7:输入文件中不包含任何词法、语法或语义错误(函数也必有return语句)。 你的程序需要将符合以上假设的C-一源代码翻译为中间代码,中间代码的形式及操作规范 如表1所示,表中的操作大致可以分为如下几类: 1)标号语句LABEL用于指定跳转目标,注意LABEL与x之间、x与冒号之间都被空格或制 表符隔开。 2)函数语句FUNCTION用于指定函数定义,注意FUNCTION.与f之间、f与冒号之间都被 空格或制表符隔开。 3)赋值语句可以对变量进行赋值操作(注意赋值号前后都应由空格或制表符隔开)。赋 值号左边的x一定是一个变量或者临时变量,而赋值号右边的y既可以是变量或临时变量,也 可以是立即数。如果是立即数,则需要在其前面添加“#”符号。例如,如果要将常数5赋给临 69版权所有 南京大学计算机科学与技术系 许畅等 2022春季版 69 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赋给临
向下翻页>>
©2008-现在 cucdc.com 高等教育资讯网 版权所有