语法制导翻译和中间代码生成 (2).pptVIP

当然，对布尔表达式采用不同的计值方法，与之相应的翻译方法也不同。按照布尔表达式的第一种计值方法。布尔表达式E1orE2andnotE3翻译成的四元式序列可以表示为（1）tl:=notE3（2）t2:=E2andtl（3）t3:=E1ort2如果E1是一个关系表达式，如A＞B，那么我们可以把它看成与之等价的条件语句第31页，共55页，星期日，2025年，2月5日ifA＞Bthen1else0来进行处理，翻译成的四元式序列为：（l）ifa＞bgoto（4）（2）t:=0（3）goto（5）（4）t:=1（5）…其中用临时变量t存放布尔表达式a＞b的值，（5）为后续的四元式序号。第32页，共55页，星期日，2025年，2月5日当布尔表达式出现在控制语句（如if-then；if-then-else和while-do等）中用做条件控制时，布尔表达式的作用就不仅仅是计值了，更重要的是决定程序控制流的转向。三种控制语句的语法及其代码结构如下控制结构语法if-thenifEthenS1if-then-elseifEthenS1elseS2while-dowhileEdoS1第33页，共55页，星期日，2025年，2月5日布尔表达式E的值（真或假）决定着控制流的转向，我们把E取真值和取假值时的两个出口分别叫做真出口和假出口，出口的目标分别叫E.true和E.false。三种控制语句的代码结构E的代码S1的代码E的代码S1的代码S2的代码E的代码S1的代码TFFFTTif-thenif-then-elsewhile-do第34页，共55页，星期日，2025年，2月5日那么，对于E为aropb的形式生成代码为:ifaropbgotoE.truegotoE.false值得注意的是，对于E为E1orE2的形式的情况，如果E1为真，则E为真，即E1的真出口和E的真出口一样，无需考虑E2；如果E1为假，就必须计算E2的值，这时E1的假出口就是E2代码的第一个四元式标号，这时E2和E具有相同的真、假出口。第35页，共55页，星期日，2025年，2月5日例5.4：布尔表达式aborcd可以翻译为如下四元式序列:（1）ifabgotoE.true（2）goto（3）（3）ifcdgotoE.truegotoE.false例5.4：分析语句ifaborcdthenS1elseS2分析可知，当ab为真时，可直接执行S1语句序列，不需要再考虑cd；但是，若ab为假时，则第36页，共55页，星期日，2025年，2月5日需要计算cd是否为真，若cd为真，则执行S1语句序列，若cd为假，则执行S2语句序列。所以，当ab与cd分别为真时，程序控制流的转向是一致的，即具有相同真出口。根据上述分析可得到如下四元式：（1）ifabgoto（5）（2）goto（3）（3）ifcdgoto（5）（4）goto（p＋1）（5）（关于S1的四元式序列）……（p）goto（q）第37页，共55页，星期日，2025年，2月5日（p＋1）（关于S2的四元式序列）……（q）（控制语句的后继四元式序列）分析可知，上述（5）是整个布尔表达式的真出口，但是在生成（1）（3）的时候，地址（5）是未知的，必须要等到将整个布尔表达式的四元式产生完毕后才知道。所以这个地址需要回填。同理，（p＋1）是假出口，在生成（4）的时候该地址也是未知的，因此也需要回填。为了记录需要回填地址的四元式，通常采用“拉链”的办法：把需要回填E.true和E.false的四元式分别形成一条链，分别叫做“真”链和“假”链。第38页，共55页，星期日，2025年，2月5日考虑上述四元式序列中，真链的形成过程：（1）ifabgotoE.true……（3）ifcdgotoE.true……则拉链如下（1）ifabgoto（0）……（3）ifcdgoto（1）其中，地址（3）称作链首，0作为链尾标志，即地址（1）为链尾。第39页，共55页，星期日，2025年，2月5日第1页，共55页，星期日，2025年，2月5日代码优化静态存储分配目标代码生成7