第六章 语义分析及中间代码生成.ppt

语义分析 通常包括： （1）类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程.，编译程序必须报告不符合类型系统的信息。 （2）控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的这样的语句，则就报错。 （3）一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。 （4）相关名字检查。有时，同一名字必须出现两次或多次。例如，Ada 语言程序中，循环或程序块可以有一个名字，出现在这些结构的开头和结尾，编译程序必须检查这两个地方用的名字是相同的。 (5) 名字的作用域分析 如何实现语义分析？ 语法制导翻译中的方法和技术应用于语义分析中。 四元式？ 100: if ab goto 103 101: T1=0 102: goto 104 103: T1=1 104: 104: if cd goto 107 105: T2=0 106: goto 108 107: T2=1 108: if ef goto 111 109: T3=0 110: goto 112 111: T3=1 112: T4=T2 and T3 113: T5=T1 or T4 ab and true 如何翻译？ 7.4.2 控制流语句中的布尔表达式的翻译 基本思想: 假定E 形如a＜b,则将生成如下的 E的代码： if a＜b goto goto 假定E 形如a＜b and c d,则将生成如下E的代码： 100: if a＜b goto 102 101: goto 102: if cd goto 103: goto 假定E 形如a＜b or c d,则将生成如下E的代码： 100: if a＜b goto 101: goto 102 102: if cd goto 103: goto 真假出口？ 真假出口？ 假定E 形如 not a＜b and c d, 则将生成如下E的代码： 100: if a＜b goto 101: goto 102 102: if cd goto 103: goto 真假出口？ 为实现一遍扫描，采用回填技术 先产生暂时没有填写目标标号的转移指令。 对于每一条这样的指令作适当的记录， 一旦目标标号被确定下来，再将它“回填”到相应的指令中。 使用回填翻译布尔表达式 布尔表达式文法： （1）E→E1 or M E2 （2） |E1 and M E2 （3） |not E1 （4） |(E1) （5） |id1 relop id2 （6） |true （7） |false （8）M→ε 插入非终结符号M是为了引入一个语义动作，以便在适当的时候获得即将产生的下一个四元式的标号 翻译模式用到如下三个函数： 1．makelist(i)：创建一个仅包含i的新表，i 是四元式代码序列的一个标号。 2．merge(p1，p2)：连接由指针p1和p2指向 的两个表并且返回一个指向连接后的表的 指针。 3．backpatch（p，i）：把i作为目标标号回 填到p所指向的表中的每一个转移指令中 去。 图 使用一遍扫描的布尔表达式的翻译模式 E?E1 OR ME2 {bac