编译原理实验三四.ppt

编译原理实验三，四 语义分析 语义分析的要求请参看The Decaf Language。例子见后。 语义分析需要用到Bison/Yacc语言中的“语义值类型定义”和“语义动作”使用部分。（教材附录有，不再讲述） 语义分析的例子 Type equivalence and compatibility Two base types are equivalent if and only if they are the same exact type. BoolExpr : Expr { $$ = CheckBoolExprUsage(@1, $1); } CheckBoolExprUsage()中检查$1即Expr的type是否是bool类型的。 变量的类型 在pp3中我们要获得变量的类型。 在我们给的StartFiles里面，为了简单起见，我们将expr、SimpleStmt等也定义为type类型。同学们可自行选择。 Scope—符号表 Scope类起到符号表的作用。在scope.h中定义了static Scope* stack[MaxNestLevel]; 每进入一个scope(Global,Function,Class,Local)就会在stack顶端加入一项，退出这个scope时就把该项退栈。Scope内的标识符都加入scope内部的加入hashtable中。 退出一个scope时，打印出这个scope内的所有标识符及其信息。 四种scope Global Scope 全局变量，类定义，main函数。 Local Scope 函数内部的临时变量。 Class Scope 类内部的成员变量和方法。 Function Scope 函数的参数。 int test(int c, int d); void main() { int c; string s; s = hello; c = test(4, 5); Print(c); Print(s); } int test(int a, int b) { return a + b; } 实验三要求 实验要求：完成语义分析，结果同sample一致，扩展不做要求。 上交日期：三周以后即12.8日晚12:00上载到166.111.68.86 compiler/soft 提交方法：同以前一样。 欢迎同学用不同的方法实现相同的功能。 如自己设计符号表、类的实现等。 实验四 代码生成 TAC指令 Variable declarations Assignment Arithmetic Relational/equality/logical Labels and Branches Function/method calls Function definitions Memory references Array indexing Object fields method dispatch Miscellaneous Data specification 简单的例子 void main (){ Print(“hello world”); } Main: BeginFuncWithParams; Var _t0; _t0 = “hello world”; Lcall _PrintString(_t0); EndFunc DeclList - Type - Void Formals - Constant - stringConstant Expr - Constant Expr - Expr PrintStmt - Print ( ExprList ) Stmt - PrintStmt StmtList - StmtList Stmt StmtBlock - { StmtList } FunctionDefn - Type identifier ( Formals) StmtBlock Decl - FunctionDefn DeclList - DeclList Decl Program - DeclList Main: BeginFuncWithParams; Var _t0; _t0 = “hello world”; Lcall _PrintString(_t0); EndFunc 更复杂的表达式 void main(){ int b; Int a; b = 3; a = 12; a = (b*3)/6; } Main: BeginFuncWithParams; Var b; Var a; Var _t0; _t0 = 3; b = _t0; Var _t1; _t1 = 12; a = _t1; _t2 =