微型语言编译器.PDFVIP

微型语言编译器  Author:谭添升(031162020)  时间:2006年5月28日  功能以及使用说明:  开发环境:WindowsXp+Cygwin+Flex+BYacc+gcc  使用说明:源程序主要有scan.l 和grammer.y,main.c,global.h.  global.h主要为Lex和Yacc以用主程序main.c要共同使用的变量声明.,scanl.l为lex 说明文件,是词法分析程序,Gramer.y为Yacc说明文件,其内容包括语法分析,代码生成等. 由于scanl.l与grammer.y均是在Cygwin环境下编译,对一般Xp系统,可能无法编译,所以 我已经下载了flex和byacc 的windows版本,放在ForWin下,,只要装了VC++6.0(其它的 没试过)在windows机器上也可以编译说明文件,并且提供了MAKEFILE,在ForWin作为 当前目录时使用VC++自带的NMAKE 实用程序即可从scan.l和grammer.y构建编译器, 生成的main.exe 即可运行.  main.c为实际的主程序,主要将生成的指令数组写入到文件.  使用编译器:编译源文件的方法为:Usage:main soucefile [destfile], 其中的目标文件 可以省略,默认为当前目录下的a.txt.本文最后附有成功构建和编译测试文件的截图, 可 供参考.  code 目录下附有我的一些测试文件,和一个求最大公约数的程序,比较容易看明白.  本编译器接收的文法. ① 基本上按照老师给的PPT给出的文法,但有几处修改.首先是Dec 和Body之间的分 号被去掉,因为存在这个分号会和Vardec和Dec之间的分号冲突,而遇到这种冲突,YACC是尽 量移入,导致Body 不能得到归约. ② 另一个是Statement的规则右部少了ReadSt,和WriteSt,导到这两个符号不能规约,这 应该是原文法的一个失误.总之,这两处修改基本不改变可接收的语言.除了一个分号. ③ 示例源程序如下(本编译器支持类C 的注释风格): /*变量重定义,编译器可以检测到,并给出重定义的变量*/ /*error:line 6variable a redefinition*/ vara:int; varb:real; varc:real; vara:real begin a:=1; b:=1.5; c:=2.5 end  翻译方案的实现 在YACC 的说明文件中,语义动作使用了带回填的翻译方案.其中的Jumplist 为回填所使 用的指令指针表.为便于回填,生成的代码指令预先放入结构体数组structCode code[]中,具体 实现请参考grammer.y文件. 附: ForLinux版本: ForWin版本(有waning但编译成功): Forwin的main.exe来编译程序(由于Flex和byacc 是Fordos的,所以可能nmake 后即编译不 能显示汉字.