编译原理-语法制导翻译生成中间代码.pptVIP

第四章 语法制导翻译生成中间代码 4.1 语法制导翻译简介4.1.1 语法与语义 4.1.1 语法与语义（续1） 4.1.1 语法与语义（续2） 4.1.2 属性与语义规则 4.1.2 属性与语义规则（续1） 4.1.2 属性与语义规则（续2） 4.1.2 属性与语义规则（续2） 4.1.3 语义规则的两种形式 4.1.3 语义规则的两种形式（续1） 4.1.3 语义规则的两种形式（续2） 4.1.3 语义规则的两种形式（续3） 4.1.3 语义规则的两种形式（续4） 4.1.4 LR分析翻译方案的设计 4.1.4 LR分析翻译方案的设计（续1） 4.1.4 LR分析翻译方案的设计（续2） 4.1.4 LR分析翻译方案的设计（续3） 4.1.5 递归下降分析翻译方案的设计 4.2. 中间代码简介 4.2.1 后缀式 2 计算后缀式的虚拟机 4.2.1 后缀式（续1） 4.2.1 后缀式（续2） 结束 2010年4月27日 上次课程内容回顾 4.2.2 三地址码 2 三地址码的种类（98页） 3 三地址码的实现：三元式与四元式 语法制导翻译设计的基本步骤： 3 三地址码的实现（续1） 3 三地址码的实现（续2） 3 三地址码的实现（续3） 3 三地址码的实现（续4） 3 三地址码的实现（续5） 4.2.3 图形表示 2 树的语法制导翻译 3 树的优化表示－DAG 4 树与其他中间代码的关系 4 树与其他中间代码的关系（续） 4.3 符号表简介 4.3.1 符号表条目 4.3.1 符号表条目（续） 4.3.2 构成名字的字符串的存储 4.3.2 构成名字的字符串的存储（续） 4.3.3 名字的作用域 4.3.3 名字的作用域（续1） 4.3.3 名字的作用域（续2） 4.3.3 名字的作用域（续3） 结 束（2010年4月29日） 上次课程内容回顾 4.3.4 线性表 4.3.4 线性表（续1） 4.3.4 线性表（续2） 4.3.5 散列表 4.3.5 散列表（续1） 4.3.5 散列表（续2） 3 散列函数的计算（略） hash: string→ integer 3 散列函数的计算（续1） 四元式是对三元式的改进，将表示计算结果的三元式序号用一个显式的变量表示，从而避免了三元式的值与三元式在三元式组中的位置相关的弱点。 四元式的语法： （i）(op，arg1，arg2，result) 所表示的计算： result := arg1 op arg2 ③ 四元式 三元式： (i)(op, arg1, arg2) (i):= arg1 op arg2 四元式与三元式的唯一区别是将由序号所表示的运算结果改为了由临时变量来表示。 此改变使得四元式具有了运算结果与四元式在四元式序列中的位置无关的特点，它为代码的优化提供了极大方便，因为这样可以删除或移动四元式而不会影响运算结果。 三地址码与四元式形式的一致性。 四元式的种类 四元式： 三地址码： (op，arg1，arg2，result) result := arg1 op arg2 属性.code： 表示存放运算结果的变量； 函数newtemp：返回一个新的临时变量，如T1，T2，...等； 过程emit( op，arg1，arg2, result)：生成一个四元式，若为一元运算，则arg2可空。 产生式与语义规则： (1)A→id:=E (2)E→E1+E2 (3)E→E1*E2 (4)E→(E1) (5)E→-E1 (6)E→id {A.code:=newtemp; emit(:=, entry(id.name), E.code, A.code)} {E.code:=newtemp; emit(+，E1.code,E2.code,E.code)} {E.code:=newtemp; emit(*，E1.code,E2.code,E.code)} {E.code:=E1.code} {E.code:=newtemp; emit(@,E1.code, , E.code)} {E.code:=entry(id.name)} ④ 四元式的语法制导翻译 1 树作为中间代码 语法树真实反映句子结构，对语法树稍加修改（加入语义信息），即可以作为中间代码的一种形式(注释语法树)。 例4.8 赋值句x:=(a+b)*(a+b)的树的中间代码表示： T1/(1) T2/(2) T3/(3) T4/(4) 三元式： （1）（+, a, b) （2）（+, a, b) （3）（*, (1), (2)) （4）（:=, x, (3)) 四元式： （1）