x86_64 Linux程序集中的逻辑与实现

标准解决方案是实施 a && b

if (a)
    return (b);
else
    return (0);

i、 e.使用条件跳转。在足够新的x86上,您还可以使用 cmov

; assumes input in eax and ebx
mov ecx, eax    ; ecx = A
test ebx, ebx   ; B?
cmovnz ecx, ebx ; ecx = A ? B : A

这是一个没有跳跃的答案:假设您想要计算 RCX 和 RDX 并将其存储在 RAX RBX (注意,被调用的函数通常必须保留 RBX公司

xorl %eax, %eax   # RAX = 0
xorl %ebx, %ebx   # RBX = 0
cmpq %rcx, %rbx   # CF = (RCX != 0)
adcb %bl, %al     # RAX = (RCX != 0)
cmpq %rdx, %rbx   # CF = (RDX != 0)
adcb %bl, %al     # RAX = (RCX != 0) + (RDX != 0)
shrb $1, %al      # RAX = ((RCX != 0) + (RDX != 0)) >> 1

现在 RAX == 1 RCX != 0 RDX != 0 ; 否则 RAX == 0

AND 说明)。