编译原理ch5.pdf

第五章语法制导翻译和中间代码⽣成 • §5.1 概述 • 语义分析包含静态语义检查和语义识别，并在此基 础上对源程序（单词串形式）进行等价转换，转换 为中间代码（目标代码）。 • 在后面的讨论中总是认为词法、语法分析已经完成， 读入的是（语法正确）句子！而不关心用什么方法 进行语法分析的（以后主要讨论自底向上的句法分 析方法），关心的是如何在语法分析的同时正确地 插入语义子程序进行翻译（语法制导翻译） 。 6/5/14 华东师范大学计算机科学技术系 1 ⼀、静态语义检查 • 称在编译时刻进行的语义检查为静态语义检查，通 常可包含如下内容： (1) 类型检查。 检查运算的合法性和参与运算的运算分量类型的一 致性（相容性）。必要时进行相应的类型转换。 (2) 控制流检查。 以保证控制语句有合法的转向点，如C语言中的 break语句，需寻找包含它的最小的switch 、while 或for语句，方可找到转向点，否则出错。不允许 循环外控制转入循环内。 6/5/14 华东师范大学计算机科学技术系 2 (3) 有关名字的匹配检查。 可以对某些程序段命名，该名字出现在程序段的开 始和结束处，如同语句括号一般，应检查它们的配 对。 (4) 一致性检查。 如在相同作用域中标识符只能说明一次（重复定 义），case语句的标号不能相同，枚举类型的元素 不能重复，没有定义数据类型等。 6/5/14 华东师范大学计算机科学技术系 3 ⼆、语法制导翻译 • 例1：对算术表达式文法G[E]的一个翻译方案 E→E+T {print “1”} E→T {print “2”} T→T*F {print “3”} T→F {print “4”} F→(E) {print “5”} F→i {print “6”} 其中{ }括起的称为该产生式的语义子程序。 对输入串W=(i+i)*i 则W是G的一个句子。 6/5/14 华东师范大学计算机科学技术系 4 E • 若采用自底向上的句法分析，规 T 定当用产生式A→α归约时，调 用相应的语义子程序，则翻译结 T * F 束后输出 64264154632 。 F i • 若采用自顶向下的句法分析，规 定当用产生式A→α推导时，调 ( E ) 用相应的语义子程序，则翻译结 E + T 束后输出 23451246466 。 T F • 应根据输出（翻译）目标，配备 F i 适当的语义子程序，这就是所要 做的工作。 i 6/5/14 华东师范大学计算机科学技术系 5 三、翻译要解决的问题 1. 翻译成什么样的目标