四则表达式的编译过程及生成汇编代码

1、前序

这是编译原理的实验，自认为是上大学以来做过的最难的一个实验。所以写篇博客记录一下。

实验用到的基础知识：C语言、数据结构、汇编（只需简单的了解）。

开发工具：VC

 

2、问题描述

编译整数四则运算表达式，将整数四则运算表达式翻译为汇编语言代码。

消除左递归后的文法：

E→TE'

E'→+TE' |ε

T→FT'

T'→*FT' |ε

F→(E) | i

消除左递归后的翻译模式：

E ::=     T    {E'.i:=T.nptr}

E'    {E.nptr:=E'.s}

E'::=      + T  {E'₁.i:=mknode(‘+’,E'.i,T.nptr)}

E'₁   {E'.s:=E₁.s}

E'::=       - T   {E'₁.i:=mknode(‘-’,E'.i,T.nptr)}

E'₁   {E'.s:=E₁.s}

E'::=      ε     {E'.s:= E'.i}

T ::=      F    {T'.i:=F.nptr}

T'    {T.nptr:=T'.s}

T'::=      * F  {T'₁.i:=mknode(‘*’,T'.i,F.nptr)}

T'₁   {T'.s:=T1.s}

T'::=      / F   {T'₁.i:=mknode(‘/’,T'.i,F.nptr)}

T'₁   {T'.s:=T₁.s}

T' ::= ε  {T'.s:= T'.i}

F ::= (E) {F.nptr:=E.nptr}

F ::= num {F.nptr:=mkleaf(num,num.val)}

 

3、全局定义

test.c文件

#ifndef TEST_C
#define TEST_C

/**
  * 全局变量和全局函数文件
  **/
#include<stdio.h>
#include<ctype.h>
#include<string.h>
#include<stdlib.h>

/************************* 以下是全局变量(函数)的定义 *******************/

//输入的表达式最大长度，可以看做是缓冲区的长度
#define MAX_EXPRESSION_LENGTH 50

//存放输入的表达式
char expression[MAX_EXPRESSION_LENGTH];

//表达式字符数组的下标
int expression_index=0;

//存放一个单词符号
char strToken[MAX_EXPRESSION_LENGTH/2];

//判断是否是数字
int isNum(char * strToken)
{
	int i=0;
	while(strToken[i]){
		if(!isdigit(strToken[i]))
			break;
		i++;
	}
	return strToken[i]==0;
}

//错误处理程序
void error(char* errerMessage)
{
	printf("\nERROR:%s\n",errerMessage);
	exit(0);
}
/************************* 以上是全局变量(函数)的定义 ******************/

#endif

 

4、词法分析

词法分析的要求是：接受一个表达式，输出该表达式中的各类单词符号

一般有两种方法来进行词法分析，一种是用状态图来实现，一种是用状态转换表。下面采用状态图实现

首先定义单词符号的种类和所属类型

typedef enum Symbol { ERR = -1, END, NUM, PLUS, MINUS, TIMES, SLASH, LPAREN, RPAREN } Symbol;

 

然后转态转换图如下所示：

 

test1.c文件用代码表示如下：

#ifndef TEST1_C
#define TEST1_C

/**
  * 采用状态图进行词法分析以及测试词法分析
  *
  **/

#include"test.c"

//枚举类型
typedef enum Symbol { ERR = -1, END, NUM, PLUS, MINUS, TIMES, 
SLASH, LPAREN, RPAREN } Symbol;

//获取一个单词符号，该单词符号存放在strToken中。返回该单词符号的枚举类型
Symbol getToken();

//根据传入的枚举类型输出对应的单词符号
void printToken(Sym