编译原理——中间代码生成

预备知识

源语言->中间代码->目标语言
中间代码(Intermediate Representation或者IR):复杂性介于源程序语言和机器语言的一种表示形式。
编译程序锁使用的中间代码有多种形式。常见的有逆波兰记号,三元式,四元式,和树形表示。四元式是一种普遍采用的中间代码形式,很类似于三地址指令,有时把这类中间表示称为“三地址代码”,这种表示可以看作是一种虚拟三地址机的通用汇编码,每条”指令“包含操作符和三个地址,两个是为运算对象的,一个是为结果的。
基本表达式的翻译模式:
(1)
Exp:Exp ASSIGNOP Exp
|Exp AND Exp
|Exp OR Exp
|Exp PLUS Exp
|Exp MINUS Exp
|Exp STAR Exp
|Exp DIV Exp
|ID
|INTEGER
|FLOAT
;
分析:
(1)要给每一个语法树结点增加一个place属性,这个place属性的值根据以下规则计算。
1)如果EXP->ID,不需要为ID建立临时变量,place的值就等于变量ID的名字;
2)如果EXP->INTEGER|FLOAT,即推出常数,不需要为常数建立临时变量,place的值就等于常数值。
3)E->E1=E2,E1->ID

emit($1);printf("=");emit($3);

step1:输出ID;
step2:输出=
step3:输出E2.place

4)i+1;E->E1+E2,newtemp,建立一个临时变量,E.place=E1.place+E2.place,

$$>t=newtemp();//创建临时变量
emit($$);//输出创建E.place
printf("=");//输出=
emit($1);//输出E1.place
printf("+");//输出+
emit($3);//输出E2.place

也就是说,在语法树的叶子结点存在两种place,一种是ID,即变量名,一种是整数或者浮点数,这两种place值都和临时变量无关,不需要建立临时变量的操作。
place的值对应到四元式中:
1)常数
2)源程序中变量名ID
3)为生成四元式而建立的临时变量名。
方法一:变量名采用t加上数字的形式,为所有的临时变量名创建一个符号表,记其在符号表中的位置,这个位置是一个在整数v,从0开始,输出时,输出’t’+v,就可以输出t0,t1这种形式,而且有效地避免了变量名的重复。
方法二:直接将place设置成整数类型,再设置一个标记数组used[],用了一个整数i,就在标记数组中将used[i]=-1,表示ti已经被用过了。这样一来,创建一个临时变量,相当于设置place的值,然后更改used[]数组的值。

place应该是一个Union,有3种可能值。
1)int i(对应INTEGER)
2)char* (对应变量名ID)
3)float (对应FLOAT)
4)int t;对应临时变量编号
为了能识别place的值是4种中哪一种,再为语法树结点增添一个ptag,1为int,2为float,3为char,4为临时变量编号。

union
{
int i;
char* s;
float f;
}place;
int tag;//标志位

int main()
{
place.s="ID";
tag=1;
if(tag==1)
printf("%s",place);
}

除了EXP->ID,EXP->常数,每一条基本表达式规则要有一个输出四元式的操作,emit。

代码更改:
由于用union导致了内存的错乱(具体什么原因,过后还需要研究),因此将union去掉,4种类型都设置为语法树结点的成员,这样一来可能浪费了空间,但是能保证代码的正确性。

一、【实验目的】

通过在词法分析,语法分析和语义分析程序的基础上,将C—源代码翻译成中间代码,认识中间代码的表示形式和生成中间代码的原理和技巧,掌握对简单赋值语句的翻译过程,从而达到对编译器的编译原理有更深的理解,提高代码能力和代码修养。

二、【实验任务】

在词法分析,语法分析和语义分析程序的基础上,将C—源代码翻译成中间代码,中间代码的表示采用四元式,本实验中只对基本表达式进行翻译,即将以下规则翻译成四元式:表达式赋值语句,两个表达式的逻辑与,逻辑或,加,减,乘,除。

Exp:Exp ASSIGNOP Exp 
|Exp AND Exp 
|Exp OR Exp 
|Exp PLUS Exp 
|Exp MINUS Exp 
|Exp STAR Exp 
|Exp DIV Exp 
|ID 
|INTEGER 
|FLOAT 
;

三、【实验程序】

1,程序的编译说明

(1)程序总共包含4个文件gramtree_v1.h gramtree_v1.c gramtree.l gramtree_v1.y
gramtree_v1.h gramtree_v1.c定义和实现了:
1)语法树结构体,语法树创建函数,语法树遍历函数
2)变量符号表结构体,变量符号表的建立函数,查找变量是否已定义的函数,查找变量类型的函数
3)函数符号表结构体,函数符号表的建立函数,查找函数是否已定义,查找函数类型,查找函数形参个数。
4)数组符号表,数组符号表的建立函数,查找数组是否已定义的函数,查找数组类型的函数
5)结构体符号表,结构体符号表的建立函数,查找结构体是否已定义的函数
6)关于生成中间表达式的2个函数:newtemp()和emit()。newtemp生成了一个临时变量,emit将一个语法结点的place属性输出到屏幕。
(2)gramtree.l是flex词法分析模块
(3)gramtree_v1.y是bison语法分析模块。
在bison文件中,在对应的变量定义,函数定义,数组定义 ,结构体定义,变量调用,函数调用,数组调用,结构体调用对应的语法规则中,建立或者查询对应的符号表,实现语义分析和特定错误的检测 然后输出错误类型和错误行号。
(4)编译时使用Makefile文件:
1)编写Makefile文件内容,执行:vim Makefile

2,实验分析

(1)要给每一个语法树结点增加一个place属性,这个place属性的值根据以下规则计算。
1)如果EXP->ID,不需要为ID建立临时变量,place的值就等于变量ID的名字;
2)如果EXP->INTEGER|FLOAT,即推出常数,不需要为常数建立临时变量,place的值就等于常数值。
3)对于规则E->E1=E2,(E1->ID), E->E1&&E2,E->E1||E2,E->E1+E2,E->E1-E2,E->E1*E2,E->E1/E2:
step1:生成一个临时变量.
临时变量的名字符合t加上一个数字的表示形式,E.place的值就等于生成的临时变量;
step2:输出E.place->输出E1.place->输出操作符->输出E2.place。
这样就完成了一条四元式的生成和输出。

(2)属性place的设置
在语法树的叶子结点存在两种place,一种是ID,即变量名;另一种是整数或者浮点数,这两种place值都和临时变量无关,不需要建立临时变量的操作。
place的值对应到四元式中,有以下3种情况:
1)常数
2)源程序中变量名ID
3)为生成四元式而建立的临时变量名。

生成临时变量的方法
直接将place设置成整数类型,再设置一个标记数组used[],用了一个整数i,就在标记数组中将used[i]=-1,表示ti已经被用过了。这样一来,创建一个临时变量,相当于设置place的值,然后更改used[]数组的值。
于是place的数据类型有以下3种可能值。
1)int i(对应INTEGER)
2)char* (对应变量名ID)
3)float (对应FLOAT)
4)int t;对应临时变量编号
为了能识别place的值是4种中哪一种,再为语法树结点增添一个ptag,1为int,2为float,3为char,4为临时变量编号。

3,实验代码

(1)在语法树结点中增加以下5个成员:place的4种数据类型,和一个用以标志类型的整型变量ptag。

struct ast
{
/*用于生成中间代码的变量,place的4种类型,*/
    int i;//Integer
    float f;//FLOAT
    char id[30];//变量名ID
    int t;//临时变量t编号

    int ptag;//用以标志place的类型1,2,3,4
}

(2)生成临时变量的函数newtemp()和输出E.place的函数emit()

/*关于中间代码的实现函数:创建临时变量&输出四元式*/
int newtemp()//创建临时变量
{
    int i=0;
    for(i=0; i<100; ++i)//在used[]中找到一个没有被用过的编号
    {
        if(used[i]==0)
        {
            used[i]=i+1;
            return i;//返回的编号就是t的编号
        }
    }
}

void emit(struct ast* tp)//输出四元式
{
    if(tp->ptag==1)//place的值是INTEGER
        printf("%d",tp->i);
    else if(tp->ptag==2)
        printf("%2f",tp->f);//place的值是FLOAT
    else if(tp->ptag==3)
        printf("%s",tp->id);//place的值是ID变量名字
    else//place的值是临时变量编号
        printf("t%d",tp->t);
}

(3)在基本表达式的语义规则中增加:

/*Expressions*/
Exp:Exp ASSIGNOP Exp        /*E1->ID,不需要建立临时变量*/
{
emit($1);//输出E1.place
    printf("=");//输出‘=’
    emit($3);//输出E2.place
    printf("\n");
    }

|Exp AND Exp        /*逻辑与运算:需要建立临时变量*/
    {
    $$->t=newtemp();//E.place等于新创建的临时变量
	emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("&&");//输出‘&&’
    emit($3);//输出E2.place 
    printf("\n");
    }

|Exp OR Exp /*逻辑或运算:需要建立临时变量*/
    {
    $$->t=newtemp();//E.place等于新创建的临时变量
	emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("||");//输出‘||’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp PLUS Exp       /*加法运算:需要建立临时变量*/
    {
    $$->t=newtemp();//E.place等于新创建的临时变量
emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("+");//输出‘+’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp MINUS Exp  /*减法运算:需要建立临时变量*/
    {
    $$->t=newtemp();//E.place等于新创建的临时变量
emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("-");//输出‘-’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp STAR Exp       /*乘法运算:需要建立临时变量*/
    {
    $$->t=newtemp();//E.place等于新创建的临时变量
emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("*");//输出‘*’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp DIV Exp    /*除法运算:需要建立临时变量*/
    {
        $$->t=newtemp();//E.place等于新创建的临时变量
	emit($$);//输出E.place
        printf("=");//输出‘=’
        emit($1);//输出E1.place
        printf("/");//输出‘/’
        emit($3);//输出E2.place
        printf("\n");
        }

    |ID  /*E->ID,不需要建立临时变量*/
    {
    strcpy($$->id,$1->content);//E.place=ID的名字
	$$->ptag=3;//记录E.place的类型为3
    }

    |INTEGER     /*E->INTEGER,不需要建立临时变量*/
    {
    $$->i=$1->value;//E.place=value
	$$->ptag=1;//记录E.place的类型为1
    }

    |FLOAT      /*E->FLOAT,不需要建立临时变量*/
    {
    $$->f=$1->value;//E.place=value
	$$->ptag=2;//记录E.place的类型为2
    }

/*
*Name:gramtree_v1.y
*Author:WangLin
*Created on:2015-10-03
*Version3.0
*Function:bison语法分析&语义分析&基本表达式的中间代码生成(四元式)
*/
%{
#include
#include
# include<string.h> 
#include "gramtree_v1.h"
%}

%union{
struct ast* a;
double d;
}
/*declare tokens*/
%token   INTEGER FLOAT
%token  TYPE STRUCT RETURN IF ELSE WHILE ID SPACE SEMI COMMA ASSIGNOP RELOP PLUS
MINUS STAR DIV AND OR DOT NOT LP RP LB RB LC RC AERROR
%token  EOL
%type   Program ExtDefList ExtDef ExtDecList Specifire StructSpecifire 
OptTag  Tag VarDec  FunDec VarList ParamDec Compst StmtList Stmt DefList Def DecList Dec Exp Args

/*priority*/
%right ASSIGNOP
%left OR
%left AND
%left RELOP
%left PLUS MINUS
%left STAR DIV
%right NOT 
%left LP RP LB RB DOT
%%
Program:ExtDefList {$$=newast("Program",1,$1);}
	;
ExtDefList:ExtDef ExtDefList {$$=newast("ExtDefList",2,$1,$2);}
	| {$$=newast("ExtDefList",0,-1);}
	;
ExtDef:Specifire ExtDecList SEMI    
	{
	$$=newast("ExtDef",3,$1,$2,$3);
	if(exitvar($2))
	printf("Error type 3 at Line %d:Redefined Variable '%s'\n",yylineno,$2->content);
	else newvar(2,$1,$2);
	}    
	|Specifire SEMI	{$$=newast("ExtDef",2,$1,$2);}
	|Specifire FunDec Compst
	{
	$$=newast("ExtDef",3,$1,$2,$3);
	 newfunc(4,$1);
	}
	;
ExtDecList:VarDec {$$=newast("ExtDecList",1,$1);}
	|VarDec COMMA ExtDecList {$$=newast("ExtDecList",3,$1,$2,$3);}
	;
/*Specifire*/
Specifire:TYPE {$$=newast("Specifire",1,$1);}
	|StructSpecifire {$$=newast("Specifire",1,$1);}
	;
StructSpecifire:STRUCT OptTag LC DefList RC 
	{
	$$=newast("StructSpecifire",5,$1,$2,$3,$4,$5);
	if(exitstruc($2))
		printf("Error type 16 at Line %d:Duplicated name '%s'\n",yylineno,$2->content);
	else newstruc(1,$2);
	}
	|STRUCT Tag {
	$$=newast("StructSpecifire",2,$1,$2);
	if(!exitstruc($2))
	printf("Error type 17 at Line %d:undefined structure '%s'\n",yylineno,$2->content);
	}
	;
OptTag:ID {$$=newast("OptTag",1,$1);}
	|{$$=newast("OptTag",0,-1);}
	;
Tag:ID {$$=newast("Tag",1,$1);}
	;
/*Declarators*/
VarDec:ID {$$=newast("VarDec",1,$1);$$->tag=1;}
	| VarDec LB INTEGER RB {$$=newast("VarDec",4,$1,$2,$3,$4);$$->content=$1->content;$$->tag=4;}
	;
FunDec:ID LP VarList RP 
	{$$=newast("FunDec",4,$1,$2,$3,$4);$$->content=$1->content;
	if(exitfunc($1))printf("Error type 4 at Line %d:Redefined Function '%s'\n",yylineno,$1->content);
	else newfunc(2,$1);}
	|ID LP RP
	 {$$=newast("FunDec",3,$1,$2,$3);$$->content=$1->content;
	if(exitfunc($1))printf("Error type 4 at Line %d:Redefined Function '%s'\n",yylineno,$1->content);
        else newfunc(2,$1);}
	;
VarList:ParamDec COMMA VarList {$$=newast("VarList",3,$1,$2,$3);}
	|ParamDec {$$=newast("VarList",1,$1);}
	;
ParamDec:Specifire VarDec {$$=newast("ParamDec",2,$1,$2);newvar(2,$1,$2);newfunc(1);}
    ;

/*Statement*/
Compst:LC DefList StmtList RC {$$=newast("Compst",4,$1,$2,$3,$4);}
	;
StmtList:Stmt StmtList{$$=newast("StmtList",2,$1,$2);}
	| {$$=newast("StmtList",0,-1);}
	;
Stmt:Exp SEMI {$$=newast("Stmt",2,$1,$2);}
	|Compst {$$=newast("Stmt",1,$1);}
	|RETURN Exp SEMI {$$=newast("Stmt",3,$1,$2,$3);
		newfunc(3,$2);}
	|IF LP Exp RP Stmt {$$=newast("Stmt",5,$1,$2,$3,$4,$5);}
	|IF LP Exp RP Stmt ELSE Stmt {$$=newast("Stmt",7,$1,$2,$3,$4,$5,$6,$7);}
	|WHILE LP Exp RP Stmt {$$=newast("Stmt",5,$1,$2,$3,$4,$5);}
	;
/*Local Definitions*/
DefList:Def DefList{$$=newast("DefList",2,$1,$2);}
	| {$$=newast("DefList",0,-1);}
	;
Def:Specifire DecList SEMI {$$=newast("Def",3,$1,$2,$3);
	if(exitvar($2)||exitarray($2))  printf("Error type 3 at Line %d:Redefined Variable '%s'\n",yylineno,$2->content);
        else if($2->tag==4) newarray(2,$1,$2);
	else newvar(2,$1,$2);}
	;
DecList:Dec {$$=newast("DecList",1,$1);}
	|Dec COMMA DecList {$$=newast("DecList",3,$1,$2,$3);$$->tag=$3->tag;}
	;
Dec:VarDec {$$=newast("Dec",1,$1);}
	|VarDec ASSIGNOP Exp {$$=newast("Dec",3,$1,$2,$3);$$->content=$1->content;}
	;
/*Expressions*/
Exp:Exp ASSIGNOP Exp/*E1->ID,不需要建立临时变量*/
	{$$=newast("Exp",3,$1,$2,$3);
    if($1->type!=NULL&&$3->type!=NULL&&strcmp($1->type,$3->type)){printf("Error type 5 at Line %d:Type mismatched for assignment.\n ",yylineno);}
    if($1->tag==3)printf("Error type 6 at Line %d:the left-hand side of an  assignment must be a variable.\n ",yylineno);
    emit($1);//输出E1.place
    printf("=");//输出‘=’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp AND Exp /*与运算:需要建立临时变量*/
    {$$=newast("Exp",3,$1,$2,$3);
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("&&");//输出‘&&’
    emit($3);//输出E2.place 
    printf("\n");
    }

    |Exp OR Exp/*或运算:需要建立临时变量*/
    {$$=newast("Exp",3,$1,$2,$3);
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("||");//输出‘||’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp RELOP Exp{$$=newast("Exp",3,$1,$2,$3);}

    |Exp PLUS Exp/*加法运算:需要建立临时变量*/
    {$$=newast("Exp",3,$1,$2,$3); 
	if($1->type!=NULL&&$3->type!=NULL&&strcmp($1->type,$3->type)){printf("Error type 7 at Line %d:Type mismatched for operand.\n ",yylineno);}
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("+");//输出‘+’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp MINUS Exp/*减法运算:需要建立临时变量*/
    {$$=newast("Exp",3,$1,$2,$3);
	if($1->type!=NULL&&$3->type!=NULL&&strcmp($1->type,$3->type)){printf("Error type 7 at Line %d:Type mismatched for operand.\n ",yylineno);}
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("-");//输出‘-’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp STAR Exp/*乘法运算:需要建立临时变量*/
     {$$=newast("Exp",3,$1,$2,$3);
	if($1->type!=NULL&&$3->type!=NULL&&strcmp($1->type,$3->type)){printf("Error type 7 at Line %d:Type mismatched for operand.\n ",yylineno);}
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("*");//输出‘*’
    emit($3);//输出E2.place
    printf("\n");
    }

    |Exp DIV Exp/*除法运算:需要建立临时变量*/
     {$$=newast("Exp",3,$1,$2,$3);
	if($1->type!=NULL&&$3->type!=NULL&&strcmp($1->type,$3->type)){printf("Error type 7 at Line %d:Type mismatched for operand.\n ",yylineno);}
	$$->t=newtemp();//E.place等于新创建的临时变量
    emit($$);//输出E.place
    printf("=");//输出‘=’
    emit($1);//输出E1.place
    printf("/");//输出‘/’
    emit($3);//输出E2.place
    printf("\n");
    }

    |LP Exp RP{$$=newast("Exp",3,$1,$2,$3);}
	|MINUS Exp {$$=newast("Exp",2,$1,$2);}
    |NOT Exp {$$=newast("Exp",2,$1,$2);}
    |ID LP Args RP {$$=newast("Exp",4,$1,$2,$3,$4);
	if((!exitfunc($1))&&(exitvar($1)||exitarray($1)))printf("Error type 11 at Line %d:'%s'is not a function.\n ",yylineno,$1->content);
	else if(!exitfunc($1)){printf("Error type 2 at Line %d:undefined Function %s\n ",yylineno,$1->content);}
	else if(pnumfunc($1)!=rpnum)printf("Error type 9 at Line %d:parameters num mismatched for function: %s\n ",yylineno,$1->content);}
    |ID LP RP {$$=newast("Exp",3,$1,$2,$3);}
    |Exp LB Exp RB 
	{$$=newast("Exp",4,$1,$2,$3,$4);
	if(strcmp($3->type,"int"))printf("Error type 12 at Line %d:%.1f is not a integer.\n",yylineno,$3->value);
	if((!exitarray($1))&&(exitvar($1)||exitfunc($1)))printf("Error type 10 at Line %d:'%s'is not an array.\n ",yylineno,$1->content);
    else if(!exitarray($1)){printf("Error type 2 at Line %d:undefined Array %s\n ",yylineno,$1->content);}}
    |Exp DOT ID 
	{$$=newast("Exp",3,$1,$2,$3);if(!exitstruc($1))printf("Error type 13 at Line %d:Illegal use of '.'.\n",yylineno);}

    |ID /*E->ID,不需要建立临时变量*/
    {$$=newast("Exp",1,$1);
	if(!exitvar($1)&&!exitarray($1))
	{printf("Error type 1 at Line %d:undefined variable %s\n ",yylineno,$1->content);}
	else $$->type=typevar($1);
    strcpy($$->id,$1->content);//E.place=ID的名字
	$$->ptag=3;//记录E.place的类型为3
    }

    |INTEGER /*E->INTEGER,不需要建立临时变量*/
    {$$=newast("Exp",1,$1);$$->tag=3;$$->type="int";
	$$->i=$1->value;//E.place=value
    $$->ptag=1;//记录E.place的类型为1
    }

    |FLOAT/*E->FLOAT,不需要建立临时变量*/
    {$$=newast("Exp",1,$1);$$->tag=3;$$->type="float";$$->value=$1->value;
    $$->f=$1->value;//E.place=value
	$$->ptag=2;//记录E.place的类型为2
    }
    ;

Args:Exp COMMA Args {$$=newast("Args",3,$1,$2,$3);rpnum+=1;}
    |Exp {$$=newast("Args",1,$1);rpnum+=1;}
    ;
%%

四、 【实验结果】

1.输入内容: test1.c的内容如下:

[root@localhost IR]# cat test1.c
int main()
{
float x;
float y;
float z;
x=1.5;
y=1.6;
z=x+y;
z=x-y;
z=x*y;
z=x/y;
z=x&&y;
z=x||y;

z=x+y-1.0-2.0/y;
z=x*2.5+x*y-x/2.0;

z=x||y+x&&y;
}

2.输出内容:注释和空行都是为了直观加上的,不是输出的一部分。

[root@localhost IR]# cat test1.c|./a.out 
x=1.500000      /*对应x=1.5;*/    
y=1.600000      /*对应y=1.6;*/    

t0=x+y          /*对应z=x+y;*/    
z=t0

t1=x-y          /*对应z=x-y;*/    
z=t1

t2=x*y          /*对应z=x*y;*/    
z=t2

t3=x/y          /*对应z=x/y;*/        
z=t3

t4=x&&y     /*对应z=x&&y;*/   
z=t4

t5=x||y         /*对应z=x||y;*/   
z=t5

t6=x+y          /*对应z=x+y-1.0-2.0/y;*/  
t7=t6-1.000000
t8=2.000000/y
t9=t7-t8
z=t9

t10=x*2.500000      /*对应z=x*2.5+x*y-x/2.0;*/    
t11=x*y
t12=t10+t11
t13=x/2.000000
t14=t12-t13
z=t14

t15=y+x             /*对应z=x||y+x&&y;*/  
t16=t15&&y
t17=x||t16
z=t17

3.实验结果分析:
1)从输出结果可以看出,程序正确处理了E->ID,E->常数,E->E1操作符E2的各种情况;E->ID时,输出的E.place就是ID的名字,E->常数时输出的E.place就是常数的值,如表达式x=1.5和y=1.6。E->E1操作符E2时,E.place是临时变量名。

2)正确处理表达式中的优先级。
如 z=x*2.5+x*y-x/2.0;由于乘法和除法的优先级高于加法和减法,因此先对乘法和除法进行计算,最后算加和减。对于表达式z=x||y+x&&y;由于加减的优先级高于逻辑与和逻辑或,因此程序先计算加和减,再计算逻辑与和逻辑或。

3)正确处理了临时变量的编号。

五、【实验总结】

1.place的设置—Union的舍弃
由于place的数据类型可能有4种,但这4种并不是同时出现的,一次只是一种类型,这和Union(共同体)的思想恰好一致,因此一开始想把place应该是一个Union。
union
{
int i;//Integer
float f;//FLOAT
char id[30];//变量名ID
int t;//临时变量t编号
}place;
但在实践的过程中,union导致了内存的错乱(具体什么原因,过后还需要研究),因此只能将union舍弃掉,4种类型都直接设置为语法树结点的成员,这样一来可能浪费了空间,但是能保证代码的正确性。

2.临时变量编号数组used[]的使用
used[]的使用是一个比较巧妙的设计,既不占用空间,操作也很简单,但是这只是针对于本次实验只对基本表达式进行翻译的设计,如果提升实验难度,要求对语句等进行翻译,这种设计多半是行不通的,需要再寻求一种更强大更健壮的设计。

你可能感兴趣的:(OS/Compilers)