C编译器剖析_5.3.1 中间代码生成及优化_If语句和复合语句的翻译

5.3.1   If语句和复合语句的翻译

    我们先简单回顾一下对布尔表达式的翻译，我们通过调用TranslateBranch函数来产生跳转指令，从而实现布尔表达式的语义。在使用函数TranslateBranch(expr, bt, bn)时，有这么两个约定：

    (1) 当expr为真时，跳往bt基本块；

    (2) 紧随“函数TranslateBranch所生成的跳转指令”之后的基本块为bn。

   在表达式的基础上，我们来讨论一下语句的翻译。图5.3.1用于if语句的翻译，第4至8行说明了如何翻译“if(expr) stmt”，我们需要创建trueBB和nextBB这两个基本块；而第12至18行阐述了如何翻译“if(expr)  stmt  else stmt”语句，我们需要创建trueBB、falseBB和nextBB这3个基本块。图5.3.1第29至34行的代码用于翻译“if(expr) stmt”，而第35至43行的代码用于翻译“if(expr) stmt else stmt”。

图5.3.1 TranslateIfStatement()

    由图5.3.1可以发现，在理解了表达式翻译的前提下，if语句的翻译就较容易理解了。而其他的控制流语句，包括do语句、while语句和for语句也与此类似，我们就不再啰嗦。接下来，我们来讨论复合语句的翻译。

    语法上，复合语句的产生式如下所示，由可选的声明列表和语句列表构成。其中的声明可以带有初值。

CompoundStatement  -->  { DeclarationList_opt  StatementList_opt}