C--语言的词法文法语法语义分析及MIPS汇编生成

简介: C--语言的词法文法语法语义分析及MIPS汇编生成

任务目标


  • 掌握使用高级程序语言实现一个一遍完成的、简单语言的编译器的方法
  • 掌握简单的词法分析器、语法分析器、符号表管理、中间代码生成以及目标代码生成的实现方法
  • 掌握将生成代码写入文件的技术


二、开发环境


  • 编程语言:Python 2.7、C# 7.0
  • 使用工具:Visual Studio 2017、Pycharm 2018
  • 操作系统:Windows 10,版本17134
  • 运行环境:.Net Framework 4.6.1


三、程序功能描述

实现了C- -语言的词法分析、对所用文法LR(1)分析表的建立、语法分析、语义分析(包括语义栈、符号表、函数表、中间代码生成以及写入文件,方法为一遍扫描)、MIPS汇编生成及写入文件。


支持源代码保存、文法产生式显示、LR(1)分析表显示、分析过程展示、中间代码及MIPS汇编展示。


四、程序实现过程

4.1 主要算法与模块

4.1.1 词法分析

正则表达式匹配算法


借鉴了工具lex的词法分析算法,以正则表达式匹配的方法代替DFA进行词法分析,通过6个正则表达式并行匹配词法元素,每一次将位于开头的最长匹配序列识别为对应的正则表达式所代表的token,从而实现了词法分析。

4.1.2 LR(1)语法分析


求FIRST集算法


由于文法中产生式非终结符的FIRST集存在相互依赖关系,使用递归法会导致计算量的巨大,因此我使用了自下而上求解FIRST集依赖的算法:对于每个产生式左侧非终结符T,若其FIRST依赖于另一非终结符F,则将F加入到其FIRST集中。将所有FIRST集中含有非终结符的非终结符加入到列表Q中,当Q不为空时,对每个元素进行遍历:若其依赖的非终结符不在Q中,则将其替换为它的FIRST集中的终结符,当其FIRST集中依赖的非终结符均被替换后,执行出队操作。达到了自底向上求解依赖关系的效果。


求CLOSURE(I)算法


  • CLOSURE(I)表示和I中项目可以识别同样活前缀的所有项目的集合。它可以有以下方法得到:
  • I中的所有项目都属于CLOSURE(I)
  • 若项目[A→a.Bβ,a]属于CLOSURE(I),B→ξ是一个产生式,那么,对于FIRST<βa>中的每一个中介符b,如果[β→.ξ,b]原来不在CLOSURE(I)中,则把它加进去
  • 重复执行步骤2,直到CLOSURE(I)不再增大为止


求GO(I,X)算法


GO(I,X)=CLOSURE(J)

其中J={任何形如[A→aX.Β,a]的项目[A→a.X.Β,a]属于I}。


LR(1)项目集族的构建


建立有限状态自动机DFA、哈希表H、项目集队列P,放入初始项目集I0,存入哈希表中并作为DFA的初始状态。取出队首元素I,对于I的每个项目X,求I’=GO(I,X),若I’不在哈希表中,则将其加入P和H中,并添加为DFA新的状态。为DFA添加一条边(I,X,I’)。循环此操作直到P为空为止,DFA即代表了文法G的LR(1)项目集族,为下一步构造LR(1)分析表提供了依据。


LR(1)预测表的构建


  • 若项目[A→•a, b]属于Ik且GO(Ik,a)=Ij,a为终结符,则置ACTION[k, a]为“sj”
  • 若项目[A→•a]属于Ik,则置ACTION[k,a]为“rj”;其中假定A→为文法G的第j个产生式
  • 若项目[S→S•,#]属于Ik,则置ACTION[k,#]为“acc”
  • 若GO(Ik,A)=Ij,则置GOTO[k, A]=j
  • 分析表中凡不能用规则1至4填入信息的空白栏均填上“出错标志”


4.1.3 语义分析


语义


LR语义分析是在语法分析的基础上,增加一个语义栈,栈内元素为语义结点。结点类是S属性文法的表示,判别每次语法分析所使用的产生式,实现不同的语义动作,每当规约到特定非终结符时,即可产生中间代码。


符号表和函数表


每次规约识别出一个新的标识符,都会将其加入符号表中,符号的信息包括标识符、中间变量名、类型、占用空间、内存偏移量、作用的函数等。而当规约到函数定义的时候,则将函数名、形参列表、代号加入函数表。


中间代码生成


分为赋值语句、算术运算语句、函数调用语句、循环语句、选择语句、跳出语句、函数定义语句等。


4.1.4 MIPS汇编生成

寄存器分配算法


使用了简单的寄存器分配思路,用一张中间变量表记录中间变量的位置:在内存中还是在寄存器中,用一张寄存器表记录8-26号寄存器的占用情况。当有空闲寄存器时,任意分配;当寄存器全部用完时,执行清理操作,取出一个下文出现次数最少的中间变量放入内存,释放其占用的寄存器。


函数调用的翻译


借鉴了8086汇编的子程序调用方法,将内存偏移量为0x8000的地址设置sp和fp栈指针的起始地址,fp栈向高地址增长,sp栈向低地址增长。fp栈用于传递函数调用的形参(我并没有使用a0-a4寄存器传递参数);sp栈用于处理函数调用时,保护ra与形参。当需要进行函数调用时,首先将当前函数形参与ra压入sp栈,然后查询函数表,将待传递的形参依次压入fp栈。函数调用返回后,从sp栈中推出ra与当前函数形参。


4.2 基本框图



dd396812947ab82945e9e80e589fd6e0.jpg


4.3 功能函数


LexcialAnalyzer.py文件


image.png


MipsGenerate.py文件


image.png

image.png

image.png


五、执行界面与运行结果


程序初始状态,可在左侧代码编辑框内写入C--码。


a7e74d7b0e38b8bb183f0bba40d04f75.jpg

点击词法分析按钮,会在右侧显示词法分析的结果,同时“建立LR(1)分析表”按钮会变为可用状态。


bb82bf4fe18c3cf6631f7b47c0b909ac.jpg

点击建立LR(1)分析表按钮会进行LR(1)分析表的建立,成功后点击对话框的ok按钮,会打开LR(1)分析表查看窗口。


78920e2eefe5906410b3876ea6db69f5.jpg


d41f3de0beecc80c030d6b21f5c9e765.jpg


点击查看文法按钮,会打开文法查看窗口。

e2dcc96e5de072ba07b370f035f72c53.jpg

点击语法+语义分析按钮,会进行中间代码生成,成功后点击ok按钮,会打开分析过程查看窗口和中间代码查看窗口。


634d805ac2c8a38602c5fce561d0cc34.jpg


4880daf99035084cbf8986c92a4f055e.jpg

c03fec803c42d07463446fc021e7a170.jpg


点击生成MIPS汇编按钮,会进行MIPS翻译,成功后点击ok按钮,会打开MIPS汇编查看窗口,至此,完成了C--语言的翻译。

d6cd14265a76c3ce7b24f1076345790b.jpg

c643432a7a5b32b5f391d8473647e846.jpg

当语法分析或者语义分析识别到错误时,弹出错误窗口,提醒检查代码合法性。


c390b7d48d860579661bb91013511b43.jpg

六、总结


在课程设计的过程中,我遇到了极大的困难。总共历时一个月,才完成了一个基本的编译器。原计划完成的很多特性都没有实现:

  • 除了int类型,double、float、char等均未实现
  • 未实现运算符优先级
  • 未实现数组
  • 未实现布尔表达式
  • break与continue实现不完美
  • 语义分析不检查错误


主要因为基础功能的实现耗费了大量的时间,没有空余来完成原定的特性,可以说一个支持众多语法特性的编译器不能一蹴而就。


困难在编译器的每个阶段均有发生,其中语法分析最难完成。首先是要找到可用的语法产生式,我借鉴了ANSC C语言 yacc文法产生式,在此基础上对其进行了大量的删减与改造。在此过程中,我首先采用了LR(0)语法分析,但是由于出现了非常多的shift-reduce冲突,我谋求使用SLR分析法,但是在求Follw集的过程中,出现了循环依赖的现象。只能采用LR(1) ,最终得到了一个可用的LR(1)语法分析器。在构造LR(1)分析表的过程中,CLOSURE算法非常难以实现,这是LR(1)分析法最大的难点。而在分析过程中,对于形如NT->’$’的推出空的产生式,语法动作应该为规约,但是状态栈应该增加一个状态,那就是GO(I,X)所到达的状态,这是书本上所没有的。


在语义分析的过程中,最大的难点是如何实现一遍扫描。根据教科书的指导,LR分析需要扩充语法分析器,增加一个语义栈,这样就不需要构造语法树,而是在生成中间代码的同时,将语义栈结点出栈,利用S属性文法传递生成的中间代码。而中间代码的生成,则是分为不同种类语句的翻译,其中闭包表达式(算术运算语句,声明语句,赋值语句,语句块闭包)的翻译由于必须一遍扫描+语义栈,我只能定义一个stack属性文法,每当出现闭包规约的时候,就把被规约的token加入到结点的栈中,直到能确定闭包结束时,再将token翻译为中间代码。


而break和continue由于上下文联系非常强,并没有找到很完美的翻译方法,我的处理是这样的:每当规约到break或continue,保留一个占位符,等待二次翻译。当规约到循环语句时,检查属性文法中传递来的中间代码中有没有占位符,识别为break或者continue后,结合自身翻译为j next或者j begin。


MIPS汇编代码最大的难题是函数调用的翻译,在前面已经说过解决的思路了,就不再多言。


通过此次编译原理课程设计我非常深入地理解了从形式语言到汇编代码的编译过程,获得了很多知识。

相关文章
|
11月前
|
编译器 Linux C语言
函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)(上)
函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)
|
Linux C语言
RISC-V Linux汇编启动过程分析
RISC-V Linux汇编启动过程分析
|
3月前
|
NoSQL 程序员
"解锁计算机语言的神秘面纱:一探究竟,汇编语言基础命令如何操纵硬件世界!
【8月更文挑战第21天】汇编语言是最贴近硬件的编程语言,对理解计算机系统至关重要。它允许直接控制硬件执行底层操作。本文概览了汇编语言,介绍其基础命令,包括数据传输(如`MOV`, `PUSH`, `POP`)、算术逻辑(如`ADD`, `SUB`, `AND`, `OR`, `XOR`)及程序控制指令(如`JMP`, `JE`, `JNE`, `LOOP`)。这些命令为深入硬件世界奠定基础,帮助优化程序性能并激发底层编程兴趣。
62 0
|
6月前
|
程序员 编译器
计算机语言分为三种:机器语言、汇编语言和高级语言
计算机语言分为三种:机器语言、汇编语言和高级语言
335 0
|
11月前
|
编译器 C语言
函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)(下)
函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)
|
C语言 C++
汇编的初体验+debug加法分析【微机原理】
汇编的初体验+debug加法分析【微机原理】
112 1
|
Java 编译器 程序员
机器语言,汇编语言,高级语言,c,java语言编译到运行过程
机器语言,汇编语言,高级语言,c,java语言编译到运行过程
JVM系列之:从汇编角度分析NullCheck
JVM系列之:从汇编角度分析NullCheck
JVM系列之:从汇编角度分析NullCheck
|
Android开发
【Android 逆向】arm 汇编 ( 使用 IDA 解析 arm 架构的动态库文件 | 分析 malloc 函数的 arm 汇编语言 )
【Android 逆向】arm 汇编 ( 使用 IDA 解析 arm 架构的动态库文件 | 分析 malloc 函数的 arm 汇编语言 )
346 0
【Android 逆向】arm 汇编 ( 使用 IDA 解析 arm 架构的动态库文件 | 分析 malloc 函数的 arm 汇编语言 )
|
Android开发
【Android 逆向】x86 汇编 ( 使用 IDA 解析 x86 架构的动态库文件 | x86 汇编语言分析 )(二)
【Android 逆向】x86 汇编 ( 使用 IDA 解析 x86 架构的动态库文件 | x86 汇编语言分析 )(二)
160 0
【Android 逆向】x86 汇编 ( 使用 IDA 解析 x86 架构的动态库文件 | x86 汇编语言分析 )(二)