编译原理课件CHAPTER-5(Semantic-Analysis-and-Intermediate-Code-Generation-2).pptVIP

第一章：编译概述 Chapter5Semantic Analysis and Intermediate Code Generation 语义分析概述 语法制导翻译 （Syntax-Directed Translation） 类型确定与类型检查 （Type Checking） 中间代码生成 （Intermediate Code Generation） 5.3 类型确定与类型检查 类型确定：确定标识符所代表对象的数据类型 5.3 类型确定与类型检查 一般的说明语句的处理：P474 （Fig.8.11） 5.3 类型确定与类型检查 例子：处理语句 id1 : real ; id2 : ↑integer 5.3 类型确定与类型检查 * 对说明语句的语义处理不产生中间代码 5.3 类型确定与类型检查 过程说明的处理：P477 （Fig.8.13） 针对允许嵌套过程的语言，如 PASCAL 5.3 类型确定与类型检查 P477 （Fig.8.13） 5.3 类型确定与类型检查 例子：分析如下程序的说明部分 画出分析树，详细说明 1. t1 := mktable ( nil ) push ( t1 , tblptr ) push ( 0, offset ) 2. enter ( top( tblptr), id1.name, T1