编译原理——编译程序构造实践教程 张幸儿 戴新宇 1001编译程序构造与实践教程第十章新.pptVIP

* * 第十章 虚拟机目标程序之解释程序的研制 当把源程序翻译成了等价的目标程序，不言而喻，希望能了解目标程序的正确性，尤其是希望能运行而得到相应的结果。虚拟机目标程序，如何能运行呢？ 用C语言研制一个符号地模拟执行虚拟机目标程序的解释程序，也就是说，并不把虚拟机目标程序转换为机器语言程序，而是研制一个解释程序，它逐条指令地模拟执行虚拟机目标程序。 下面讨论这一解释程序的设计和实现。思路是：给定一些实例，逐个取出虚拟机目标指令，分析确定其操作数，确定操作，模拟执行，给出相应的运行结果。 10.1 虚拟机指令操作码种类 首先明确可允许的虚拟机指令系统, 包括指令格式、寻址方式及可允许的操作，可参看第6章。 输入输出类：READ x PRINT x 或 PRINT #N 其中N是数值。 传输类： MOV x, y 算术运算类：op x, y 其中op可以是ADD（加法）、SUB（减法）、 MPY（乘法）、DIV（除法）。 比较类： CMP x, y 无条件控制转移类： GOTO （N） 其中N是指令序号。 条件控制转移类： CJrelop （N） 其中relop可以是、=、、=、==与!=， N是指令序号。 指令中操作数可以是简单变量、寄存器与常量三类，当是常量时取#N形式，N是常数值。当是控制转移指令时，控制转移到的指令序号用小括号对括住。数据类型仅整型。 例 设有简单的C型程序片段如下： a=2; b=3; x=a+b; print x; 相应的虚拟机目标程序如下： MOV #2, a MOV #3, b MOV a, R0 ADD b, R0 MOV R0, x PRINT x 为了研制符号模拟执行虚拟机目标程序的解释程序，首先必须明确实现思路。 虚拟机实现思路十分简单。在读入目标程序指令序列后，逐条取出目标指令，分析确定其操作数，然后根据指令操作码模拟执行当前指令，直到目标程序模拟执行结束。控制流程示意图如图所示。 虚拟机解释程序 读入目标程序指令序列 置初值 未结束 否 出口 是 取当前指令 确定操作数 确定操作码 并模拟执行 是 控制转移 否 准备取顺序下一指令 10.2 设计要点 当实现符号模拟执行虚拟机目标程序的解释程序时，必须考虑下列几个要点： ? 操作数的处理（包括对标识符的处理） ? 控制转移指令的处理 ? 操作码的确定与模拟执行 ? 输入输出指令的处理 10.2.1 操作数的处理 操作数中最主要的是变量。模拟执行虚拟机目标程序时，一个最为关键的问题是：如何对变量存取值？ 考察下列的虚拟机指令序列实例： MOV #1, i MOV i, R0 ADD #1, R0 MOV R0, i 可以建立一个虚拟存储区，为变量在虚拟存储区中分配存储字。这虚拟存储区实际上用数组来实现。为了管理方便，让该虚拟存储区元素呈下形： 变量名 值 以标识符在虚拟存储区中的“存储地址”，即相应元素之序号，来存取值。 假定i是第一个出现的标识符，也是第一次