com0401-02西安电子科技大学编译原理课件.pptVIP

第四章 语法制导翻译生成中间代码 4.1 语法制导翻译简介4.1.1 语法与语义 4.1.1 语法与语义（续1） 4.1.2 属性与语义规则 4.1.2 属性与语义规则（续1） 4.1.2 属性与语义规则（续2） 结 束（2005年4月13日） 上次课程内容回顾 4.1.3 语义规则的两种形式 4.1.3 语义规则的两种形式（续1） 4.1.3 语义规则的两种形式（续2） 4.1.3 语义规则的两种形式（续3） 4.1.4 LR分析翻译方案的设计 4.1.4 LR分析翻译方案的设计（续1） 4.1.5 递归下降分析翻译方案的设计 4.2. 中间代码简介 4.2.1 后缀式 4.2.1 后缀式（续1） 4.2.1 后缀式（续2） 4.2.2 三地址码 2 三地址码的种类 3 三地址码的实现：三元式与四元式 3 三地址码的实现（续1） 3 三地址码的实现（续2） 3 三地址码的实现（续2） 3 三地址码的实现（续2） 4.2.3 图形表示 2 树的语法制导翻译 3 树的优化表示－DAG 4 树与其他中间代码的关系 结 束（2005年4月18日） 上次课程内容回顾 4.3 符号表简介 4.3.1 符号表条目 4.3.2 构成名字的字符串的存储 4.3.3 名字的作用域 4.3.3 名字的作用域（续1） 4.3.3 名字的作用域（续2） 4.3.4 线性表 4.3.4 线性表（续1） 4.3.5 散列表 2 散列表上的操作 4.3.5 散列表（续1） 4.3.5 散列表（续2） 3 散列函数的计算 hash: string→ integer 3 散列函数的计算（续1） 4.4 声明语句的翻译 1 变量的类型定义与声明 2 变量声明的语法制导翻译 2 变量声明的语法制导翻译（续1） 2 变量声明的语法制导翻译（续2） 结 束（2005年4月20日） 属性与属性计算（续） 语义规则的两种表示：语法制导定义与翻译方案 LR分析中翻译方案的设计：扩充语义栈与扩充语法分析 递归下降分析中翻译方案的设计：属性的存储空间与语义规则的计算 中间代码 中间代码的作用 中间代码的形式 a. 后缀式 b. 三地址码与三地址码的实现－三元式与四元式 c. 图形表示－树与DAG 树与后缀式和三地址码的关系 符号表的作用：连接声明与引用的桥梁，记住每个符号的相关信息，如作用域和绑定等，帮助编译的各个阶段正确有效地工作。 符号表设计的基本要求：目标是合理存放信息和快速准确查找。 正确存储各类信息； 适应不同阶段的需求； 便于有效地进行查找、插入、删除和修改等操作； 空间可以动态扩充。 逻辑上讲：每个声明的名字在符号表中占据一栏，称为一个条目，用于存放名字的相关信息。 符号表中的内容：保留字、标识符、特殊符号（包括算符、分隔符等）等等。不同类别的符号存放在不同的子表中，如变量名表、过程名表、保留字表等。 存放方式：关键字＋属性。 关于组合关键字： ...... int x; { double x; struct x { float y, z; }; } 为C++构造的符号表中，组合关键字至少应该包括三项：名字＋作用域＋类型。 当一个名字x在同一作用域中允许有多于一个的声明，则对x引用时需要根据上下文确定x到底属于哪个对象。 因此程序设计语言在语法上规定了不允许这样的声明，以简化编译时的处理。 定长数据 变长数据 直接存放 间接存放 名字（直接存储） 属性 sort proc, ... a int, ... readarray proc, ... draw_a_red_line_for_object_a boolean, ... 名字（间接存储） 属性 101 (或101/4) proc, ... 106 (或105/1) int, ... 108 (或106/9) proc, ... 118 (或115/28) boolean, ... sort#a#readarray#draw_a_red_line_for_object_a# ↑101 sortareadarraydraw_a_red_line_for_object_a ↑101 间接存储的方法实际上解决了复杂信息的存储问题，将其推广到属性，则任何一个复杂的属性，均可以为其另辟空间(空间本身可以是复杂结构，如数组的内情向量等)，而仅需要将指向此空间的指针放在此属性在符号表中的对应位置即可。 程序设计语言的名字可以出现在不