LGY_BY08语法制导翻译及中间代码生成.ppt

第8章 语法制导翻译和中间代码生成 赖国勇 攀枝花学院计算机学院 本章内容重点难点教学要求 教学内容： 语义分析概述；属性文法；中间代码生成。 重点：三种中间语言：四元式、三元式、逆波兰式。 难点：三种中间语言：四元式、三元式、逆波兰式。 教学要求 1、了解：属性文法。 2、理解：语义分析的功能。 3、掌握：逆波兰式、三元式和树形表示、四元式。 第8章_目录 8.1 语义处理概述 8.2 属性文法，语法制导翻译 8.3 中间代码 语义分析的基础 1、语义分析的内容？ 2、静态语义分析的主要任务？ 3、动态语义分析的主要任务？ 4、语义的形式化描述？ 语义处理（语义分析和中间代码生成） 语言的语义和编译的语义处理工作 静态语义：语法规则的良形式条件。 静态语义检查：审查静态语义。 动态语义：程序单元执行的操作。 动态语义处理：生成中间(目标)代码。 8.1语义处理概述 编译阶段-语义处理 程序设计语言的语义 静态语义是对程序约束的描述，这些约束无法通过抽象语法规则来妥善地描述，实质上就是语法规则的良形式条件，它可以分为类型规则和作用域/可见性规则两大类。例如： 类型相容性，变量先声明后引用，名称相关要求。 动态语义 程序单位描述的计算。 编译程序的语义处理工作 静态语义审查。 解释执行动态语义。 静态语义审查 1、类型检查。 2、控制流检查。控制流语句必须使控制转移到合法的地方。 3、一致性检查。 4、上下文相关性检查。 5、名字的作用域分析。 解释执行动态语义 （计算）生成代码（中间代码或目标代码） 例 8.1 语义处理的描述 属性文法：描述语义规则。 语法制导翻译：在语法分析的同时，执行语义子程序： 检查静态语义。 翻译(生成)中间(目标)代码。 语义处理的描述-例 8.2 P→D；E D→D；D |id:T T→char | integer | array [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)} 类型检查的语义描述-例 8.2 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} 静态语义分析的环境 符号表（将在第9章详细讲述）： 为语义分析提供类型、作用域等信息。 为代码生成提供类型、作用域、存储类别、存储（相对）位置等信息。 8.2 属性文法，语法制导翻译 8.2.1属性文法 8.2.2 两种属性 8.2.3 属性计算方法 8.2.4 语法制导翻译 8.2.1属性文法 属性文法A(attribute grammar)是一个三元组：A=(G，V，F)，其中： G：是一个上下文无关文法。 V：有穷的属性集，每个属性与文法的一终结符或非终结符相联。 F：关于属性的属性断言或谓词集。每个断言与一个产生式相联。而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性。 属性文法 属性文法是允许为每个终结符和非终结符配备一些属性的文法。 它既能描述程序设计语言的语法，又为其语义描述提供了手段。 属性文法由D.E.Knuth于1968年引进. 后来才被用于编译程序的设计。 例 8.4 属性文法 表达式文法 E—T+T| T or T T—n | b E?T1 + T2 {T1