10-北航本科编译原理课件-张莉.pdfVIP

第十章 语义分析和代码生成 • 语义分析的概念 • 语义分析的概念 • 栈式抽象机及其汇编指令 • 栈式抽象机及其汇编指令 • 声明的处理 • 声明的处理 • 表达式的处理 • 表达式的处理 • 赋值语句的处理 • 赋值语句的处理 • 控制语句的处理 • 控制语句的处理 • 过程调用和返回 • 过程调用和返回 北京航空航天大学计算机学院 1 1 假定: • 源语言： 通用的过程语言 • 生成代码：栈式抽象机的（伪）汇编程序 • 翻译方法： 自顶向下的属性翻译 • 语法成分翻译子程序参数设置： – 继承属性为值形参 – 综合属性为变量形参 • 语法成分翻译动作子程序参数设置： – 继承属性为值形参 – 综合属性不设形参，而作为动作子程序的返回值 （由RETURN语句返回） 北京航空航天大学计算机学院 2 2 10.1 语义分析的概念 1、上下文有关分析：即标识符的作用域 2、类型的一致性检查 3、语义处理： 声明语句：其语义是声明变量的类型等，并不要求 做其他的操作。 编译程序的工作是填符号表，登录名字 的特征信息，分配存储。 执行语句：语义是要做某种操作。 语义处理的任务：按某种操作的目标结构 生成代码。 北京航空航天大学计算机学院 3 3 用上下文无关文法只能描述语言的语法结构， 而不能描述其语义。 例如，对于有嵌套子程序结构的程序段： BEGIN … BEGIN αINT I βI END … I … END 若存在文法规则：VAR ::= I 第一次I的归约正确 BEGIN … BLOCK … I ... END 第二次I的归约错误 BEGIN … δVAR ... END δ∈V*且不包含变量I的声明 文法规则应改为：INT I βVAR ::= INT I βI 北京航空航天大学计算机学院 4 4 然而上下文有关文法不仅构造困难， 而且其分析器十分复杂，分析效率又低， 显然是不实用的 因此，通常我们把与语义相关的上下文有关 信息填入符号表中，并通过查符号表中的这些信 息来分析程序的语义是否正确 北京航空航天大学计算机学院 5 5 10.2 栈式抽象机及其汇编指令 栈式抽象机：由三个存储器、一个指令寄存器 和多个地址寄存器组成。 存储器：数据存储器 （存放AR的运行栈 ） 操作存储器 （操作数栈 ）