第八章语法制导翻译和中间代码生成58.pptVIP

第八章 语法制导翻译和中间代码生成 8.0 语义处理概述 8.0 语义处理概述 语义处理的任务： 动态语义处理 生成中间/目标代码，对表达式的求值等。 静态语义检查 类型检查:验证程序中执行的每个操作是否遵守语言的类型系统。 控制流检查:控制流语句必须使控制转移到合法的地方。例如C中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的此类语句就报错。 8.0 语义处理概述 一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同等。 名字的作用域分析 8.0 语义处理概述 语义处理的实现： 属性文法：包含了一系列语义规则的上下文无关文法。 语法制导翻译：在语法分析的同时，执行语义规则描述的动作： 检查静态语义 执行动态语义定义的动作 8.1 属性文法 属性文法是实际应用中比较流行的语义描述方法。 1 属性文法概念 2 基于属性文法的处理方法 3 S-属性文法的自下而上计算 L-属性文法及其翻译实现 8.1 属性文法 G: 是一个上下文无关文法。 V: 有穷的属性集，与每个文法符号相联，代表该文法符号的类型、值、代码序列、符号表内容等相关信息。属性与变量一样，可以进行计算和传递。属性加工的过程就是语义处理的过程。 F: 关于属性的断言或一组属性的计算规则 (语义规则) 。 断言或语义规则与一个产生式相联，引用该产生式左端或右端的终结符或非终结符相联的属性。 8.1 属性文法 属性分为综合属性和继承属性。综合属性用于“自下而上”传递信息，而继承属性用于“自上而下”传递信息。 属性文法中，对应于每个产生式A??都有一套与之相关联的语义规则，每条规则的形式为b:=f(c1,c2…ck)，其中f是一个函数，b和c1,c2…ck是该产生式文法符号的属性。则综合（继承）属性的概念可定义为： (1)如果b是A的一个属性，c1,c2…ck是产生式右部文法符号的属性或A的其它属性,则称b是A的综合属性 (2)如果b是产生式右部某个文法符号X的一个属性,并且c1,c2…ck是A或产生式右边任何文法符号的属性,则称b是X 的继承属性 以上两种情况都称属性b依赖于属性c1,c2…ck 小结： 1) 非终结符既可有综合属性也可有继承属性，但文法开始符号没有继承属性。 2) 终结符只有综合属性,它们由词法程序提供。 3) 语义规则所描述的工作包括：属性计算、静态语义检查、符号表操作、代码（中间）生成等。 例.1: 简单算术表达式求值的语义描述（综合属性的例子) 非终结符E,T及F都有一个综合属性val,终结符号digit有一个综合属性。与产生式L→E对应的语义规则仅是打印由E产生的算术表达式的值，可认为这条规则定义了L的一个虚属性。 设表达式为 3*5+4 ，则语义动作打印数值19 继承属性 一个结点的继承属性值是由此结点的父结点和/或兄弟结点的某些属性来决定的。 例2: 说明语句的属性文法 (继承属性L.in) 基于属性文法的处理过程(语法制导翻译)是：对单词符号串进行语法分析，构造语法分析树，然后根据需要构造属性依赖图，遍历语法树并在语法树的各结点处按语义规则进行计算 输入符号串 ? 分析树 ? 属性依赖图 ? 语义规则的计算顺序 依赖图 依赖图是一个有向图，用于描述分析树中的属性和属性间的相互依赖关系。 依赖图的构造算法： for 分析树中每一个结点n do for 结点的文法符号的每一个属性a do 为a在依赖图中建立一个结点； for 分析树中每一个结点n do for 结点n所用产生式对应的每一个语义规则 b:=f(c1,c2,…ck) do for i :=1 to k do 从ci结点到b结点构造一条有向边 依赖图 例2：根据以下说明语句属性文法，构造句子Real id1,id2,id3的依赖图。 例2 Real id1,id2,id3分析树的依赖图 属性的计算顺序 一个依赖图的任何拓扑排序都给出一个分析树中结点的语义规则计算的有效顺序。 树遍历的属性计算方法设语法树已经建立起了，即可以某种次序（如深度优先）遍历语法树，