编译原理及实现技术（郭德贵）Compiler Construction Principles3.pptVIP

Compiler Construction Principles Implementation Techniques Dr. Ying JIN Main Content of Chapter 6 §6. Semantic Analysis 6.1 Overview of Semantic Analysis 6.2 Symbol Table 6.3 Semantic Analysis of Types 6.4 Semantic Analysis of Declaration 6.5 Semantic Analysis of Body 6.6 Attribute Grammar and Action Grammar Semantic Analysis (review) What? Establish symbol table; Check semantic errors; Where? Declaration --- establish symbol table; check “repeat declaration” error; Body -- search symbol table for attributes, check “use without declaration” error and type-related errors; How? Attribute Grammar Action Grammar Parse Tree based semantic analysis; Semantic Analysis of Types (1) Establish internal representation of types (2) Type checking 6.3 Semantic Analysis of Types Some Concepts 类型等价性 类型相容性 What? Where? How? 6.3 Semantic Analysis of Types 类型等价性 按名等价 按结构等价 6.3 Semantic Analysis of Types 类型相容性 具体的编译器定义不同; 常见的三种相容性 操作分量相容 赋值相容性 形参和值参相容性 6.3 Semantic Analysis of Types What? Establish internal representation of types; Check semantic errors in type definition; Where? Type Declaration Variable declaration Parameter declaration Modified Parse Tree Modified Parse Tree (C语言) Semantic Analysis of Types How? According to different types, establish their internal representations; 类型名 ; 基本类型； 枚举类型； 数组类型； 结构类型； 联合类型； 指针类型； 递归类型 6.3 Semantic Analysis of Types 类型名 search symbol table for pointer to the internal representation; 基本类型 predefined stored in symbol table 6.3 Semantic Analysis of Types 枚举类型 General form: (id1, …, idn) Constant identifiers: (id1, intType, constKind, 0) … … (idn, intType, constKind, n-1) Establish list of constant identifiers; Establish internal representation of enumeration; 6.3 Semantic Analysis of Types 数组类型 Get low and up; Get or establish an pointer for internal representation of element type; Calculate size: size = sizeof(ElemTyp)? (Up-Low+1) Establish internal representation of array; 6.3 Semantic Analysis of T