编译原理第8章节.pptVIP

第8章 语法制导翻译和中间代码生成 语言的语义和编译的语义处理工作 静态语义：语法规则的良形式条件 静态语义检查：审查静态语义 动态语义：程序单元执行的操作 动态语义处理：生成中间(目标)代码 8.1语义处理概述 静态语义审查 （1）类型检查。根据类型相容性要求，验证程序中执行的每个操作是否遵守语言的类型系统的过程，编译程序必须报告不符合类型系统的信息。 （2）控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的这样的语句，则就报错。 （3）一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。 （4）上下文相关性检查。比如，变量名字必须先声明后引用；而有时，同一名字必须出现两次或多次，例如，Ada 语言程序中，循环或程序块可以有一个名字，出现在这些结构的开头和结尾，编译程序必须检查这两个地方用的名字是相同的。 (5)名字的作用域分析 解释执行动态语义 （计算）生成代码（中间代码或目标代码） 语义处理的描述 属性文法：描述语义规则。 语法制导翻译：在语法分析的同时，执行语义子程序： 检查静态语义 翻译(生成)中间(目标)代码 语义处理的描述-例 P→D；E D→D；D |id:T T→char | integer | aray [num]of T| ↑T E→literal|num | id| E mod E| E [E]|E↑ P代表程序；D代表说明；E代表表达式。如程序语句： key: integer; String:char; key mod 1999 语言本身提供两种基本类型：char和integer。 除此之外还有缺省的基本类型type_ error和void。假定所有数组都从下标1开始 确定标识符类型的语义描述 （1）P→D；E （2）D→D；D （3）D→id:T {addtype (id. Entry, T. type)} （4）T→char {T. Type:= char} （5）T→integer {T. Type:= integer} （6）T→↑T1 {T. Type:= pointer (T1. type)} （7）T→array [num]of T1 {T. Type: = array (num.Val, T1.type)} 类型检查的语义描述 S→id:=E { if id.Type = E.Type Then S.Type := void else S.Type := type_ error} S→if E then S1 {if E.type = boolean then S.Type := S1.type else S. type := type_ error} S→while E do S1 {if E. type = boolean then S. type := S1. Type else S. type := type_ error} 语义处理的实现工具 Yacc(Bison)对语法制导翻译的支持： Yacc(Bison)对语义值的支持 通过$伪变量访问文法符号的语义值。 Yacc(Bison)对语义动作的支持 在语法规则的动作中调用语义子程序：计算语义值，诊断语义错误，生成中间代码等。 Variable : Type T_Identifier { $$ = CreateVariableDeclaration(@1, $1, $2); } ; Type : T_Int { $$ = Type::intType; } ; 静态语义分析的环境 符号表 为语义分析提供类型、作用域等信息。 为代码生成提供类型、作用域、存储类别、存储（相对）位置等信息。 8.2语义形式化-- 语义建模 文法模型---- 属性文法 命令式或操作式模型 ----- 操作语义学 应用式模型-----