编译原理实验：目标代码的生成

《编译原理实验：目标代码的生成》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、版权所有南京大学计算机科学与技术系许畅等2015版5.目标代码生成本章实验为实验四，是最后一次实验，其任务是在词法分析、语法分析、语义分析和中间代码生成程序的基础上，将C源代码翻译为MIPS32指令序列（可以包含伪指令），并在SPIMSimulator上运行。当你完成实验四之后，你就拥有了一个自己独立编写、可以实际运行的编译器。选择MIPS作为目标体系结构是因为它属于RISC范畴，与x86等体系结构相比形式简单便于我们处理。如果你对于MIPS体系结构或汇编语言不熟悉并不要紧，我们会提供详细的参考资料。需要注意的是，由于本次实验的代

2、码会与之前实验中你已经写好的代码进行对接，因此保持一个良好的代码风格、系统地设计代码结构和各模块之间的接口对于整个实验来讲相当重要。5.1实验内容5.1.1实验要求为了完成实验四，我们建议你首先下载并安装SPIMSimulator用于对生成的目标代码进行检查和调试，SPIMSimulator的官方下载地址为：http://pages.cs.wisc.edu/~larus/spim.html。这是由原Wisconsin-Madison的JameLarus教授（现在在微软）领导编写的一个功能强大的MIPS32汇编语言的汇编器和模拟器，其最

3、新的图形界面版本QtSPIM由于使用了Qt组件因而可以在各大操作系统平台如Windows、Linux、Mac等上运行，推荐安装。我们会在后面介绍有关SPIMSimulator的使用方法。你需要做的就是将实验三中得到的中间代码经过与具体体系结构相关的指令选择、寄存器选择以及栈管理之后，转换为MIPS32汇编代码。我们要求你的程序能输出正确的汇编代码。“正确”是指该汇编代码在SPIMSimulator（命令行或Qt版本均可）上运行结果正确。因此，以下几个方面不属于检查范围：1)寄存器的使用与指派可以不必遵循MIPS32的约定。只要不影响在

4、SPIMSimulator中的正常运行，你可以随意分配MIPS体系结构中的32个通用寄存器，而不必在意哪些寄存器应该存放参数、哪些存放返回值、哪些由调用者负责保存、哪些由被调用者负责保存，等等。2)栈的管理（包括栈帧中的内容及存放顺序）也不必遵循MIPS32的约定。你甚至可以使用栈以外的方式对过程调用间各种数据的传递进行管理，前提是你输出的目标代码（即MIPS32汇编代码）能运行正确。83版权所有南京大学计算机科学与技术系许畅等2015版当然，不检查并不代表不重要。我们建议你试着去遵守MIPS32中的各种约定，否则你的程序生成的目标代

5、码在SPIMSimulator中运行时可能会出现一些意想不到的错误。另外，实验四对作为输入的C源代码有如下的假设：1)假设1：输入文件中不包含任何词法、语法或语义错误。2)假设2：不会出现注释、八进制或十六进制整型常数、浮点型常数或者变量。3)假设3：整型常数都在16bits位的整数范围内，也就是说你不必考虑如果某个常数无法在addi等包含立即数的指令中表示时该怎么办。4)假设4：不会出现类型为结构体或高维数组（高于1维的数组）的变量。5)假设5：所有的变量均不重名，变量的存储空间都放到该变量所在的函数的活动记录中。6)假设6：任

6、何函数参数都只能是简单变量，也就是说数组和结构体不会作为参数传入某个函数中。7)假设7：函数不会返回结构体或数组类型的值。8)假设8：函数只会进行一次定义（没有函数声明）。在进行实验四之前，请阅读后面的实验指导部分，以确保你已经了解MIPS32汇编语言以及SPIMSimulator的使用方法，这些内容是你顺利完成实验四的前提。5.1.2输入格式你的程序的输入是一个包含C源代码的文本文件，你的程序需要能够接收一个输入文件名和一个输出文件名作为参数。例如，假设你的程序名为cc、输入文件名为test1.cmm、输出文件名为out.s，程

7、序和输入文件都位于当前目录下，那么在Linux命令行下运行./cctest.cmmout.s即可将输出结果写入当前目录下名为out.s的文件中。5.1.3输出格式实验四要求你的程序将运行结果输出到文件。对于每个输入文件，你的程序应当输出相应的MIPS32汇编代码。我们将使用SPIMSimulator对你输出的汇编代码的正确性进行测试，任何能被SPIMSimulator执行并且结果正确的输出都将被接受。5.1.4测试环境你的程序将在如下环境中被编译并运行：1)GNULinuxRelease:Ubuntu12.04,kernelversi

8、on3.2.0-29；2)GCCversion4.6.3；3)GNUFlexversion2.5.35；4)GNUBisonversion2.5；84版权所有南京大学计算机科学与技术系许畅等2015版5)QtSPIMve