2009级编译原理实验PL0流程图

1 PL 0 编译程序流程图编译程序流程图 2009 年 11 月 主程序 main N Y Y N 输入 pl 0 源程序文件名 打开源程序文件 正确 用户回答 是否列出虚拟机代码 是否列出符号表 打开输出文件 fa1 tmp 并输出源程序文件名 初始化 初始化目标代码指针 cx 为 0 ch 为 读入一个单词 打开文件 fa tmp fas tmp 设置分程序后跟符号集 nextlev 声明开始单词 语句开始单词 分程序处理 分程序处理出错 解释执行虚拟机代码 关闭文件并返回 关闭文件并返回 返回 2 解释程序 interpret lit opr 0 1 2 3 4 5 6 置栈顶指针 t 为 0 置数据段起始地址 b 为 0 置当前指令指针 p 为 0 置栈 s 的前三个单元为 0 取当前指令到 i 指令指针 p 指向下一条指令 指令 i 的功能码 将常量值 i a 入栈顶 s t 该运算指令的 a 域 过程调用结束返回调用点 释放被调用过程 占用的栈空间 指令指针指向返回地址 恢 复调用者数据段起始地址 栈顶 栈顶 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 栈顶为奇数 栈顶 3 8 9 10 11 12 13 14 15 16 lod sto cal 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 次栈顶 栈顶 次栈顶 次栈顶0 根据静态链 取外层过 程的基址到 b1 l l 1 返回 b1 即 l 外层基址 6 分程序 block Y 常量说明部分处理 N N Y N Y N Y 本过程的初始化 置本过程变量分配的相对地址 dx 为 3 保存当前 符号表表尾指针 tx 到 tx0 即本层符号的开始位置 登记首条目标代码 JMP 0 0 的地址到符号表中该过程名的 adr 域 生成指令 jmp 0 0 当前单词是 const 读入下一个单词 登记常量名到符号表 当前单词是 读入下一个单词 登记常量名到符号表 当前单词是 读入下一个单词报错 当前单词是 标识符 7 变量说明部分处理 Y N N Y N Y N Y 当前单词是 var 读入下一个单词 登记变量名到符号表 当前单词是 读入下一个单词 登记变量名到符号表 当前单词是 报错读入下一个单词 当前单词是 标识符 8 过程说明部分处理 Y N N Y N Y Y N N Y Y N 当前单词是 procedure 读入下一个单词 单词是标识符 在符号表登记过程名字 读入下一个单词 报错 当前单词是 报错读入下一个单词 生成下一级分程序后跟符号集 本分程序后 跟符号集及 调用分程序 block 处理 层次加 1 Block 返回 1 返回 返回值 1 当前单词为 读入下一个单词 生成后跟符号集 nextlev 语句 开始单词 标识符 procedure 滤去过程说明部分非法的后跟单词 只允许 nextlev 的单词及本分程序 的后跟符号 报错 生成后跟符号集 nextlev 语句开 始单词 标识符 滤去非法后跟单词 只允许 nextlev 单词及声明开始单词 当前单词是声明 开始符号 9 语句处理 Y N 用当前目标指令地址 cx 对本过程的首条指令 jmp 0 0 的目标 地址回填 更正符号表本过程名的信息 入口地址为当前目标指令地 址 过程数据区大小为当前变量分配的相对地址 保存过程入口地址到 CX0 生成本过程的入口指令 分配数据区空间的指令 INT 0 a 要输出本过程符号表 从符号表 tx0 位置开始输出所 有常量名 变量名 过程名 生成语句的后跟符号集 nextlev 本分程序后跟符号集 end 语句处理 生成调用过程结束指令 OPR 0 0 置 nextlev 为空 过滤非法后跟单词 只允许本分程序的后跟符号 输出目标代码清单 返回 返回值 0 10 初始化 init 设置单字符符号 ssym 设置保留字名字 word begin call const do end if odd procedure read then var while write 设置保留字符号 wsym 放入保留字名字对应的编号 设置指令名称 mnemonic lit opr lod sto cal int jmp jpc 设置声明开始符号集 declbegsys const var procedure 设置语句开始符号集 statbegsys begin call if while 设置因子开始符号集 facbegsys 标识符 数字 结束 11 语句处理 statement Y 赋值语句处理 N N Y Y N N Y 当前单词是标识符 在符号表中查该标 识符 查到 该符号不是变量 读入下一单词 当前单词是 读入下一单词 将当前语句的后跟符号集作 为表达式的后跟符号集 处理赋值符号右边的表达式 生成保存栈顶结果的 目标指令 sto l a 报错 报错 报错 12 读入语句处理 Y N N Y N Y Y N Y N N Y 当前单词是 read 读入一个单词 当前单词是 读入一个单词 单词是标识符 报错 生成输入数据到栈顶 的输入指令 opr 0 16 生成保存栈顶值到输入 变量的指令 sto l a 读入下一单词 当前单词是 报错 在符号表查找该 单词 找不到 当前单词是 过滤输入单词直 到出现后跟符号 读入一个单词 13 输出语句处理 Y N Y N N Y 当前单词是 write 读入一个单词 读入一个单词 生成表达式的后跟符号 语句的后跟符号 输出表达式处理 生成输出栈顶值的输 出指令 opr 0 14 当前单词是 当前单词是 报错读入一个单词 生成换行指令 opr 0 15 14 调用语句处理 Y N N Y N Y N Y 当前单词是 call 读入一个单词 当前单词是标 识符 在符号表查找该 单词 找到 单词是过程名 生成调用指令 opr l f 报错 读入下一个单词 报错 15 If then 语句处理 Y N N Y 当前单词是 if 读入下一个单词 生成条件的后跟符号集 语句 后跟符号集 then do 条件处理 当前单词是 then 报错读入下一个单词 保存当前目标指令地址到 cx1 以便回填 生成条件跳转指令 jpc 0 0 Then 后面的语句处理 用当前目标指令地址回填前面的 条件跳转指令 成为 jpc 0 a 16 复合语句处理 Y N N Y Y N N Y 当前单词是 begin 读入下一个单词 生成语句处理的后跟符号集 本 层语句处理的后跟符号 end 语句处理 当前单词是语句开 始单词或 读入一个单词 当前单词是 报错 语句处理 当前单词是 end 报错读入下一个单词 17 While 语句处理 Y N Y N 当前单词是 while 保留当前目标指令地址 循环条件 判断指令地址 到 cx1 读入下一个单词 生成条件的后跟符号集 本层语 句的后跟符号集 do 条件处理 保存当前指令目标指令地址 跳出 循环的指令地址 以便回填 生成跳出循环的目标指令 jpc 0 0 当前单词是 do 读入下一个单词报错 循环体语句处理 生成跳回判断循环条件的跳转指令 jmp 0 a 用当前指令地址 循环语句外指令 回填跳出 循环的目标指令 滤去非语句后跟符号 返回 0 18 表达式处理 expression 表达式由项组成 例 项 项 项 项 N Y N Y 当前单词是 或者 保存第一个正负号 读入下一个单词 生成表达式的后跟符号集 当前的后跟符号集 项处理 第一个正负号为负 生成表达式的后跟符号集 当 前的后跟符号集 项处理 生成取负指令 opr 0 1 19 当前单词是 或者 生成表达式的后跟符号集 当前 的后跟符号集 项处理 保存正负号 读入下一个单词 生成加法指令 opr 0 2 生成减法指令 opr 0 3 正负号是正号 20 返回 21 22 已经完成的函数 init main int