C语言编译器的设计与实现

现在对分析器的分析栈加以扩充，使得每个文法符号之后都跟着它的语义值。

为了清晰起见，我们把这个栈的每项看成由三部分组成状态，文法符号和语义值。

编译程序实现算术表达式布尔表达式及程序语句的语义加工时，都是按这种状态栈加工方式进行的。

例如的分析过程序号真的代码假出口的四元式串。

的真出口只有在往回扫描到时才能知道，而它图条件语句的代码结构的假出口则需到处理过并且到达才能明确。

这就是说，必须把的值传下去，以便到达相应的时才进行回填。

另外，当语句执行完时意味着整个语句也已执行完毕因此，在的编码之后应产生条无条件转移指令。

这条转移指令将导致程序控制离开整个语句。

但是，在完成的翻译之前，这条无条件转移指令的转移目标是不知道的。

甚至，在翻译完之后，这条转移指令的转移目标仍无法确定。

这种情形是由于语句的嵌套性所引起的。

例如下面的语句在的代码之后的那条无条件转移指令不仅应跨越而且应跨越。

这也就是说，转移目标的确定和语句所处的环境密切相关。

条件循环语句条件循环语句通常被翻译成图的代码结构。

布尔式的真出口出向代码段的第个四元式。

紧接代码段之后应产生条转向测试的无条件转移指令。

的假出口将导致程序控制离开整个语句。

的假出口目标即使在整个语句翻译完之后也未必明确。

例如这种情况仍是由于语句的嵌套性引起的。

所以，我们只好把它作为语句的语义值暂留下来，以便在处理外层语句时再伺机回填。

语法翻译实现方法将上述语法翻译付诸实现过程中，我们仅保留了算术表达式和布尔表达式翻译的文法和语义动作面对程序语句的翻译，由于改造后含有较多的非终结符且语义动作又相对简单，故仍恢复为改造之前的程序语句文法。

由于总体上构造个分析表来实现语法分析及语义加工将使得所构造的分析表过大，所以将其分为下面三部分处理对算术表达式单独处理，即为算术表达式构造个分析表，并将赋值语句与算术表达式归为类处理，处理之后的赋值语句仅看作为程序语句文法中的个终结符。

对布尔表达式也单独处理，并为其构造个分析表，经分析表处理后的布尔表达式看作为程序语句文法中的个终结符。

程序语句文法此时变为此时为程序语句构造相应的分析表就简单多了。

前面的程序语句文法中所添加的非终结符是为了能及时回填有关四元式转移目标而引入的，在取消了这些非终结符后又如何解决及时回填转移目标的问题呢我们采取的解决方法是增加两个数组和来分别记录语句嵌套中每层布尔表达式如果有的话的首地址以及每层如果有的话之前的四元式地址即无条件转出此层语句的四元式。

也即，对程序语句的翻译来说在处理完布尔表达式后，回填或语句的真值链在归约完每个语句之后检查符号栈，看在之前的文法符号是否或，若是则回填假值链假值入口为语句所对应的四元式序列之后对语句，此时已在该序列之在分析过程中，第步操作后的状态栈为，根据栈顶状态和现行输入符号栏字符串的第个字符查分析表即按第个产生式来进行归约由于产生式右部仅含项，故去掉状态栈栈顶此时变为新的栈顶状态，再查，的下状态即将状态和文法符号压栈，最后得到第步的状态。

第步操作后也是如此，当前状态栈为，根据栈顶状态和现行输入符号查分析表即按第个产生式进行归约由于产生式右部有三项，故去掉状态栈栈顶的三项此时变为新的栈顶状态，再查，的下状态即将状态和文法符号压栈，最后得到第步的状态。

三中间代码生成器设计布尔表达式布尔表达式在程序语言中有两个基本作用是用作控制语句如或