编译原理——编译程序构造实践教程课件作者张幸儿戴新宇602编译程序构造与实践教程第六章节.pptVIP

概括1. 概况 目标代码生成的有关问题 虚拟机：指令系统 要点：指令系统的三要素2. 控制语句的翻译 赋值语句 选择语句（if语句） 迭代语句（while 语句） 函数调用语句  要点：在理解控制结构的语义和执行步骤基础上，确定目标代码结构，从而设计翻译方案。 1. 实现要点： (1) 属性值的存取，要点有二： 引进属性信息表 注释分析树结点中，保存文法符号的同时，保存属性序号 (2) 属性值的计算，要点有三：  取到依赖属性之值并建立依赖属性链 计算属性值并在属性信息表中建立相应条目 把属性值保存到注释分析树中。  (3) 目标代码的生成与存储 引进目标指令链，链上一个结点对应于一个目标指令。  引进两个函数: CopyCode与MergeCode，分别进行目标指令链的复制与链接。 E::=－E1 { E.place:=newtemp; E.code:=E1.code || gencode(?MOV?, E1.place, E.place) || gencode(?NEG?, E.place ) } E::=(E1) { E.place:=E1.place; E.code:=E1.code } E::=id { E.place:=; E.code:=″ ″ } 假定输入符号串是x=y+z，相应的自底向上LR分析技术生成的注释分析树如下页的图所示。该赋值语句的目标代码如下： MOV y, t1 ADD z, t1 MOV t1, x 对照翻译方案与注释分析树来概括实现要点。考虑下面几个方面： 属性值的存取、 属性值的计算、 目标代码的存储。 9A.code=(2) 1=x 2= E.place=t1 8E.code=(1) E.place=y 4+ E.place=z 6E.code=″ ″ 7E.code=″ ″ 3=y 5=z 其中， (1)= ″MOV y, t1″ || ″ADD z, t1″ (2)= (1) || ″MOV t1, x″ 1.属性的存取 引进属性信息表 注释分析树上结点中， 保存文法符号的同时，保存属性序号 属性信息表用来登录各个文法符号的属性，包括文法符号名、属性名、属性类型与值，以及依赖属性等，还指明该属性所属结点之序号。 struct 依赖属性类型 { int 属性序号； struct 依赖属性类型 *下一依赖属性； }； struct 属性表条目类型 { int 属性序号； int 文法符号序号； char 属性名[MaxNameLength]； char 属性值种类；/*可以是‘I’,’F’,’S’,’M’等*/ union 属性值联合类型 属性值； /* 若属性值仅一种类型，可不引进联合类型*/ struct 依赖属性类型 *依赖属