语义分析与中间代码生成.pptx

S.PO.P语义分析、生成中间代码生成目标程序代码优化语法分析程序词法分析程序错误处理符号表管理

第8章语义分析与中间代码生成要求明确语义分析的任务明确属性文法和语法制导翻译的含义明确自底向上和自顶向下语法制导翻译的区别和特点明确生成中间代码的目的，中间代码的几种形式教学目标

8.1语义分析的任务8.2语法制导翻译8.3中间代码8.4简单赋值语句的翻译8.5布尔表达式的翻译教学内容

词法分析，语法分析：解决单词和语言成分的识别及词法和语法结构的检查。语法结构可形式化地用一组产生式来描述。给定一组产生式，我们能够很容易地将其分析器构造出来。本章要介绍的是语义分析和中间代码生成技术。程序语言中间代码目标代码翻译翻译

8.1语义分析的任务根据语义规则对识别出的各种语法成份分析其含义，进行初步翻译，生成相应的中间代码或直接生成目标代码。（1）确定数据类型（2）语义检查动态语义检查：在运行时刻进行静态语义检查：在编译时完成（3）识别含义，进行真正的翻译

类型检查。控制流检查，确保控制语句有合法的转向点。例如，C语言中的break语句使控制跳离包括该语句的最小的switch，while或for语句。如果不存在包括它的这样的语句，则应报错。静态语义检查

No.1一致性检查。很多情况下要求对象只能被定义一次。例如，Ｃ语言中规定一个标识符在同一作用域中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等。No.2相关名字检查。有的语言中有时规定，同一名字必须出现两次或多次。例如，Ada语言中，循环或程序块可以有一个名字，它出现在这些结构的开头和结尾，如同语句括号一般，编译程序必须检查它们的配对情况。静态语义检查

实际应用中比较流行的语义分析方法：基于属性文法的语法制导翻译方法01语法制导翻译02

8.2.1属性文法属性文法是Knuth在1968年提出的属性文法的特点是一种接近形式化的语义描述方法长于描述静态语义、短于描述动态语义每个语法符号有相应的属性符号每个产生式有相应计算属性的规则属性变量:=属性表达式

附加了一组属性和运算（语义）规则的文法文法符号X的属性t常用X.t来表示语义规则是根据产生式所蕴涵的语义操作建立起来的，并与语义分析的目标有关不同的产生式对应不同的语义规则不同的分析目标也对应不同的语义规则1.属性的表示2.语义规则的表示语义信息属性之间的关系静态语义检查、符号表操作、代码生成及打印各种错误信息

非终结符E、T及F都有一个综合属性val,符号i有一个综合属性，它的值由词法分析器提供。某些非终结符加下标是为了区分一个产生式中同一非终结符多次出现语义规则EE1+TETTT1*FTFF(E)FiE.val=E1.val+T.valE.val=T.valT.val=T1.val?F.valT.val=F.valF.val=E.valF.val=i.lexval产生式例8.1

属性的设定根据文法符号的语义，为文法符号设置属性，用来表示文法符号的语义终结符使用单词的属性（id.val）保留字：if,begin,function,……常数：40.12,232,80,“TCP/IP”标识符：sum,tcc,id语法变量根据实际需要设定属性表达式E：E.type，E.val

8.2.2语法制导翻译的过程语法制导翻译：将语义规则与语法规则相结合，在语法分析的过程中通过执行语义动作，计算语义属性值，从而完成预定的翻译工作。Yacc利用的就是语法制导翻译方法，它使用符号$$表示产生式左端的属性，$n表示存取产生式右端第n个文法符号相联的属性expr:expr+expr {$$=$1+$3;}

自底向上语法制导翻译01自顶向下语法制导翻译02语法制导翻译的实现03

语法制导翻译分为两种处理方法：语法制导翻译分为两种处理方法：（1）语法制导定义（自底向上）：对每个产生式编制一个语义子程序，在进行语法分析的过程中，当一个产生式获得匹配时，就调用相应的语义子程序实现语义检查与翻译。这种实现方案隐藏了其中语义规则的计算次序等实现细节，不必规定翻译顺序。（2）翻译方案（自顶向下）：在产生式右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作。这是一种动作与分析交错的实现方案。

从分析树得到描述结点属性间依赖关系的依赖图，由依赖图得到语义规则的计算次序分析输入符号串，建立分析语法树进行语义规则的计算，得到翻译结果输入符号串?分析树?执行语义规则?翻译结果翻译步骤

8.2.3语