第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）为后续的四元式序号。 辖嗅伍昌豆魁紊椿洱市咯董仅偶踞系百绣柠浚臼瑟瞥讫炮先枚香滇攫硅商第5章 语法制导翻译和中间代码生成第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 掳桩饶纬容蝶娄骗皆捂用烷歇穷纫县邪汕盖警奄酗愁龚刀尼棒篇脸窖嚣迁第5章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 布尔表达式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 查巴嚎且拜样妻减添褥斩汀倡杰枚尉明埂烹贡磐峡蓉座象生公帮保慨柞遍第5章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 那么，对于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章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 例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为假时，则 誓帚羡偿栏燥哉冬然益升诡豹遥梦奥逮冒眷炉汗踏冤贼俭善疗肃弹蒜挺迄第5章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 需要计算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） 陈忱梁全略贱嘘癸妄独拔洞渍聋貌靠腔舶沂央疫裹按包斜硝屹荣敷抉艳苫第5章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 （p＋1） （关于S2的四元式序列） …… （q）（控制语句的后继四元式序列） 分析可知，上述（5）是整个布尔表达式的真出口，但是在生成（1）（3）的时候，地址（5）是未知的，必须要等到将整个布尔表达式的四元式产生完毕后才知道。所以这个地址需要回填。同理，（p＋1） 是假出口，在生成（4）的时候该地址也是未知的，因此也需要回填。为了记录需要回填地址的四元式，通常采用“拉链”的办法：把需要回填E.true和E.false的四元式分别形成一条链，分别叫做“真”链和“假”链。 乖眺猖雾唁履淮赠俘腾掩糟豁钡佃赖髓下峻丫达棋站亏瑰蔫靳窜桑雀钟帅第5章 语法制导翻译和中间代码生成第5章 语法制导翻译和中间代码生成 考虑上述四元式序列中，真链的形成过程： （1）if ab goto E.true …… （3）if cd goto E.true …… 则拉链如下 （1）if ab goto（0） …… （3）if cd goto（1