使用汇编语言实现逻辑表达式

在高级编程语言中可以使用复合表达式，但是大家可能并不了解语言编译器是如何将其转化为机器代码的。下面来介绍一下如何使用汇编语言来实现复合表达式。

逻辑 AND 运算符

汇编语言很容易实现包含 AND 运算符的复合布尔表达式。考虑下面的伪代码，假设其中进行比较的是无符号整数：

短路求值

下面的例子是短路求值的简单实现，如果第一个表达式为假，则不需计算第二个表达式。高级语言的规范如下：

        cmp a1,b1                  ;第一个表达式…
        ja L1
        jmp next
L1:     cmp b1, c1                 ;第二个表达式…
        ja L2
        jmp next
L2:   mov X, 1                     ;全为真：将 X 置 1
next:

如果把第一条 JA 指令替换为 JBE，就可以把代码减少到 5 条：

        cmp    a1,b1                  ; 第一个表达式…
        jbe next                      ; 如果假，则退出
        cmp    b1,c1                  ; 第二个表达式…
        jbe next                      ; 如果假，则退出
        mov    X, 1                   ; 全为真
next:

若第一个 JBE 不执行，CPU 可以直接执行第二个 CMP 指令，这样就能够减少 29% 的代码量（指令数从 7 条减少到 5 条）。

逻辑 OR 运算符

当复合表达式包含的子表达式是用 OR 运算符连接的，那么只要一个子表达式为真，则整个复合表达式就为真。以如下伪代码为例：

在下面的实现过程中，如果第一个表达式为真，则代码分支到 L1；否则代码直接执行第二个 CMP 指令。第二个表达式翻转了 > 运算符，并使用了 JBE 指令：

        cmp a1, b1                  ; 1：比较 AL 和 BL
        ja L1                       ; 如果真，跳过第二个表达式
        cmp b1, c1                  ; 2：比较 BL 和 CL
        jbe next                    ; 假：跳过下一条语句
L1:     mov X, 1                    ; 真：将 x 置 1
next:

对于一个给定的复合表达式而言，汇编语句有多种实现方法。