语法制导翻译和中间代码生成 .ppt

《语法制导翻译和中间代码生成 .ppt》由会员分享，可在线阅读，更多相关《语法制导翻译和中间代码生成 .ppt（60页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、语法制导翻译和中间代码生成 1现在学习的是第1页，共60页语法分析和语义分析的区别语法分析和语义分析的区别语法分析语法分析语法分析语法分析 利用产生式推导或归约，验证符号串是否为文法的一个句子，并没有考虑符号和符号串的意义。利用产生式推导或归约，验证符号串是否为文法的一个句子，并没有考虑符号和符号串的意义。利用产生式推导或归约，验证符号串是否为文法的一个句子，并没有考虑符号和符号串的意义。利用产生式推导或归约，验证符号串是否为文法的一个句子，并没有考虑符号和符号串的意义。语义分析语义分析语义分析语义分析 规定每个符号和符号串的意义，同时完成符号串所规定的语义动作，显然这是以语法正确为前提。规定

2、每个符号和符号串的意义，同时完成符号串所规定的语义动作，显然这是以语法正确为前提。规定每个符号和符号串的意义，同时完成符号串所规定的语义动作，显然这是以语法正确为前提。规定每个符号和符号串的意义，同时完成符号串所规定的语义动作，显然这是以语法正确为前提。例文法例文法例文法例文法GGEE(1)+T|TEE(1)+T|TTT(1)*F|FTT(1)*F|FF(E)|i|x|yF(E)|i|x|yi i：语法分析认为：语法分析认为：语法分析认为：语法分析认为i i是一个终结符，代表标识符；而语义分析认为它不仅是一个标识符，还具有标识符名、种是一个终结符，代表标识符；而语义分析认为它不仅是一个标识符，

3、还具有标识符名、种是一个终结符，代表标识符；而语义分析认为它不仅是一个标识符，还具有标识符名、种是一个终结符，代表标识符；而语义分析认为它不仅是一个标识符，还具有标识符名、种属和类型等。属和类型等。属和类型等。属和类型等。i i可能是一个简单变量，也可能是一个标号。标识符名由单词二元式中的值给出，种属和类可能是一个简单变量，也可能是一个标号。标识符名由单词二元式中的值给出，种属和类可能是一个简单变量，也可能是一个标号。标识符名由单词二元式中的值给出，种属和类可能是一个简单变量，也可能是一个标号。标识符名由单词二元式中的值给出，种属和类型可从符号表获取。型可从符号表获取。型可从符号表获取。型可从

4、符号表获取。x x：语法分析认为它是一个终结符，代表整常数；而语义分析认为它不仅是一个整常数，还具有值，值由单词二元式：语法分析认为它是一个终结符，代表整常数；而语义分析认为它不仅是一个整常数，还具有值，值由单词二元式：语法分析认为它是一个终结符，代表整常数；而语义分析认为它不仅是一个整常数，还具有值，值由单词二元式：语法分析认为它是一个终结符，代表整常数；而语义分析认为它不仅是一个整常数，还具有值，值由单词二元式中的值给出。中的值给出。中的值给出。中的值给出。2现在学习的是第2页，共60页y y：语法分析认为：语法分析认为：语法分析认为：语法分析认为y y是一个终结符是一个终结符是一个终结符

5、是一个终结符,代表实常数；而语义分析认为它不仅是一个实常数，还具有值，值由单词二代表实常数；而语义分析认为它不仅是一个实常数，还具有值，值由单词二代表实常数；而语义分析认为它不仅是一个实常数，还具有值，值由单词二代表实常数；而语义分析认为它不仅是一个实常数，还具有值，值由单词二元式中的值给出。元式中的值给出。元式中的值给出。元式中的值给出。F F：语法分析认为：语法分析认为：语法分析认为：语法分析认为F F是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位 ，F F由由由由i i、x x、y y或或或或(E)(E)归约而得；而语义分

6、析认为归约而得；而语义分析认为归约而得；而语义分析认为归约而得；而语义分析认为F F还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量F.valF.val、F.typeF.type。T T：语法分析认为：语法分析认为：语法分析认为：语法分析认为T T是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位 ，由，由，由，由F F或或或或T*FT*F归约而得；而语义分析认为归约而得；而

7、语义分析认为归约而得；而语义分析认为归约而得；而语义分析认为T T还具有值、还具有值、还具有值、还具有值、类型等属性。为了保存值和类型，引入语义变量类型等属性。为了保存值和类型，引入语义变量类型等属性。为了保存值和类型，引入语义变量类型等属性。为了保存值和类型，引入语义变量T.valT.val、T.typeT.type。E E：语法分析认为：语法分析认为：语法分析认为：语法分析认为E E是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位是一个非终结符，代表语法单位 ，由，由，由，由T T或或或或E+TE+T归约而得；而语义分析认为归约而得；而语义分析认为归约而

8、得；而语义分析认为归约而得；而语义分析认为E E还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量还具有值、类型等属性。为了保存值和类型，引入语义变量E.valE.val、E.typeE.type。+：语法分析认为它是一个终结符，代表算术加；而语义分析认为它可能是一个实数加运算符，也可：语法分析认为它是一个终结符，代表算术加；而语义分析认为它可能是一个实数加运算符，也可：语法分析认为它是一个终结符，代表算术加；而语义分析认为它可能是一个实数加运算符，也可：语法分析认为它是一个终结符，代表算

9、术加；而语义分析认为它可能是一个实数加运算符，也可能是一个整数加运算符，视运算对象而定。能是一个整数加运算符，视运算对象而定。能是一个整数加运算符，视运算对象而定。能是一个整数加运算符，视运算对象而定。*：语法分析认为它是一个终结符，代表算术乘；而语义分析认为它可能是一个实数乘运算符，也可：语法分析认为它是一个终结符，代表算术乘；而语义分析认为它可能是一个实数乘运算符，也可：语法分析认为它是一个终结符，代表算术乘；而语义分析认为它可能是一个实数乘运算符，也可：语法分析认为它是一个终结符，代表算术乘；而语义分析认为它可能是一个实数乘运算符，也可能是一个整数乘运算符，视运算对象而定。能是一个整数乘

10、运算符，视运算对象而定。能是一个整数乘运算符，视运算对象而定。能是一个整数乘运算符，视运算对象而定。3现在学习的是第3页，共60页EE(1)+TEE(1)+T：在语法分析时认为它是一个：在语法分析时认为它是一个：在语法分析时认为它是一个：在语法分析时认为它是一个 的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将E(1)E(1)的值（用的值（用的值（用的值（用E(1).valE(1).val表示）加上表示）加上表示）加上表示）加上T T的值（用的值（用的值（用的值（用T.valT.val表示），结果放在表示）

11、，结果放在表示），结果放在表示），结果放在E.valE.val中。若数据类型有实型和整型之分，在运算前还中。若数据类型有实型和整型之分，在运算前还中。若数据类型有实型和整型之分，在运算前还中。若数据类型有实型和整型之分，在运算前还需检查它们的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型）需检查它们的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型）需检查它们的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型）需检查它们的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转

12、换成相同类型（例实型），然后再进行实数加运算。，然后再进行实数加运算。，然后再进行实数加运算。，然后再进行实数加运算。TT(1)*FTT(1)*F：在语法分析时认为它是一个：在语法分析时认为它是一个：在语法分析时认为它是一个：在语法分析时认为它是一个 的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将的产生式，而在语义分析时认为：应将T(1)T(1)的值（用的值（用的值（用的值（用T(1).valT(1).val表示）乘上表示）乘上表示）乘上表示）乘上F F的值（用的值（用的值（用的值（用F.valF.val表示），结果放在表示），结果放在表

13、示），结果放在表示），结果放在T.valT.val中。若数据类型有实型和整型之分，在运算前还需检查它们中。若数据类型有实型和整型之分，在运算前还需检查它们中。若数据类型有实型和整型之分，在运算前还需检查它们中。若数据类型有实型和整型之分，在运算前还需检查它们的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型），然后再进行的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型），然后再进行的类型。若类型不同，根据语言的语义规定，或者拒绝运算，或者将它们转换成相同类型（例实型），然后再进行的类型。若类型不同，根据语言的语义规定，或

14、者拒绝运算，或者将它们转换成相同类型（例实型），然后再进行实数乘运算。实数乘运算。实数乘运算。实数乘运算。语义分析主要工作语义分析主要工作建立符号表和常数表。建立符号表和常数表。建立符号表和常数表。建立符号表和常数表。诊察和报告源程序中的语义错误。诊察和报告源程序中的语义错误。诊察和报告源程序中的语义错误。诊察和报告源程序中的语义错误。根据语言的语义产生中间代码（或机器指令），或直接解释执行。根据语言的语义产生中间代码（或机器指令），或直接解释执行。根据语言的语义产生中间代码（或机器指令），或直接解释执行。根据语言的语义产生中间代码（或机器指令），或直接解释执行。4现在学习的是第4页，共60页

15、6.1 语法制导翻译概述语法制导翻译概述语法制导翻译方法简介语法制导翻译方法简介 为每一个产生式配一个语义子程序。在语法分析过程中，当一个产生式获得匹配或用于归约时，此产生式相应的语为每一个产生式配一个语义子程序。在语法分析过程中，当一个产生式获得匹配或用于归约时，此产生式相应的语为每一个产生式配一个语义子程序。在语法分析过程中，当一个产生式获得匹配或用于归约时，此产生式相应的语为每一个产生式配一个语义子程序。在语法分析过程中，当一个产生式获得匹配或用于归约时，此产生式相应的语义子程序进入工作，完成既定的翻译任务。义子程序进入工作，完成既定的翻译任务。义子程序进入工作，完成既定的翻译任务。义子

16、程序进入工作，完成既定的翻译任务。实现方法（以实现方法（以SLR分析器为例）分析器为例）SLRSLR分析器是由工作栈（状态栈和符号栈）、分析表和总控程序三部分构成，只要适当修改工作栈和总分析器是由工作栈（状态栈和符号栈）、分析表和总控程序三部分构成，只要适当修改工作栈和总分析器是由工作栈（状态栈和符号栈）、分析表和总控程序三部分构成，只要适当修改工作栈和总分析器是由工作栈（状态栈和符号栈）、分析表和总控程序三部分构成，只要适当修改工作栈和总控程序，就可将控程序，就可将控程序，就可将控程序，就可将SLRSLR分析器用于语义分析。分析器用于语义分析。分析器用于语义分析。分析器用于语义分析。分析表不

17、变分析表不变分析表不变分析表不变改造工作栈改造工作栈改造工作栈改造工作栈 为了保存语义信息，在状态栈、符号栈的基础上增加单词值（为了保存语义信息，在状态栈、符号栈的基础上增加单词值（为了保存语义信息，在状态栈、符号栈的基础上增加单词值（为了保存语义信息，在状态栈、符号栈的基础上增加单词值（wvalwval）栈和语义（）栈和语义（）栈和语义（）栈和语义（semanticsemantic）栈。）栈。）栈。）栈。状态栈状态栈状态栈状态栈符号栈符号栈符号栈符号栈 单词值栈单词值栈单词值栈单词值栈语义栈语义栈语义栈语义栈5现在学习的是第5页，共60页 state symbol wval .val .ad

18、dr state symbol wval .val .addr .cat .type .cat .type S SmmX XX.valX.valX.addrX.addrX.catX.catX.typeX.typeS Sm-1m-1Y YY.valY.valY.addrY.addrY.catY.catY.typeY.typeS S0 0#NULNUL修改总控程序修改总控程序修改总控程序修改总控程序 在移进时，除移进状态和单词的种别外，还需移进单词的值。在移进时，除移进状态和单词的种别外，还需移进单词的值。在移进时，除移进状态和单词的种别外，还需移进单词的值。在移进时，除移进状态和单词的种别外，还

19、需移进单词的值。在用某个产生式进行归约时，除需执行归约动作外，还需调用相应语义子程序。在用某个产生式进行归约时，除需执行归约动作外，还需调用相应语义子程序。在用某个产生式进行归约时，除需执行归约动作外，还需调用相应语义子程序。在用某个产生式进行归约时，除需执行归约动作外，还需调用相应语义子程序。状态栈不变状态栈不变状态栈不变状态栈不变符号栈不变符号栈不变符号栈不变符号栈不变增加单词值栈，用于保存单词的值（字符串形式）。增加单词值栈，用于保存单词的值（字符串形式）。增加单词值栈，用于保存单词的值（字符串形式）。增加单词值栈，用于保存单词的值（字符串形式）。增加语义栈，用于记录分析过程中需保留的语

20、义值。例，值（增加语义栈，用于记录分析过程中需保留的语义值。例，值（增加语义栈，用于记录分析过程中需保留的语义值。例，值（增加语义栈，用于记录分析过程中需保留的语义值。例，值（.val.val）、地址（）、地址（）、地址（）、地址（.addr.addr）、种属（）、种属（）、种属（）、种属（.cat.cat）、）、）、）、类型（类型（类型（类型（.type.type）等。）等。）等。）等。经改造后，工作栈如下所示：经改造后，工作栈如下所示：经改造后，工作栈如下所示：经改造后，工作栈如下所示：6现在学习的是第6页，共60页解释执行例解释执行例文法及语义子程序文法及语义子程序文法及语义子程序文法及

21、语义子程序struct char code;char val20;t;struct char code;char val20;t;0.SE0.SEcoutE.valcoutE.val1.EE(1)+E(2)1.EE(1)+E(2)E.val=E(1).val+E(2).val;E.val=E(1).val+E(2).val;2.EE(1)*E(2)2.EE(1)*E(2)E.val=E(1).val*E(2).val;E.val=E(1).val*E(2).val;3.E(E(1)3.E(E(1)E.val=E(1).val;E.val=E(1).val;4.Ex4.ExE.val=atoi(

22、t.val);E.val=atoi(t.val);/atoi/atoi为为为为C C语言系统函数语言系统函数语言系统函数语言系统函数 假定语义动作是紧接着归约之后执行，语义子程序改写如下：假定语义动作是紧接着归约之后执行，语义子程序改写如下：假定语义动作是紧接着归约之后执行，语义子程序改写如下：假定语义动作是紧接着归约之后执行，语义子程序改写如下：0.SE0.SEcoutsemantictop.val;coutsemantictop.val;1.EE(1)+E(2)1.EE(1)+E(2)semantictop.val=semantictop.val+semantictop+2.val;sem

23、antictop.val=semantictop.val+semantictop+2.val;2.EE(1)*E(2)2.EE(1)*E(2)semantictop.val=semantictop.val*semantictop+2.val;semantictop.val=semantictop.val*semantictop+2.val;3.E(E(1)3.E(E(1)semantictop.val=semantictop+1.val.val;semantictop.val=semantictop+1.val.val;4.Ex4.Ex semantictop.val=atoi(wvaltop

24、);semantictop.val=atoi(wvaltop);7现在学习的是第7页，共60页+*()x x#E E0 0s2s2s3s31 11 1s4s4s5s5AccAcc2 2s2s2s3s36 63 3r4r4r4r4r4r4r4r44 4s2s2s3s37 75 5s2s2s3s38 86 6s4s4s5s5s9s97 7r1r1s5s5r1r1r1r18 8r2r2r2r2r2r2r2r29 9r3r3r3r3r3r3r3r3手工计算手工计算手工计算手工计算 假设源程序为：假设源程序为：假设源程序为：假设源程序为：7+9*57+9*5。经词法分析，单词二元式序列为。经词法分析，单

25、词二元式序列为。经词法分析，单词二元式序列为。经词法分析，单词二元式序列为(x,7)(+,NUL)(x,9)(*,NUL)(x,5)(#,NUL)(x,7)(+,NUL)(x,9)(*,NUL)(x,5)(#,NUL)分析过程如黑板所示（在语义栈中，分析过程如黑板所示（在语义栈中，分析过程如黑板所示（在语义栈中，分析过程如黑板所示（在语义栈中，“NUL”NUL”改用改用改用改用-表示）：表示）：表示）：表示）：stepstepstatestate栈栈栈栈 symbolsymbol栈栈栈栈 wvalwval栈栈栈栈 .val.val栈栈栈栈 输入串输入串输入串输入串SLRSLR分析表分析表分析表

26、分析表8现在学习的是第8页，共60页6.2 符号表和常数表符号表和常数表 在编译过程中，编译程序需要不断汇集和反复查证出现在源程序中各种符号名（标识符）和常数，以及符号名的属在编译过程中，编译程序需要不断汇集和反复查证出现在源程序中各种符号名（标识符）和常数，以及符号名的属在编译过程中，编译程序需要不断汇集和反复查证出现在源程序中各种符号名（标识符）和常数，以及符号名的属在编译过程中，编译程序需要不断汇集和反复查证出现在源程序中各种符号名（标识符）和常数，以及符号名的属性，这些信息通常记录在符号表和常数表中。性，这些信息通常记录在符号表和常数表中。性，这些信息通常记录在符号表和常数表中。性，这

27、些信息通常记录在符号表和常数表中。符号表符号表引入符号表的意义引入符号表的意义引入符号表的意义引入符号表的意义可用符号名表示内存地址（变量）和语句的地址（标号）。可用符号名表示内存地址（变量）和语句的地址（标号）。可用符号名表示内存地址（变量）和语句的地址（标号）。可用符号名表示内存地址（变量）和语句的地址（标号）。符号表的引入使得中间代码生成（包括目标代码生成）与机器的内存地址无关。可在机器码最终定位阶段，符号表的引入使得中间代码生成（包括目标代码生成）与机器的内存地址无关。可在机器码最终定位阶段，符号表的引入使得中间代码生成（包括目标代码生成）与机器的内存地址无关。可在机器码最终定位阶段，

28、符号表的引入使得中间代码生成（包括目标代码生成）与机器的内存地址无关。可在机器码最终定位阶段，甚至在程序运行过程中，对变量进行地址分配。甚至在程序运行过程中，对变量进行地址分配。甚至在程序运行过程中，对变量进行地址分配。甚至在程序运行过程中，对变量进行地址分配。在对变量进行内存地址分配时，符号表是地址分配的依据。在对变量进行内存地址分配时，符号表是地址分配的依据。在对变量进行内存地址分配时，符号表是地址分配的依据。在对变量进行内存地址分配时，符号表是地址分配的依据。转移语句的翻译是借助符号表来完成的。转移语句的翻译是借助符号表来完成的。转移语句的翻译是借助符号表来完成的。转移语句的翻译是借助符

29、号表来完成的。9现在学习的是第9页，共60页符号表的结构（略有修改）符号表的结构（略有修改）符号表的结构（略有修改）符号表的结构（略有修改）符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：struct struct void*addr;void*addr;/标号或变量的地址标号或变量的地址标号或变量的地址标号或变量的地址char id5;char id5;/标识符名标识符名标识符名标识符名

30、unsigned cat:4;unsigned cat:4;/种属（种属（种属（种属（4 4个二进制位）个二进制位）个二进制位）个二进制位）unsigned type:4;unsigned type:4;/类型（类型（类型（类型（4 4个二进制位）个二进制位）个二进制位）个二进制位）sym_tableNS;sym_tableNS;/NS/NS表示符号表长度表示符号表长度表示符号表长度表示符号表长度1 1）addraddr 存放内存地址（存放内存地址（存放内存地址（存放内存地址（2 2字节），地址标识范围为字节），地址标识范围为字节），地址标识范围为字节），地址标识范围为0-655350-655

31、35。变量的值并不存放于符号表，而是存储在内存的另外一个区域中，通过该地址指示，变量的值并不存放于符号表，而是存储在内存的另外一个区域中，通过该地址指示，变量的值并不存放于符号表，而是存储在内存的另外一个区域中，通过该地址指示，变量的值并不存放于符号表，而是存储在内存的另外一个区域中，通过该地址指示，addraddr的值是在的值是在的值是在的值是在地址分配时填入。地址分配时填入。地址分配时填入。地址分配时填入。addraddr为结构第一分量，结构的地址值（为结构第一分量，结构的地址值（为结构第一分量，结构的地址值（为结构第一分量，结构的地址值（&sym_tablei&sym_tablei）和结

32、构的第一分量地址值（）和结构的第一分量地址值（）和结构的第一分量地址值（）和结构的第一分量地址值（&sym_table&sym_table i.addri.addr）相等，结构地址通常称为变量在符号表中的入口。）相等，结构地址通常称为变量在符号表中的入口。）相等，结构地址通常称为变量在符号表中的入口。）相等，结构地址通常称为变量在符号表中的入口。2 2）idid 存放标识符名，标识符最多可由存放标识符名，标识符最多可由存放标识符名，标识符最多可由存放标识符名，标识符最多可由5 5个字符构成。个字符构成。个字符构成。个字符构成。10现在学习的是第10页，共60页符号表的结构（略有修改）符号表的结

33、构（略有修改）符号表的结构（略有修改）符号表的结构（略有修改）符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：符号表由记录构成，相当于一个结构数组，模型语言的符号表定义如下：struct struct void*addr;void*addr;/标号或变量的地址标号或变量的地址标号或变量的地址标号或变量的地址char id5;char id5;/标识符名标识符名标识符名标识符名unsigned cat:4;unsigned cat:4;/种属（种属（种属

34、（种属（4 4个二进制位）个二进制位）个二进制位）个二进制位）unsigned type:4;unsigned type:4;/类型（类型（类型（类型（4 4个二进制位）个二进制位）个二进制位）个二进制位）sym_tableNS;sym_tableNS;/NS/NS表示符号表长度表示符号表长度表示符号表长度表示符号表长度3 3）catcat 用于记录标识符的种属（如简单变量、标号、数组、函数、用于记录标识符的种属（如简单变量、标号、数组、函数、用于记录标识符的种属（如简单变量、标号、数组、函数、用于记录标识符的种属（如简单变量、标号、数组、函数、），共有），共有），共有），共有4 4个二进制位

35、，暂用个二进制位，暂用个二进制位，暂用个二进制位，暂用1 1位。位。位。位。0 0表示简单变量、表示简单变量、表示简单变量、表示简单变量、1 1表示标号表示标号表示标号表示标号4 4）typetype 用于记录标识符的类型（如整型、实型、布尔型、用于记录标识符的类型（如整型、实型、布尔型、用于记录标识符的类型（如整型、实型、布尔型、用于记录标识符的类型（如整型、实型、布尔型、），共有），共有），共有），共有4 4个二进制位，暂用个二进制位，暂用个二进制位，暂用个二进制位，暂用1 1位。位。位。位。简单变量：简单变量：简单变量：简单变量：0 0表示整型，表示整型，表示整型，表示整型，1 1表示实

36、型。表示实型。表示实型。表示实型。标号：标号：标号：标号：0 0表示标号未定义，表示标号未定义，表示标号未定义，表示标号未定义，1 1表示标号已定义。表示标号已定义。表示标号已定义。表示标号已定义。11现在学习的是第11页，共60页符号表的使用符号表的使用符号表的使用符号表的使用1 1）说明语句）说明语句）说明语句）说明语句 每当识别出一个标识符，就在符号表中为该标识符建立一条记录，并填入标识符名、种属、类型等语义每当识别出一个标识符，就在符号表中为该标识符建立一条记录，并填入标识符名、种属、类型等语义每当识别出一个标识符，就在符号表中为该标识符建立一条记录，并填入标识符名、种属、类型等语义每

37、当识别出一个标识符，就在符号表中为该标识符建立一条记录，并填入标识符名、种属、类型等语义信息。若符号表中已有记录，说明标识符被重定义，报错。信息。若符号表中已有记录，说明标识符被重定义，报错。信息。若符号表中已有记录，说明标识符被重定义，报错。信息。若符号表中已有记录，说明标识符被重定义，报错。2 2）非说明语句）非说明语句）非说明语句）非说明语句 每当识别出一个标识符，就根据标识符名去查符号表，并由此获得该标识符在符号表的入口。若标识符每当识别出一个标识符，就根据标识符名去查符号表，并由此获得该标识符在符号表的入口。若标识符每当识别出一个标识符，就根据标识符名去查符号表，并由此获得该标识符在

38、符号表的入口。若标识符每当识别出一个标识符，就根据标识符名去查符号表，并由此获得该标识符在符号表的入口。若标识符名在符号表中不存在，分情况处理：名在符号表中不存在，分情况处理：名在符号表中不存在，分情况处理：名在符号表中不存在，分情况处理：变量：报错。变量：报错。变量：报错。变量：报错。标号：在符号表中创建一个记录，将标识符名等信息填入符标号：在符号表中创建一个记录，将标识符名等信息填入符标号：在符号表中创建一个记录，将标识符名等信息填入符标号：在符号表中创建一个记录，将标识符名等信息填入符 号表。号表。号表。号表。符号表地址使用说明符号表地址使用说明符号表地址使用说明符号表地址使用说明在中间

39、代码生成时，若操作数是变量，则应在操作数（在中间代码生成时，若操作数是变量，则应在操作数（在中间代码生成时，若操作数是变量，则应在操作数（在中间代码生成时，若操作数是变量，则应在操作数（operandoperand）位置上填入该变量在符号表中的入）位置上填入该变量在符号表中的入）位置上填入该变量在符号表中的入）位置上填入该变量在符号表中的入口。口。口。口。根据中间代码生成的目标代码，是通过间址寻址方式对变量进行存取（根据中间代码生成的目标代码，是通过间址寻址方式对变量进行存取（根据中间代码生成的目标代码，是通过间址寻址方式对变量进行存取（根据中间代码生成的目标代码，是通过间址寻址方式对变量进行

40、存取（*operandoperand）。借助间址寻址）。借助间址寻址）。借助间址寻址）。借助间址寻址方式，使得中间代码所使用的地址和实际存放数据的内存地址相互独立。方式，使得中间代码所使用的地址和实际存放数据的内存地址相互独立。方式，使得中间代码所使用的地址和实际存放数据的内存地址相互独立。方式，使得中间代码所使用的地址和实际存放数据的内存地址相互独立。12现在学习的是第12页，共60页内存地址内存地址内存地址内存地址（2 2字字字字节节节节）符号名符号名符号名符号名（5 5字字字字节节节节）种属种属种属种属（4Bit4Bit）类类类类型型型型（4Bit4Bit）未分配未分配未分配未分配a a

41、9 99 90000简单简单简单简单整型整型整型整型值值值值1231234545100100符号表示意图符号表示意图符号表示意图符号表示意图常数表示意图常数表示意图常数表示意图常数表示意图13现在学习的是第13页，共60页常数表常数表 可设置一张常数表，同时记录各种类型的常数；也可按类型设置多张常数表，按类型分表记录。可设置一张常数表，同时记录各种类型的常数；也可按类型设置多张常数表，按类型分表记录。可设置一张常数表，同时记录各种类型的常数；也可按类型设置多张常数表，按类型分表记录。可设置一张常数表，同时记录各种类型的常数；也可按类型设置多张常数表，按类型分表记录。常数表结构常数表结构常数表结

42、构常数表结构 unsigned short const_int_tableNI;unsigned short const_int_tableNI;/NI/NI表示整常数表长度表示整常数表长度表示整常数表长度表示整常数表长度 float const_real_tableNR;float const_real_tableNR;/NR/NR表示实常数表长度表示实常数表长度表示实常数表长度表示实常数表长度常数表使用常数表使用常数表使用常数表使用 每当识别出一个常数，将字符串转换成数值后查常数表：每当识别出一个常数，将字符串转换成数值后查常数表：每当识别出一个常数，将字符串转换成数值后查常数表：每当识别

43、出一个常数，将字符串转换成数值后查常数表：若无，将常数填入常数表，获取表中地址。若无，将常数填入常数表，获取表中地址。若无，将常数填入常数表，获取表中地址。若无，将常数填入常数表，获取表中地址。若常数在表中已存在，直接获取常数在表中地址。若常数在表中已存在，直接获取常数在表中地址。若常数在表中已存在，直接获取常数在表中地址。若常数在表中已存在，直接获取常数在表中地址。常数表地址使用说明常数表地址使用说明常数表地址使用说明常数表地址使用说明在中间代码生成时，若操作数是常数，则应在操作数在中间代码生成时，若操作数是常数，则应在操作数在中间代码生成时，若操作数是常数，则应在操作数在中间代码生成时，若

44、操作数是常数，则应在操作数(operand)(operand)位置上填入常数在常数表中的地址位置上填入常数在常数表中的地址位置上填入常数在常数表中的地址位置上填入常数在常数表中的地址(&const_int_tablei(&const_int_tablei 或或或或&const_real_tablei)&const_real_tablei)。目标代码运行时，根据该地址（目标代码运行时，根据该地址（目标代码运行时，根据该地址（目标代码运行时，根据该地址（*operandoperand）可获得常数值，无需间址访问。）可获得常数值，无需间址访问。）可获得常数值，无需间址访问。）可获得常数值，无需间址访

45、问。目标代码生成器可根据地址范围来区分是符号表地址还是常数表地址，从而使用不同的寻址方式。目标代码生成器可根据地址范围来区分是符号表地址还是常数表地址，从而使用不同的寻址方式。目标代码生成器可根据地址范围来区分是符号表地址还是常数表地址，从而使用不同的寻址方式。目标代码生成器可根据地址范围来区分是符号表地址还是常数表地址，从而使用不同的寻址方式。14现在学习的是第14页，共60页6.3 中间代码中间代码 常用的中间代码有三元式和四元式，在本书以后讨论中，中间代码采用四元式形式。常用的中间代码有三元式和四元式，在本书以后讨论中，中间代码采用四元式形式。常用的中间代码有三元式和四元式，在本书以后讨

46、论中，中间代码采用四元式形式。常用的中间代码有三元式和四元式，在本书以后讨论中，中间代码采用四元式形式。6.3.1 三元式三元式格式格式 (i)（OP，ARG1，ARG2）三元式相当于二地址指令三元式相当于二地址指令三元式相当于二地址指令三元式相当于二地址指令,计算结果用三元式序号计算结果用三元式序号计算结果用三元式序号计算结果用三元式序号i i表示。表示。表示。表示。ARG1 ARG1、ARG2ARG2均为指示器（三元式的序号、常数表地址或符号表入口）。均为指示器（三元式的序号、常数表地址或符号表入口）。均为指示器（三元式的序号、常数表地址或符号表入口）。均为指示器（三元式的序号、常数表地址

47、或符号表入口）。若为一目运算，若为一目运算，若为一目运算，若为一目运算，ARG2ARG2不使用。不使用。不使用。不使用。例表达式例表达式例表达式例表达式a+b*2a+b*2可表示为：可表示为：可表示为：可表示为：*&b&b&2&2/代表子表达式代表子表达式代表子表达式代表子表达式b*2b*2的计算结果的计算结果的计算结果的计算结果 +&a&a /&b/&b表示变量表示变量表示变量表示变量b b在符号表中的入口在符号表中的入口在符号表中的入口在符号表中的入口 /&2/&2表示整常数表示整常数表示整常数表示整常数2 2在整常数表中的地址在整常数表中的地址在整常数表中的地址在整常数表中的地址 15现

48、在学习的是第15页，共60页优点优点优点优点 代码生成无需引进临时变量。代码生成无需引进临时变量。代码生成无需引进临时变量。代码生成无需引进临时变量。缺点缺点缺点缺点 调整困难。调整困难。调整困难。调整困难。在中间代码优化中，常常需要调整运算顺序、增减代码，重新排列三元式。由于三元式通过指示器相在中间代码优化中，常常需要调整运算顺序、增减代码，重新排列三元式。由于三元式通过指示器相在中间代码优化中，常常需要调整运算顺序、增减代码，重新排列三元式。由于三元式通过指示器相在中间代码优化中，常常需要调整运算顺序、增减代码，重新排列三元式。由于三元式通过指示器相联系，调整相当困难，有时甚至是不可能的。

49、联系，调整相当困难，有时甚至是不可能的。联系，调整相当困难，有时甚至是不可能的。联系，调整相当困难，有时甚至是不可能的。例，设源程序为：例，设源程序为：例，设源程序为：例，设源程序为：x=(a+b)*c;x=(a+b)*c;y=-dy=-d它的三元式代码为：它的三元式代码为：它的三元式代码为：它的三元式代码为：+&a&a&b&b*&c&c =&x&x -&d&d =&y&y 若将源程序中的二条语句互换，改为：若将源程序中的二条语句互换，改为：若将源程序中的二条语句互换，改为：若将源程序中的二条语句互换，改为：y=-d;y=-d;x=(a+b)*c x=(a+b)*c需修改三元式中一系列指示器，

50、如下所示：需修改三元式中一系列指示器，如下所示：需修改三元式中一系列指示器，如下所示：需修改三元式中一系列指示器，如下所示：-&d&d =&y&y +&a&a&b&b*&c&c=&x&x 16现在学习的是第16页，共60页6.3.2 四元式四元式格式格式（OP，ARG1，ARG2，RESULT）相当于三地址指令。相当于三地址指令。相当于三地址指令。相当于三地址指令。ARG1 ARG1、ARG2ARG2及及及及RESULTRESULT均为指示器，或者指向常数表，或者是符号表和临时变量表的入口。均为指示器，或者指向常数表，或者是符号表和临时变量表的入口。均为指示器，或者指向常数表，或者是符号表和临