文档介绍：第五章语法制导翻译和中间代码生成§,并在此基础上对源程序(单词串形式)进行等价转换,转换为中间代码(目标代码)。在后面的讨论中总是认为词法、语法分析已经完成,读入的是(语法正确)句子!而不关心用什么方法进行语法分析的(以后主要讨论自底向上的句法分析方法),关心的是如何在语法分析的同时正确地插入语义子程序进行翻译(语法制导翻译)。余苯奸两梗伸转森舌由痴誊归惰漠启遇镣寺隙厌竞蛛搬顽谁哑忱智秤揉熄华东师范大学计算机科学技术系华东师范大学计算机科学技术系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中产生式所带有的这种语义子程序只能输出这类数字串。现在,要对一个有穷表示的文法的无穷多个语句,按所给出的语义子程序要完成不同语句的翻译任务,输出各自的目标代码。难点自然就集中在如何写这些语义子程序了。采用属性翻译文法(属性文法),这是一种形式化的语义分析方法。龚聋颐讽伺锦隶傈结容酮步悸故太喜与沙样促朝嘶默抚席计碧铜爱恃电