x86汇编_高级语言的IF语句_笔记_37

高级语言的if条件格式

if( 布尔表达式 )
    条件分支_1
else
    条件分支_2

在汇编中，则是用多个步骤来实现这种结构的。首先，对布尔表达式求值，这样一来某个 CPU 状态标志位会受到影响。然后，根据相关 CPU 状态标志位的值，构建一系列跳转把控制传递给两个语句列表。

下面代码中，如果 op1 等于 op2，则执行两条赋值语句：

if( op1 == op2 )
{
    X = 1;
    Y = 2;
}

在汇编语言中，这种 IF 语句转换为条件跳转和 CMP 指令。由于 op1 和 op2 都是内存操作数（变量），因此，在执行 CMP 之前，要将其中的一个操作数送入寄存器。

下面实现 IF 语句的程序是高效的，

mov eax, op1
cmp eax,op2                  ; op1 == op2?
jne L1                       ; 否：跳过后续指令
mov X, 1                     ; 是：X, Y 赋值
mov Y, 2
L1:

如果用 JE 来实现 == 运算符，生成的代码就没有那么紧凑了（6 条指令，而非 5 条指令）：

mov eax, op1
cmp eax,op2              ; op1 == op2?
je L1                    ; 是：跳转到 L1
jmp L2                   ; 否：跳过赋值语句
L1： mov X, 1            ; X, Y 赋值
     mov Y, 2
L2 :

总结与探讨，在遇到高级语言的if分支时，汇编分支条件的写法反着来可能效果更佳。