PLO语言功能扩展(case语句和for语句)解读.doc

编译原理实验报告  一．实验目的：实验： (平台)：VC++6.0 设计方案： 概述： 源语言：pl0 目标语言：类pcode代码 实现工具(平台)：VC++6.0 结构设计说明： PlO所有子程序如下： 过程或函数名 简要功能说明 main 初始化编译环境，建立关键字表，调用分程序Block对源文件进行编译，当编译正确时，自动调用解释执行程序，对目标代码进行解释执行。 error 出错处理，打印出错位置和错误性质编号。并在信息栏输出错误信息。 getsym 词法分析，读取一个单词 gen 生成目标代码（类pcode代码），并送入目标程序区。 test 测试当前单词是否是合法 block 分程序分析处理过程。 enter 登录过程说明对象包括变量、常量和过程名的属性信息到符号表。 position 查找标识符在符号表中的位置。 constdeclaration 常量定义处理，收集常量信息并登录到符号表。 vardeclaration 变量定义处理，收集变量信息并登录到符号表。 listcode 列出目标代码清单。 statement 语法分析，语句部分处理。 expression 表达式分析处理。 term 项分析处理过程。 factor 因子分析处理。 condition 条件处理。 interpret 对目标代码进行解析执行。 Base 通过静态链求数据区首地址。 设计思路： 主要分为两部分模块：一，for和；之间的赋值语句处理；二，条件语句处理和最后的语句处理。 (首先获取赋值号左边的标识符，从符号表中找到它的信息，并确认这个标识符确为变量名。然后通过调用表达式处理过程算得赋值号右部的表达式的值并生成相应的指令保证这个值放在运行期的数据栈顶。最后通过前面查到的左部变量的位置信息，生成相应的STO指令，把栈顶值存入指定的变量的空间，实现了赋值操作。返回函数值也是用赋值语句进行返回值的储存。 (首先调用condition函数处理条件语句，并且把当前condition处理生成的判断条件操作代码的的地址cx保存到cx1。每个循环体中，在循环体结束前，设置跳回判断操作判断当前条件是否跳出循环。都把本循环体结束的下一个位置保存到cx2生成跳转，并在循环结束时用cx2更新为目前循环结束跳转地址。 难点分析：本模块，主要难点是处理循环体的跳转，解决方法参照上(点。不过可以参照if语句和while语句。 扩充代码： 1）在头文件pl0.h中的符号symbol中增加所要求增加的符号，用加粗倾斜红色字体标出： 2）源代码： if(sym==forsym) /* 准备按照for语句处理 */ { getsymdo; if(sym==ident) /* 按照赋值语句处理 */ { i=postion(id,*ptx); if(i==0)error(11); /* 变量未找到 */ else { if(table[i].kind!=variable) { error(12); /* for语句格式错误或者赋值语句格式错误 */ i=0; } } getsymdo; if(sym==becomes) { getsymdo; } else error(13); /* 检测赋值符号 */ memcpy(nxtlev,fsys,sizeof(bool)*symnum); expressiondo(nxtlev,ptx,lev); /* 处理赋值符号右侧表达式 */ if(i!=0) { gendo(sto,lev-table[i].level,table[i].adr); /* expression将执行一系列指令，但最终结果将会保存在栈顶，执行sto命令完成赋值 */ } } else error(17); cx1=cx; /* 保存判断条件操作的位置 */ getsymdo; memcpy(nxtlev,fsys,sizeof(bool)*symnum); nxtlev[dosym]=true; /* 后跟符号为do */ conditiondo(nxtlev,ptx,lev); /* 调用条件处理 */ cx2=cx; /* 保存循环体的结束的下一个位置 */ gendo(jpc,0,0); /* 生成条件跳转，但跳出循环的地址未知 */ if(sym==dosym) {