编译原理实验---实验4 c语言的编译器.docVIP

编译原理实验---实验4 c—语言的编译器 实验者：王金锭 学号 完成时间：2007.08.31 一．实验目的： 构造一个C—编译器，要求能够处理一般简单的c—程序，包括词法，语法，语义分析及代码生成部分。 并且要求能够检查程序中出现的错误，给出提示。最终生成汇编代码，用已有的工具汇编，连接汇编程序，最终生成可执行的文件。 1．词法分析： 用LEX 实现 c—语言的词法分析。要求能够检查出词法上的错误，根据源程序，返回各个token给语法分析部分。 2．语法分析： c—语言的句法分析器。读入一个C--语言程序，判断该程序是不是一个合法的C--语言程序。如果程序有语法错误，请给出错误信息。 3．语义分析 语义错误主要包括： a：标志符未定义错误，多次定义错误 b: 类型错误。判断运算符的参数是否具有所需要的类型。注意：算术运算符包括：＋，－，*,/,％只作用于整数。关系运算符（,，等）可以作用于整数表达式，字符表达式，但是不要求作用于字符串表达式（否则C－－就不是C语言的子集了，虽然理论上支持“ab” 类型错误包括函数调用的参数。 4.代码生成 在前面步骤的前提下，进行代码的生成，可以不经过中间代码，直接生成汇编代码。生成的汇编代码文件必须能够通过汇编，连接工具，并最终生成可执行文件。 二．需求分析： 1．用lex 和yacc完成c—语言的语法语义分析。 当读入一个C--语言程序，可以判断该程序是不是一个合法的C--语言程 序。如果程序有语法和语义错误，请给出错误信息。 2．程序要做成命令行程序，带一个参数，表示输入的C--文件名。 如：y.tab s1.c y.tab test.txt 3. 在语法语义分析的同时，可以生成汇编代码，并且要保证汇编代码的正确性，可以经过给定工具的编译连接。 4．生成的可执行文件可以成功地执行，最好能输出正确的结果。 三．实验的总体思路: 实验参考了老师提供的c--.l 和 c--.y文件，并在此基础上，改正添加。实验用前面的实验完成的词法和语法语义分析的实验的内容，并做必要的修正。先完成前面的词法，语法，语义分析部分，同时要考虑到后面代码生成的方便。完成了上述三部分后，直接进行汇编代码生成，不经过中间代码。在代码生成中，要考虑到汇编代码的格式，语句的合法性等问题。 flex c--.l 生成lex.yy.c yacc [-v] c--.y 生成 y.tab.c [y.output] 编译y.tab.c 生成可执行文件y.tab.exe 对于任一c—程序 aa.c 或 aa.txt c-- aa.c 或 c-- aa.txt 生成汇编文件 tasm32 /ml aa.asm 生成.map 和 .obj 文件 tlink32 aa init,,,import32 ntdll 生成 aa.exe文件 执行aa.exe 四．实验的各个部分及碰到的问题： 词法分析部分： 思路分析： 先用lex实现c—语言的词法分析。在实现过程中，严格按照lex的格式，完成每一部分。注意下面正规定义的编写： /* 正规定义 */ delim [ \t] /*\t前面必须有个空格 */ ws {delim}+ letter [A-Za-z] digit [0-9] id {letter}({letter}|{digit})* /* letter digit要用{}括起来 */ number {digit}+(\.(digit)+)?(E[+\-]?{digit}+)? 刚开始由于没注意编写，id的定义写错了，然后就出现以下错误(反而花费了很多时间)： D:\testy.tab s2.c .386p model flat .code ret INT syntax error at token in line 1 line 1 :why type name expected line 1 :why type name expected line 1 :why type name expected i