32位汇编语言学习笔记(6)--设置条件码



条件码保存在条件码寄存器中，用于描述算术和最近逻辑操作的属性。最常用的条件码有：

CF：进位标志。

ZF：零标志。

SF：符号标志。

OF：溢出标志。

算术和逻辑操作指令都会修改条件码的值，但是leal指令不会修改条件码的值。

此外，cmp指令和test指令也会修改条件码。

cmp S2, S1
将S1-S2的结果与0进行比较，分别对应大于0，等于0和小于0三种情况，不同比较结果会设置不同的条件码的值。

test S2, S1
测试S1 & S2结果值，分别对应大于0，等于0和小于0三种情况，不同比较结果会设置不同的条件码的值。

set系列指令会根据条件码的值设置目的寄存器的值：

sete D，等于0，D=ZF。

setz D，与sete相同。

setne D，不等于0，D=~ZF。

setnz D，与setne相同。

sets D，负数，D=SF。

setns D，非负数，D=~SF。

setg D，有符号大于，D=~(SF
^ OF)& ~ZF。

setnle D，与setg
D相同。

setge D，有符号大于等于，D=~(SF
^ OF)。

setnl D，与setge相同。

setl D，有符号小于，D=SF
^ OF。

setnge D，与setl
D相同。

setle D，有符号小于等于，D=(SF
^ OF)| ZF。

setng D，与setle
D相同。

seta D，无符号大于，D=~CF
&~ZF。

setnbe D，与seta
D相同。

setae D，无符号大于等于，D=~CF。

setnb D，与setae
D相同。

setb D，无符号小于，D=
CF。

setnae D，与setb
D相同。

setbe D，无符号小于等于，D=
CF | ZF。

setna D，与setbe相同。

示例：

char ctest_1(int a, int b)

{

char t1 =
a <
b;

return t1;

}

gcc -O1 -S -m32 ctest_1.c

ctest_1:

pushl
%ebp

movl
%esp, %ebp

movl
12(%ebp), %eax

cmpl
%eax, 8(%ebp)
//比较a和b

setl
%al //如果a<b，al会设置成1，否则设置成0。

movzbl
%al, %eax //eax的高位3字节用0来填充。

popl
%ebp

ret

char ctest(int a, int b, int c)

{

char t1 =
a <
b;

char t2 =
b <
(unsigned) a;

char t3 = (short) c >= (short) a;

char t4 = (char) a != (char)
c;

char t5 =
c >
b;

char t6 =
a >
0;

return t1 + t2 + t3 + t4 + t5 + t6;

}

gcc -O1 -S -m32 ctest.c

ctest:

pushl
%ebp

movl
%esp, %ebp

pushl
%esi

pushl
%ebx

movl
8(%ebp), %ebx//ebx = a

movl
12(%ebp), %ecx // ecx = b

movl
16(%ebp), %esi //esi = c

cmpl
%ecx, %ebx //比较a和b

setl
%al //al = (a < b)
= t1

testl
%ebx, %ebx //测试a的值是正数、负数还是0

setg
%dl //dl = (a > 0) = t6

addl
%edx, %eax //al = t1 + t6

cmpl
%ebx, %ecx //比较b和a

setb
%dl //dl = (b <(unsigned) a) = t2

addl
%edx, %eax //al = t1 + t6+ t2

cmpl
%ecx, %esi //比较c和b

setg
%dl //dl = (c > b) = t5

addl %edx, %eax // al = t1 + t6 + t2 + t5

cmpw
%bx, %si //把c和a强转成16位整数后进行比较

setge
%dl //dl = ((short)c>=(short) a) = t3

addl
%edx, %eax // al = t1 + t6+ t2 + t5 + t3

movl
%esi, %edx //把c的值装入edx

cmpb
%dl, %bl //把a和c强转成8位整数后进行比较

setne
%dl // dl = ((char) a !=(char) c) = t4

addl
%edx, %eax // al = t1 + t6+ t2 + t5 + t3 + t4

movsbl
%al,%eax //对eax高位3字节用0来填充

popl
%ebx

popl
%esi

popl
%ebp

ret