实验五+中间代码生成器.doc

实验5 中间代码生成器一、实验目的掌握语法制导定义和翻译的原理和技术，在语法分析器的基础上，加上语义分析，构造一个中间代码生成器。二、实验内容在实验四用Yacc生成的语法分析器基础上加入语义动作，编写一个中间代码生成程序。1文法（见教材附录 A.1，p394）program blockblock decls stmts decls decls decl | edecl type id ;type type num /数组可以不做 | basic /四种基本数据类型 int | float | char | boolstmts stmts stmt | e stmt id = expr ; |if ( bool ) stmt|if ( bool) stmt else stmt|while (bool) stmt |do stmt while (bool ) ; |break ; /break可以不做|blockbool bool | join | joinjoin join & equality | equalityequality equality = rel | equality != rel | relrel expr expr | expr expr | expr = expr | exprexpr expr + term | expr - term | termterm term * unary | term / unary | unary unary !unary | - unary | factorfactor ( expr ) | id | num2中间代码的形式见教材p221222，若有必要，可以适当扩展（加以说明）。三、实验过程3.1符号表的定义和相关函数struct SymbolElemstruct SymbolListSymbolList CreateSymbolList( SymbolList PrevList, int StartAddr )/*创建并返回一个新的符号表（SymbolList就是书上的Env），PrevList是其的上一层符号表*/void DestroySymbolList( SymbolList List )struct SymbolElem * LookUpSymbolList( SymbolList List, char * IdName )/*在符号表List中查找是否存在标识符IdName，如果存在，则返回该结点指针，否则返回空*/struct SymbolElem * LookUpAllSymbolList( SymbolList List, char * IdName )/*从符号表List开始并不断地往上一层符号表中查找是否存在标识符IdName，如果存在，则返回该结点指针，否则返回空*/struct SymbolElem * AddToSymbolList( SymbolList List, char * IdName,int IdType, int Width )/*创建一个新的符号结点,并添加到符号表中，而后返回该结点指针*/3.2常数表的定义和相关函数union ConstVal/*存放一个常数*/struct ConstElem/*常量表*/struct ConstList/*创建并返回常量表*/void CreateConstList( int StartAddr )void DestroyConstList( void )/*在常量表ConstList中查找是否存在常量，如果存在，则返回该结点指针，否则返回空*/struct ConstElem * LookUpConstList( int ConstType, union ConstVal ConstValue, int Width )/*创建一个新的常数结点,并添加到常数表中，而后返回该结点指针*/struct ConstElem * AddToConstList( char * Str, int ConstType, union ConstVal ConstValue, int Width )3.3四元式的定义和函数/*四元式数据结构*/struct Quadruple /*四元式表*/struct QuadTablevoid CreateQuadTable(int StartAddr)void DestroyQuadTable( void )/*当Arg1是变量或临时变量时，Arg1Name是该变量的名称,用于演示时使用，其余参数类同 */int Gen( int Op, int Arg1, int Arg2, int Arg3, char *Arg1Name, char *Arg2Name, char *Arg3Name )/*把四元式所对应的三地址代码写入到文件中*/void WriteQuadTableToFile( const