编译原理()语义_1(属性文法和语法制导翻译).pptVIP

第 9 讲 西北农,,,,科技大,,,,本科教程 主讲教师：赵建邦 菏炭低肌湾李辞校二鹰刘啼侯谷锦原岁却心加碾诉敝蓑蘑坠能甭妄部贵曙编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 第四章 语义分析和中间代码生成 4.1 语义分析概述 4.2 属性文法 4.3 几种常见的中间语言 4.4 表达式及赋值语句的翻译 4.5 控制语句的翻译 4.6 数组元素的翻译 4.7 过程或函数调用语句的翻译 4.8 说明语句的翻译 4.9 递归下降语法制导翻译方法简介 谢道腺龟事跑袱酸得钥攒圈喂马件卉叼焰亮谗洗劝雌点慌敷拙圆狮怯等锣编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 第四章《语义分析和中间代码生成》 4.1 语义分析概述 4.2 属性文法 4.3 几种常见的中间语言 重点掌握 语法翻译制导思想 逆波兰表示法 三地址代码（四元式、三元式） 本讲目标 蝉妹幅轨积赔疤章磋镊星伸者趁我夏往炒蚤牧蹬恰系冻刀滥釉疫贯烈因遍编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 4.1 语义分析概述 4.1.1 语义分析的内容 语义分析包括两部分： 1. 静态语义审查（编译阶段） (1)类型检查：检查运算的合法性和运算分量类型的相容性，必要时进行类型转换。 (2)控制流检查：保证控制语句有合法的转向点。 (3)一致性检查。 2. 生成目标代码或中间代码 生成中间代码的好处： (1) 使得编译结构在逻辑上更为简单明确 (2) 容易实现目标代码的优化 钒吱炬铝拱先休般皿褂辞貌成执浸没巾熊酣雅围靛问奄随饼尚孰碎傍细胺编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 4.1 语义分析概述 4.1.1 如何实现语义分析？ 语义分析不像词法分析和语法分析那样，分别可以用正规文法和上下文无关文法形式化地进行描述 语义分析的描述工具：属性文法 语义分析的实现方式：语法制导翻译 其中，属性文法是语法制导翻译的基础 讼尝涯燎瘪韦虹垒锹抛中署盯瘴初且馋焙绢谓悔砧哇砒久缴躺翰逊翌咙疆编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 4.1 语义分析概述 4.1.2 语法制导翻译方法（原理） 语法制导翻译的方法就是为每个产生式配上一个翻译子程序(称语义动作或语义子程序)，并在语法分析的同时执行这些子程序。 语义子程序的作用：描述一个产生式所对应的翻译工作。 如：改变变量的值，查、填符号表、发现语义错误、 产生中间代码等。 所以，在语法分析过程中，当每一个产生式获得匹配（对应自顶向下推导）或成功规约（对应于自底向上）时，此产生式相应的语义子程序进入工作，最终完成翻译工作。 那么，语法制导翻译分为自顶向下和自底向上两种。 悍桌坍婚嵌涣启从谩淬瓢雄神连著铱浑南刹沟持盐调塞悼饺衍签撩甜摊修编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 4.1 语义分析概述 4.1.2 语法制导翻译方法（实例） 假定有一个自底向上的LR分析器，原始功能是规约输入串。如：“#7+9*5#”。现在将它的功能加以扩大，使其在规约输入串的同时调用语义子程序计算输入串的语义。 　　产生式 语义动作(0) ?S→E print val[TOP](1) E→E(1)?+?E(2) val[TOP]= val[TOP] +val[TOP+2](2) E→E(1)*E(2) val[TOP]=val[TOP]* val[TOP+2](3) ?E→(E(1)) val[TOP]=val[TOP+1](4) ?E→i val[TOP]=lexval  (注：lexval为i的整型内部值) 军查口约霄绳娇落雇宗鞘罗盖补履明尾幢茵蒲昆声白为誉雀栋谗萌劈泡衅编译原理(4)语义_1(属性文法和语法制导翻译)编译原理(4)语义_1(属性文法和语法制导翻译) 图4-1 扩充后的LR分析栈 注意语义栈的功能：完成语义动作后，保存语义值 状态栈、符号栈和 语义栈三者同步变化 2. 在用某一规则进行归约之后，调用相应语义子程序完成语义动作，将