北航编译原理讲义及试题编译原理实验三，四讲稿XXXX1.pptxVIP

编译原理实验三，四语义分析通常包括：（1）类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程.，编译程序必须报告不符合类型系统的信息。（2）控制流检查。控制流语句必须使控制转移到合法的地方。（3）一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析语义分析语义分析的要求请参看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内的所有标识符及其信息。四种scopeGlobal 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;}Exiting local scope. Contents: c: (line 4) variable , type int s: (line 5) variable , type stringExiting function main scope. Contents: emptyExiting local scope. Contents: emptyExiting function test scope. Contents: a: (line 13) variable , type int b: (line 13) variable , type intExiting global scope. Contents: main: (line 3) function test: (line 13) function Int cString sMain Local ScopeEmptyMain Function ScopeGlobalmain实验三要求实验要求：完成语义分析，结果同sample一致，扩展不做要求。上交日期：三周以后即12.8日晚12:00上载到166.111.68.86 compiler/soft提交方法：同以前一样。欢迎同学用不同的方法实现相同的功能。如自己设计符号表、类的实现等。实验四 代码生成TAC指令Variable declarationsAssignmentArithmeticRelational/equality/logicalLabels and BranchesFunction/method callsFunction definitionsMemory referencesArray indexingObject fields method dispatchMiscellaneous Data specification简单的例子void main (){ Print(“hello world”);}Main:BeginFuncWithParams;Var _t0;_t0 = “hello world”;Lcall _PrintString(_t0);EndFuncMain:BeginFuncWithParams;Var _t0;_t0 = “hello world”