计算机实验第一讲.ppt

编译实验 任课教师 王晓斌806教研室主楼中338 一 概述1 源语言 扩展MINI PL 简化的Pascal 语言定义见文法 1 不允许标号说明 类型说明和函数说明 2 不允许指针 集合 记录 文件和子界型 3 不允许过程作为参数 4 没有REPEAT CASE WITH和GOTO语句 2 工具语言 Pascal C或其它3 语法分析采用递归下降分析法4 目标代码 P码5 编译程序MINI CP的结构 源程序字符串 pas 词法分析器 语法分析器 语义分析 中间代码生成器 代码优化器 目标代码生成器 二元式序列 dyd 二元式序列 dys 中间代码序列 qud 中间代码序列 qdo 符号表管理程序 出错处理程序 编译程序的结构 P码 二 各阶段的输入输出1 词法分析 词法分析器 源程序 pas 二元式 文本文件 dyd 2 语法分析 语法分析器 dyd dys 同时 产生文本文件 var pro arr 3 语义分析 语义分析器 dys qud 文本文件 同时 产生二进制文件 ooj varfil procfil arrfil 4 优化 优化段 qud ooj qdo 文本文件 同时 产生二进制文件 coj 5 目标代码生成 目标代码生成器 qdo coj obj P码 同时 产生二进制文件proct 变更后的过程名表 pf 目标指令 三 数据结构1 二元式文件 dyd 1 二元式形式 单词符号 种别 长度为16 长度为2 一个空格 2 每行后加一 EOLN 34 3 文件结尾加 EOF 37 2 错误信息文件 err 1 错误信息格式 LINE 行号 错误性质 2 注意 进入每一阶段 首先打开 err 如果无错误 则 err为空 3 dys同 dyd 4 变量表变量名vname char 16 分类vkind 0 1 0 变量 1 形参 变量类型vtype types变量层次vlev int变量在变量表中的位置vadr int 相对第一个变量而言 types ints reals bools chars arrays 5 过程名表过程名proname char 16 层次prolev int直接外层proc char 16 第一个变量的位置firstvar int最后一个变量的位置lastvar int地址proadr int参数个数parnum int第一个参数的位置firstpar int 6 数组名表数组名arrname char 16 基类型 types下界low int上界high int 7 四元式表 oprd op1 op2 result oprd 整数码op1 第一操作数op2 第二操作数result 结果op1 op2 result可用二元组表示 类型 值 地址 8 目标代码 P码参见目标代码 P码 指令表 四 实现难点1 文件名的分解多数文件均和源文件同名 仅扩展名不同 2 词法分析时 注意行尾和文件尾 3 设一个总的变量名表 查 填表时注意嵌套 也可能涉及到过程名表 4 语法错分类 1 缺少符号错 2 符号匹配错 3 符号无定义或重复定义 5 递归下降分析时 必须先消除左递归 6 递归下降分析时 跟踪符号的位置当进入某过程时 其第一个符号必须已经读出 退出该过程时 必须读出该语法成分的右界符 例 G E E E T TT T F FF E i消除左递归 E T E E TE T FT T FT F E i 过程match 匹配单词符号 并读入下一符号变量lookahead 即将处理但尚未处理的符号procedurematch t token beginiflookahead tthenlookahead nexttokenelseerrorend procedureE beginT E end procedureT beginF T end procedureE iflookahead thenbeginmatch T E end procedureT iflookahead thenbeginmatch F T end 7 进行自上而下语法制导翻译时 各过程返回的是指针 五 实验要求1 至少完成词法 语法 语义分析 2 提交 软盘 文档 1 软盘 说明各文件名称 源程序 测试程序 运行结果 2 文档设计思想 总控算法 主要服务子程序算法 总结 心得 收获 建议等 测试程序 PROGRAMEXAM INPUT OUTPUT CONSTM 10 N 99 VARI J INTEGER A ARRAY 1 10 OFREAL PROCEDUREPP X Y INTEGER VARZ