北航编译原理讲义及试题编译原理实验三四讲稿-___.ppt

编译原理实验三 四 语义分析 通常包括 1 类型检查 验证程序中执行的每个操作是否遵守语言的类型系统的过程 编译程序必须报告不符合类型系统的信息 2 控制流检查 控制流语句必须使控制转移到合法的地方 3 一致性检查 在很多场合要求对象只能被定义一次 例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等 4 名字的作用域分析 语义分析 语义分析的要求请参看 例子见后 语义分析需要用到Bison Yacc语言中的 语义值类型定义 和 语义动作 使用部分 教材附录有 不再讲述 语义分析的例子 TypeequivalenceandcompatibilityTwobasetypesareequivalentifandonlyiftheyarethesameexacttype BoolExpr Expr CheckBoolExprUsage CheckBoolExprUsage 中检查 1即Expr的type是否是bool类型的 变量的类型 在pp3中我们要获得变量的类型 在我们给的StartFiles里面 为了简单起见 我们将expr SimpleStmt等也定义为type类型 同学们可自行选择 Scope 符号表 Scope类起到符号表的作用 在scope h中定义了staticScope stack MaxNestLevel 每进入一个scope Global Function Class Local 就会在stack顶端加入一项 退出这个scope时就把该项退栈 Scope内的标识符都加入scope内部的加入hashtable中 退出一个scope时 打印出这个scope内的所有标识符及其信息 四种scope GlobalScope全局变量 类定义 main函数 LocalScope函数内部的临时变量 ClassScope类内部的成员变量和方法 FunctionScope函数的参数 inttest intc intd voidmain intc strings s hello c test 4 5 Print c Print s inttest inta intb returna b Exitinglocalscope Contents c line4 variable typeints line5 variable typestringExitingfunction main scope Contents Exitinglocalscope Contents Exitingfunction test scope Contents a line13 variable typeintb line13 variable typeintExitingglobalscope Contents main line3 functiontest line13 function 实验三要求 实验要求 完成语义分析 结果同sample一致 扩展不做要求 上交日期 三周以后即12 8日晚12 00上载到166 111 68 86compiler soft提交方法 同以前一样 欢迎同学用不同的方法实现相同的功能 如自己设计符号表 类的实现等 实验四代码生成 TAC指令VariabledeclarationsAssignmentArithmeticRelational equality logicalLabelsandBranchesFunction methodcallsFunctiondefinitionsMemoryreferencesArrayindexingObjectfieldsmethoddispatchMiscellaneousDataspecification 简单的例子 voidmain Print helloworld Main BeginFuncWithParams Var t0 t0 helloworld Lcall PrintString t0 EndFunc DeclList Type VoidFormals Constant stringConstantExpr ConstantExpr ExprPrintStmt Print ExprList Stmt PrintStmtStmtList StmtListStmtStmtBlock StmtList FunctionDefn Typeidentifier Formals StmtBlockDecl FunctionDefnDeclList DeclListDeclProgram DeclList Main BeginFuncWithParams Var t0 t0 helloworld Lcall PrintString t0 EndFunc 更复杂的表达式 voidmain intb Inta b 3 a 12 a b 3 6 Main BeginFuncWithParams Varb Vara Var t0 t0 3 b t0 Var t1 t1 12 a t1 t2 3 Var t3 t3 b t2 Var t4 t4 6 Var t5 t5 t3 t4 a t5 EndFunc 数组 略 在pp4中 我们取消double 保留integer 而string和其他对象用指针存储 所以所有的变量大小都是4 在计算数组的地址的时候 用公式arr 4 i 注意 数组的下标越界检查 函数调用 注意 Decaf中函数传的参数都是值参 即参数值的改变不影响原来变量的值 类 继承 Decaf的继承比较简单 每个类都有一个隐藏的this变量 子类继承所有父类的变量和方法 但是类内部变量对于除它的子类外是不可访问的 如果子类要重载父类的方法 只需要实现一个和父类相同的方法就可以了 反之亦然 类只能在globalscope中实现 实验要求 说明 6周以后 即16周末12 00之前上交 识