减法后使用SBB RCX，RCX的进位标志

Question

我正在读一本书：[xchg rax, rax]。以下是本书的0x03片段，我无法理解这一点。

sub      rdx,rax
sbb      rcx,rcx
and      rcx,rdx
add      rax,rcx

我一直在研究这个问题一周（每天几分钟）。我研究了一些试图解决它的事情：数字的有符号表示，减法如何工作，减法后CF的作用。根据{{​​3}}回答和给出的this列表。除了可能出现溢出的情况之外，我没有看到减法后检查CF的重点。

在什么情况下在减法后检查进位标志是否有用？

Answer 1

实际上，代码是一种聪明的无分支方式rax = min(rax, rdx)。

sub rdx, rax ; rdx = rdx - rax; CF set if rdx < rax
sbb rcx, rcx ; rcx = all 1 bits if CF was set, 0 otherwise
and rcx, rdx ; rcx = rdx - rax if CF was set, 0 otherwise
add rax, rcx ; rax = rax + (rdx - rax) = rdx if CF was set, unchanged otherwise

更易读的分支版本是：

cmp rdx, rax
jnc done ; if rdx - rax produced no carry, rax is smaller or equal
mov rax, rdx ; otherwise rdx is the smaller one
done:

它仍然只是使用CF进行溢出检查。