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

if A＞B then 1 else 0来进行处理，翻译成的四元式序列为： （l）if a＞b goto（4） （2）t := 0 （3）goto（5） （4）t := 1 （5）… 其中用临时变量t存放布尔表达式a＞b的值，（5）为后续的四元式序号。 当布尔表达式出现在控制语句（如if-then；if-then-else和while-do等）中用做条件控制时，布尔表达式的作用就不仅仅是计值了，更重要的是决定程序控制流的转向。 三种控制语句的语法及其代码结构如下 控制结构 语法 if-then if E then S1 if-then-else if E then S1 else S2 while-do while E do S1 布尔表达式E的值（真或假）决定着控制流的转向，我们把E取真值和取假值时的两个出口分别叫做真出口和假出口，出口的目标分别叫E.true和E.false。 三种控制语句的代码结构 E的代码 S1的代码 E的代码 S1的代码 S2的代码 E的代码 S1的代码 T F F F T T if-then if-then-else while-do 那么，对于E为a rop b的形式生成代码为: if a rop b goto E.true goto E.false 值得注意的是，对于E为E1or E2的形式的情况，如果E1为真，则E为真，即E1的真出口和E的真出口一样，无需考虑E2；如果E1为假，就必须计算E2的值，这时E1的假出口就是E2代码的第一个四元式标号，这时E2和E具有相同的真、假出口。 例5.4 ： 布尔表达式ab or cd可以翻译为如下四元式序列: （1）if ab goto E.true （2）goto（3） （3）if cd goto E.true goto E.false 例5.4 ： 分析语句if ab or cd then S1 else S2 分析可知，当ab为真时，可直接执行S1语句序列，不需要再考虑cd；但是，若ab为假时，则 需要计算cd是否为真，若cd为真，则执行S1语句序列，若cd为假，则执行S2语句序列。所以，当a b与cd分别为真时，程序控制流的转向是一致的，即具有相同真出口。根据上述分析可得到如下四元式： （1）if ab goto（5） （2）goto（3） （3）if cd goto（5） （4）goto（p＋1） （5）（关于S1的四元式序列） …… （p）goto（q） （p＋1） （关于S2的四元式序列） …… （q）（控制语句的后继四元式序列） 分析可知，上述（5）是整个布尔表达式的真出口，但是在生成（1）（3）的时候，地址（5）是未知的，必须要等到将整个布尔表达式的四元式产生完毕后才知道。所以这个地址需要回填。同理，（p＋1） 是假出口，在生成（4）的时候该地址也是未知的，因此也需要回填。为了记录需要回填地址的四元式，通常采用“拉链”的办法：把需要回填E.true和E.false的四元式分别形成一条链，分别叫做“真”链和“假”链。 考虑上述四元式序列中，真链的形成过程： （1）if ab goto E.true …… （3）if cd goto E.true …… 则拉链如下 （1）if ab goto（0） …… （3）if cd goto（1） 其中，地址（3）称作链首，0作为链尾标志，即地址（1）为链尾。 * 文法和语言的基本知识 编译概述 词法分析与有穷自动机 语法分析 语法制导翻译和中间代码生成 符号表的组织和管理 1 2 3 4 5 6 代码优化 静态存储分配 目标代码生成 7 8 9 编译中的语义处理是两个功能：第一，审查每个语法结构的静态语义，即验证语法结构合法的程序是否真正有意义。有时把这个工作称为静态语义分析或静态审查。第二，如果静态语义正确，语义处理则要执行真正的翻译，即，要么生成程序的一种中间边式形式（中间代码），要么生成实际的目标代码。 §5.1 属性文法 属性文法的形式定义：一个属性文法形式上可定义为一个三元组A，A=（G，V，F）。其中G表示一个上下文无关文法；V表示属性的有穷集；F表示有关属性的断言或谓词的有穷集。 属性可以分为综合属性和继承属性两类。综合属性一般用于自下而上传递信息，而继承属性常常用于自上而下传递信息。 简单算术表达式求值的属性文法。 规则 语义规则 1.S→E print（E.v