7.4 布尔表达式和控制流语句

 

7.4 布尔表达式和控制流语句

布尔表达式在编程语言中发挥着核心作用，尤其是在控制流语句中。这些表达式不仅用于计算逻辑值，更常用于作为条件表达式，决定程序的执行路径。接下来，我们将讨论布尔表达式的定义以及它们在控制流语句中的应用。

7.4.1 布尔表达式

布尔表达式的定义和运算可以归纳为以下几点：

• 基本构成：布尔表达式由逻辑运算符（如 or、and、not）和关系运算符（relop，如 <、>、== 等）构成。
• 优先级：按照通常的编程惯例，or 的优先级最低，其次是 and，最高的是 not。
• 短路计算：在 C 和 Java 等语言中，布尔表达式采用短路计算，即如果表达式的结果在部分计算后就可以确定，则不继续计算剩余部分。

表示布尔值的方法

布尔表达式的值可以通过两种主要方法表示：

1. 数值化：将 true 和 false 数值化，常用 1 表示 true，0 表示 false。这种方法使布尔表达式的处理类似于算术表达式。
2. 控制流：通过程序的控制流来表示布尔表达式的值，适用于短路计算。在控制流语句中，根据布尔表达式的结果进行跳转，而不关心具体的数值。

控制流语句中的布尔表达式

在控制流语句（如 if-then、if-then-else、while-do 等）中，布尔表达式的结果决定了程序执行的路径。编译器生成的中间代码需要能够根据布尔表达式的计算结果选择正确的执行分支。

实现短路计算

短路计算的实现需要编译器生成能够根据计算的部分结果进行条件跳转的中间代码。例如，对于表达式 B1 or B2，如果 B1 为 true，则整个表达式的值为 true，无需计算 B2。

中间代码生成

在生成控制流语句的中间代码时，编译器采用适合短路计算的策略，通过生成条件跳转指令来实现。这种方法不仅效率高，而且在很多情况下更自然地符合程序员的意图。

总结

布尔表达式在编程语言中扮演着至关重要的角色，尤其是在控制流语句的上下文中。编译器在处理这些表达式时必须考虑到短路计算的特性，并生成相应的中间代码来准确地控制程序的执行流程。数值化方法和控制流方法各有适用场景，编译器设计者需要根据具体情况选择最合适的实现策略。

7.4.2 控制流语句的翻译

在编程语言中，控制流语句如 if-then, if-then-else, while-do, 和顺序语句 (S;S?) 是构建程序逻辑的基础。编译器通过生成相应的三地址指令来实现这些控制流语句的功能，确保程序按照预定逻辑执行。本节将探讨如何将这些控制流语句翻译为三地址代码。

布尔表达式和跳转逻辑

控制流语句的翻译依赖于布尔表达式的评估结果。编译器利用布尔表达式的真（true）或假（false）结果来控制程序的跳转逻辑。例如，if-then 语句根据布尔表达式的结果决定是否执行 then 部分的代码。

三地址代码结构

图7.12 描述了 if-then, if-then-else, while-do, 和顺序语句的三地址代码结构。这些结构展示了如何使用标号（例如 B.true, B.false, S.begin, S.next）来实现程序的跳转逻辑。

标号和跳转

• B.true 和 B.false：这两个标号分别用于表示布尔表达式为真或假时的跳转目标。
• S.begin 和 S.next：用于控制语句执行流程的开始和结束位置。

翻译示例

• if-then 语句：首先执行布尔表达式 B 的三地址代码 (B.code)，根据结果跳转到 B.true 或 B.false。如果 B 为真，则执行 then 部分的代码 (S.code)。
• if-then-else 语句：类似于 if-then，但增加了 else 部分的处理。如果 B 为假，则跳转到 B.false，执行 else 部分的代码。
• while-do 语句：循环开始前设置一个标号 S.begin，执行布尔表达式 B 的代码，如果 B 为真，执行循环体 S 的代码，然后跳回 S.begin 继续循环；如果 B 为假，跳转到 S.next 结束循环。

语义规则和代码生成

表7.2 展示了控制流语句的语法制导定义和相应的语义规则。这些规则指导编译器如何根据控制流语句的结构生成三地址代码。特别地，使用函数 gen 来生成和拼接代码段，|| 表示代码串的连接。

结论

控制流语句的三地址代码翻译是编译器设计中的一个重要环节。它涉及到布尔表达式的评估、程序跳转逻辑的实现，以及相应的三地址代码的生成。通过精心设计的语义规则和翻译方案，编译器能够将高级语言中的控制流语句准确地转换为中间代码，从而为后续的代码优化和目标代码生成打下基础。

7.4.3 布尔表达式的控制流翻译

在编译过程中，布尔表达式的翻译对于实现条件控制流语句至关重要。这些表达式通常用于 if-then, if-then-else, while-do 等结构中，控制程序的执行路径。本节讨论了如何将布尔表达式转换为一系列条件转移和无条件转移的三地址指令序列，特别是如何有效利用短路计算来优化生成的代码。

布尔表达式的基本翻译思想

布尔表达式的翻译基于以下几个关键思想：

• 基本形式：对于形如 a < b 的基本布尔表达式，生成的代码简单为 if a < b goto B.true; goto B.false。
• 逻辑 OR (or)：对于 B1 or B2，如果 B1 为真，则整个表达式为真；只有当 B1 为假时，才需要计算 B2。
• 逻辑 AND (and)：对于 B1 and B2，如果 B1 为假，则整个表达式为假；只有当 B1 为真时，才需要计算 B2。
• 逻辑非 (not)：对于 not B1，只需交换 B1.true 和 B1.false。

控制流优化

利用短路计算的原则，编译器可以避免生成不必要的代码，例如，在 or 和 and 运算中，通过条件跳转直接到达正确的标号，从而减少运行时的计算量。

代码生成示例

考虑布尔表达式 a < b or c < d and e < f，其翻译策略如下：

1. 对于 a < b，生成条件跳转到 B.true，否则继续。
2. 对于 c < d，如果为假，则直接跳转到 B.false（实现 and 的短路计算）。
3. 如果 c < d 为真，继续计算 e < f，根据结果跳转到 B.true 或 B.false。

这种方式既实现了短路计算，又通过最少的指令完成了布尔表达式的评估。

例子：控制流语句

对于控制流语句 while a<b do if c<d then x:=y+z else x:=y-z，结合布尔表达式的翻译和控制流语句的翻译方案，编译器可以生成如下三地址代码：

L1: if a < b goto L2
    goto Lnext
L2: if c < d goto L3
    goto L4
L3: t1 = y + z
    x = t1
    goto Lnext
L4: t2 = y - z
    x = t2
Lnext: goto L1

通过优化条件测试的方向，可以进一步减少无条件跳转指令的数量，提高代码的运行效率。

总结

布尔表达式的控制流翻译是编译器设计中的一个重要方面，它不仅涉及到条件控制语句的实现，还关系到代码的效率和优化。通过合理的翻译策略和短路计算的应用，可以有效减少生成的中间代码量，同时确保程序逻辑的正确执行。

 

7.4.4 开关语句的翻译

开关语句（或分情况语句，如 switch-case 语句）是多种编程语言中常见的控制流结构，允许根据表达式的值跳转到多个不同的代码分支。编译器将这些语句转换成一系列条件转移和无条件转移的三地址指令序列，有效地控制程序的执行流程。

开关语句的执行流程

1. 计算表达式：首先计算开关表达式 E 的值。
2. 分支测试：在常量集 V1, V2, …, Vn 中寻找与 E 值相同的常量。若找到，则匹配该常量对应的分支；否则，执行 default 分支。
3. 执行匹配分支：执行匹配到的常量后的语句。
4. 语句执行结束：完成上述步骤后，开关语句执行结束。

分支测试的实现方法

少量分支的处理

对于少量的分支（例如少于10个），将开关语句翻译成一系列的条件转移指令是合理的。这种方式直接对每个 case 进行比较，然后跳转到相应的标号。

多量分支的优化

对于较多的分支，可以采用集中处理分支测试的代码，提高效率。一个常用的方法是使用 case 指令，将所有分支测试集中在语句的一部分，通常是语句的末尾，以便于优化。

特殊情况的处理

当常量值较多，或者常量值分布在一个小区间内时，可以使用更高效的数据结构（如散列表或标号表）来实现分支测试。对于连续的常量值，构造一个标号表，使得每个常量值对应的标号按偏移量存储在表中，可以快速地进行跳转。

代码生成示例

考虑以下开关语句：

switch E
    case V1: S1
    case V2: S2
    ...
    default: Sdefault

编译器生成的代码结构大致如下：

1. 计算 E 的值，并将结果存储在临时变量 t 中。
2. 跳转到测试部分 goto test。
3. 对每个 case 生成相应的语句代码，并在每个 case 语句后添加 goto next。
4. 在 test 标签下，根据 t 的值通过 case 指令或条件判断跳转到相应的标号。

通过上述方法，编译器可以高效地将开关语句转换成中间代码，同时优化分支测试的过程，确保即使在分支较多的情况下也能快速地找到匹配的 case 分支。

结论

开关语句的翻译是编译器设计中的一个重要方面，涉及到如何高效地实现条件分支的选择和跳转。通过采用适当的数据结构和优化策略，编译器能够为开关语句生成紧凑且高效的中间代码，为后续的代码优化和目标代码生成打下良好的基础。