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

第6章 语法制导翻译和中间代码生成 6.1 语法制导翻译概述 6.2 符号表和常数表 6.3 中间代码 6.3.2 四元式 6.4 说明语句（简单变量）的翻译 6.5 整型算术表达式及赋值语句的翻译 6.6 混合型 6.7 布尔表达式的翻译 6.8 标号和无条件转移语句的翻译 6.9 控制语句的翻译 6.9.1 if-then语句的翻译 6.9.2 if-then-else语句的翻译 6.9.3 while-do语句的翻译 6.9.4 复合语句的翻译 6.10 小结 ②实例引入 例：if a∨bc then S1 else S2 翻译成如下四元式序列： (1) (jnz,a,0,5) //对应于布尔变量a (2) (jmp,0,0,3) //对应于布尔变量a (3) (j,b,c,5) //对应于布尔表达式bc (4) (jmp,0,0,m+1) //对应于布尔表达式bc (5) 语句S1的四元式代码开始 … …………………………… (m-1) 语句S1的四元式代码结束 (m) (jmp,0,0,n+1) (m+1) 语句S2的四元式代码开始 … …………………………… (n) 语句S2的四元式代码结束 1）每个布尔变量或关系表达式对应二个四元式，条件和无条件转移四元式各一。四元式⑴⑵对应于布尔变量a，四元式⑶⑷对应于关系表达式bc，原布尔运算消失。 2）四元式⑴至⑷中含有多余的四元式，如⑵是不需要的。 3）布尔表达式的真假出口（转移目标地址） E(1)∨E(2): E(1)的真出口是整个布尔表达式E(1)∨E(2)真出口 E(2)的第一个四元式地址是E(1)的假出口 E(2)的真假出口是整个布尔表达式E(1)∨E(2)的真假出口 E(1)∧E(2): E(1)的假出口是整个布尔表达式E(1)∧E(2)假出口 E(2)的第一个四元式地址是E(1)的真出口 E(2)的真假出口是整个布尔表达式E(1)∧E(2)的真假出口 ～E(1)： 只要调换E(1)的真假出口就可得到～E(1)的真假出口 若后继输入符号为∧，则可将⑴式的第四项置为3；若后继输入符号为∨，可将⑵式的第四项置为3。 另外一个未填转移地址的四元式的地址只能作为语义值保存下来。当整个布尔式处理完毕，再来回填它的真出口；当处理到else，再回填它的假出口。 ③问题的提出 在自下而上的分析过程中，语法分析器是自左至右扫描输入符号串，一个布尔表达式的真假出口，往往不能在产生四元式的同时填入。 接上例，首先将i归约为X，X.addr保留变量a在符号表中的入口地址。然后将X归约为E时，产生二个四元式如下： (jnz,a,0,?) (jmp,0,0,?) ④解决办法 1）修改文法 E→EAE|EOE|～E|(E)|XrX|X EA→E∧ //A表示and EO→E∨ //O表示or X→X+X|X*X| (X)|-X|i|x 通过文法修改解决了一半问题。 EA→E∧ 当E∧归约为EA时，可填真出口，真出口为下一个四元式地址，而假出口无法填写。 E0→E∨ 当E∨归约为E0时，可填假出口，假出口为下一个四元式地址，而真出口无法填写。 2）引进语义变量.tc和.fc保存未填转移目标的四元式地址 布尔表达式由若干子表达式构成，转移目标地址只有二个，或为真出口、或为假出口。为了记录和回填方便，利用四元式的第四项（改称为next）构成二条单向链。赋予E、EA和EO另外二个语义值.tc和.fc，分别记录需回填真假出口单向链的链首。 假定布尔表达式E的四元式中需回填真出口的有p、q和r三个四元式，这三个四元式可构成一单向链，链首由E.tc指出。 当X或XrX归约为E时，将产生二个四元式。用E.tc指向第一个四元式，用E.fc指向第二个四元式，并将四元式的第四项置为0，表示链尾。如下所示： 在分析过程中，利用语义值传递和合并链的方法，最终完成两根真假出口链的构造。在if-then-else语句中，当翻译完布尔表达式，就可找到真出口，利用E.tc进行回填。当翻译完语句S1，就可知道假出口，利用E.fc进行回填。 3）变量和函数 nxq指示器 nxq指向下一个将要形成但尚未形成的四元式地址（编号）。nxq初值为1，每执行一次gen_code函数之后，nxq自动增1。 链合并函数merg(p1,p2) 将以p1和p2为链首的二条单向链合并为一条，并且将合并后的链首作为返回值。若p2为空，则以p1为合并后的链首；若p2非空，则以p2为合并后的链首。 回填函数backpatch(p,t) 将以p为链首的单向链中的每个四元式的第四项