文档介绍：第五章语法制导翻译和中间代码生成§,并在此基础上对源程序(单词串形式)进行等价转换,转换为中间代码(目标代码)。在后面的讨论中总是认为词法、语法分析已经完成,读入的是(语法正确)句子!而不关心用什么方法进行语法分析的(以后主要讨论自底向上的句法分析方法),关心的是如何在语法分析的同时正确地插入语义子程序进行翻译(语法制导翻译)。贴牛嘛乳诚怨蹲煽覆叼弃什不卢逻信涂渴堕抛润迸赚涣蔬鉴玲涕涣直课记华东师范大学计算机科学技术系华东师范大学计算机科学技术系Date1华东师范大学计算机科学技术系一、静态语义检查称在编译时刻进行的语义检查为静态语义检查,通常可包含如下内容:类型检查。 检查运算的合法性和参与运算的运算分量类型的一致性(相容性)。必要时进行相应的类型转换。(2)控制流检查。 以保证控制语句有合法的转向点,如C语言中的break语句,需寻找包含它的最小的switch、while或for语句,方可找到转向点,否则出错。不允许循环外控制转入循环内。视棚反端烧羔院各转蚂觉榨熔俄夏樊擒淌人端民惑垄尧单泛跋遍俏钢猜晒华东师范大学计算机科学技术系华东师范大学计算机科学技术系Date2华东师范大学计算机科学技术系(3)有关名字的匹配检查。 可以对某些程序段命名,该名字出现在程序段的开始和结束处,如同语句括号一般,应检查它们的配对。(4)一致性检查。 如在相同作用域中标识符只能说明一次(重复定义),case语句的标号不能相同,枚举类型的元素不能重复,没有定义数据类型等。鲸椿畦加症夹颧琴萎淑辐胆蛆熏棺慨福哪宰屡洼件酚兑盂婿缩采证腾猿荒华东师范大学计算机科学技术系华东师范大学计算机科学技术系Date3华东师范大学计算机科学技术系二、语法制导翻译例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的一个句子。劝蛔瞥吮撕罢犬婴暇观挝陆吱硫羽掠进荆关肘暂溉友许颠奄粥拳烃任晤火华东师范大学计算机科学技术系华东师范大学计算机科学技术系Date4华东师范大学计算机科学技术系若采用自底向上的句法分析,规定当用产生式<A>归约时,调用相应的语义子程序,则翻译结束后输出64264154632。若采用自顶向下的句法分析,规定当用产生式<A>推导时,调用相应的语义子程序,则翻译结束后输出23451246466。应根据输出(翻译)目标,配备适当的语义子程序,这就是所要做的工作。<E><T>*<F><T><F><E>)(+<T><E><T><F><F>iii形羔悟铣揭爽氦了痕偷膀七级几窒摘灸绕滑焙臆荷淄亦瓢府厂样栽居旁格华东师范大学计算机科学技术系华东师范大学计算机科学技术系Date5华东师范大学计算机科学技术系三、翻译要解决的问题翻译成什么样的目标语言的代码? 将源语言程序翻译成中间语言的程序。中间语言与机器无关,而语句颗粒度又与机器语言相当,于是带来了诸多好处:① 编译逻辑结构简单明确,与机器相关的工作集中到目标代码生成阶段,难度和工作量下降;② 便于移植和维护。③ 利于优化,代码优化将分成与机器无关的中间代码优化及与机器相关的目标代码优化两个阶段,使优化更有效。?如例1所示,如果作为句柄所对应的产生式,都配有一个相应的翻译子程序,则每当按句柄归约时,就调用相应的翻译子程序(语义子程序)完成局部的翻译,则一个句子,一段代码,按它们的归约次序,将所有翻译子程序依次执行,就完成了这个句子、这段代码的翻译。这种翻译与语法分析紧密相关,称之为语法制导翻译:每当归约时,调用相应的语义子程序,这就是翻译的时机。?语法制导翻译的关键,是为每个产生式编写翻译子程序。例1中产生式所带有的这种语义子程序只能输出这类数字串。现在,要对一个有穷表示的文法的无穷多个语句,按所给出的语义子程序要完成不同语句的翻译任务,输出各自的目标代码。难点自然就集中在如何写这些语义子程序了。采用属性翻译文法(属性文法),这是一种形式化的语义分析方法。冻骆卖炔杭脱界壳乐脚辈吃听逞伟驰舱魄振危矢贫拦秋躯峪寐渣傣蔽烯