在描述语义动作时,需要赋予每个文法符号以各种不同的值,这些值统称为语义值。 示例:结合了语义分析的LR分析过程 在每一次归约时,都必须保存符号的语义值。 通常,语义子程序是某种中间代码生成随着语法分析的进行,中间代码也逐步生成。事实上,语法制导翻译方既可以用来生成各种中间代码 ,也可用来直接产生目标指令,甚至可以用来对输入符号串解释执行。
编译程序的任务是将源翻译成目标程序。
语义分析需要:
操作各符号的语义值完成源程序中各个语句的翻译 将源代码翻译成目标代码。通常情况下,语义分析生成某种中间代码:
由于通用性和优化的考虑目标代码并不是最终的与硬件相关汇编代码或目标代码中间代码是一种与具体机器无关的抽象代码。有多种形式:三地址代码、四元式、后缀式、语法树。
三地址代码的语句的一般形式:x:=y op z 或(op,y,z,x),包含一个操作码(op)和三个地址(x,y,z),对运算类操作,两个地址(y和z)指出两个运算对象,另一个地址(x)用来存放运算结果。
示例:
四元式:
四元式出现顺序和表达式计值顺序一致四元式之间的联系通过临时变量来实现示例:
语义子程序中常用的变量、函数:
说明语句的主要工作:
不产生可执行指令仅负责填表,将被说明对象的类型及相对存储位置记入各自的符号表中
目标代码生成的主要问题:
需要根据目标机器的特性,选择合适的指令,生成最短的目标代码为了提高目标代码的执行效率,要充分利用目标机器的寄存器
结论: