32位汇编语言学习笔记(11)--条件传送指令



条件传送指令如下：

cmove S, D //等于0时传送

cmovz S, D //同cmove

cmovne S, D //不等于0时传送

cmovnz S, D //同cmovne

 

cmovs S, D //负数时传送

cmovns S, D //非负数时传送

 

cmovg S, D //有符号大于时传送

cmovnle S, D //同cmovg

cmovge S, D //有符号大于等于时传送

cmovnl S, D //同cmovge

cmovl S, D //有符号小于时传送

cmovnge S, D //同cmovl

cmovle S, D //有符号小于等于时传送

cmovng S, D //同cmovle

 

cmova S, D //无符号大于时传送

cmovnbe S, D //同cmova

cmovae S, D //无符号大于等于时传送

cmovnb S, D //同cmovae

cmovb S, D //无符号小于时传送

cmovnae S, D //同cmovb

cmovbe S, D //无符号小于等于时传送

cmovna S, D //同cmovbe

 

示例：

int absdiff(int x, int y)

{

   return x < y ? y-x : x-y;

}

 

gcc -O1 -S -m32-march=i686 test_absdiff.c

 

absdiff:

       pushl  %ebp

       movl   %esp, %ebp

       pushl  %ebx

       movl   8(%ebp), %ecx //ecx = x

       movl   12(%ebp), %edx //edx = y

       movl   %edx, %ebx //ebx = y

       subl   %ecx, %ebx //ebx = y - x

       movl   %ecx, %eax //eax = x

       subl   %edx, %eax // eax = x -y

       cmpl   %edx, %ecx //比较x和y

       cmovl  %ebx, %eax //如果x小于y，eax = ebx = y -x

       popl   %ebx

       popl   %ebp

       ret

 

如果不添加-march=i686，生成汇编代码如下：

 

absdiff:

       pushl  %ebp

       movl   %esp, %ebp

       movl   8(%ebp), %edx //edx = x

       movl   12(%ebp), %eax //eax = y

       cmpl   %eax, %edx //比较x和y

       jge    .L2 //如果x大于等于y，跳转到L2

       subl   %edx, %eax //eax = y - x

       jmp    .L4 //跳转到L4

.L2:

       subl   %eax, %edx //edx = x - y

       movl   %edx, %eax //eax = edx = x- y

.L4:

       popl   %ebp

       ret

 

两份汇编代码的区别是，一个使用了条件传送，另外一个使用了跳转指令。跳转指令需要处理器做分支预测，但是条件传送指令不需要，因此，使用条件传送指令的汇编代码效率要高一点。