5 目标代码生成 - 南京大学计算机科学与技术系.PDFVIP

版权所有 南京大学计算机科学与技术系 许畅等 2017春季版 5. 目标代码生成 本章实验为实验四，是最后一次实验，其任务是在词法分析、语法分析、语义分析和中间 代码生成程序的基础上，将C源代码翻译为MIPS32 指令序列（可以包含伪指令），并在 SPIM Simulator上运行。当你完成实验四之后，你就拥有了一个自己独立编写、可以实际运行 的编译器。 选择MIPS作为目标体系结构是因为它属于RISC范畴，与x86等体系结构相比形式简单便于 我们处理。如果你对于MIPS体系结构或汇编语言不熟悉并不要紧，我们会提供详细的参考资 料。 需要注意的是，由于本次实验的代码会与之前实验中你已经写好的代码进行对接，因此保 持一个良好的代码风格、系统地设计代码结构和各模块之间的接口对于整个实验来讲相当重 要。 5.1 实验内容 5.1.1 实验要求 为了完成实验四，我们建议你首先下载并安装SPIM Simulator用于对生成的目标代码进行检 查和调试，SPIM Simulator 的官方下载地址为：/~larus/spim.html 。这是 由原Wisconsin-Madison 的Jame Larus教授（现在在微软）领导编写的一个功能强大的MIPS32汇 编语言的汇编器和模拟器，其必威体育精装版的图形界面版本QtSPIM 由于使用了Qt组件因而可以在各大 操作系统平台如Windows 、Linux 、Mac 等上运行，推荐安装。我们会在后面介绍有关SPIM Simulator的使用方法。 你需要做的就是将实验三中得到的中间代码经过与具体体系结构相关的指令选择、寄存器 选择以及栈管理之后，转换为MIPS32汇编代码。我们要求你的程序能输出正确的汇编代码。 “正确”是指该汇编代码在SPIM Simulator （命令行或Qt版本均可）上运行结果正确。因此， 以下几个方面不属于检查范围： 1) 寄存器的使用与指派可以不必遵循MIPS32 的约定。只要不影响在SPIM Simulator 中的 正常运行，你可以随意分配MIPS体系结构中的32个通用寄存器，而不必在意哪些寄存 器应该存放参数、哪些存放返回值、哪些由调用者负责保存、哪些由被调用者负责保 存，等等。 2) 栈的管理（包括栈帧中的内容及存放顺序）也不必遵循MIPS32 的约定。你甚至可以使 用栈以外的方式对过程调用间各种数据的传递进行管理，前提是你输出的目标代码 （即MIPS32汇编代码）能运行正确。 当然，不检查并不代表不重要。我们建议你试着去遵守MIPS32 中的各种约定，否则你的程 83 版权所有 南京大学计算机科学与技术系 许畅等 2017春季版 序生成的目标代码在SPIM Simulator中运行时可能会出现一些意想不到的错误。 另外，实验四对作为输入的C源代码有如下的假设： 1) 假设1：输入文件中不包含任何词法、语法或语义错误。 2) 假设2 ：不会出现注释、八进制或十六进制整型常数、浮点型常数或者变量。 3) 假设3 ：整型常数都在16bits位的整数范围内，也就是说你不必考虑如果某个常数无法 在addi等包含立即数的指令中表示时该怎么办。 4) 假设4 ：不会出现类型为结构体或高维数组（高于1维的数组）的变量。 5) 假设5 ：所有的变量均不重名，变量的存储空间都放到该变量所在的函数的活动记录 中。 6) 假设6 ：任何函数参数都只能是简单变量，也就是说数组和结构体不会作为参数传入某 个函数中。 7) 假设7 ：函数不会返回结构体或数组类型的值。 8) 假设8 ：函数只会进行一次定义（没有函数声明）。 在进行实验四之前，请阅读后面的实验指导部分，以确保你已经了解MIPS32汇编语言以及 SPIM Simulator的使用方法，这些内容是你顺利完成实验四的前提。 5.1.2 输入格式 你的程序的输入是一个包含C源代码的文本文件，你的程序需要能够接收一个输入文件 名和一个输出文件名作为参数。例如，假设你的程序名为cc、输入文件名为test1.cmm、输出文 件名为out.s，程序和输入文件都位于当前目录下，那么在Linux命令行下运行./cc test.cmm out.s 即可将输出结果写入当