adc和sbb的数学理解

add ax,bx

adc dx,cx

对于adc不难理解即从add指令中获得进位.

sub ax,bx

sbb dx,cx

而对于sbb指令,如何证明dx*(2^16)+ax-cx*(2^16)-bx即为以上指令所描述的意思呢?

对于所有减法运算a-b,都可以转换为a+(~b)+1,其中~为求反,数学上的理解即为2^k-b+a,对于上面的等式也不例外,dx*(2^16)+ax-cx*(2^16)-bx则可以表示为

2^32+dx*(2^16)+ax-cx*(2^16)-bx

=[2^16+dx-cx]*(2^16)+[ax-bx]

如果ax>=bx

即ax-bx不产生借位,即2^16+ax-bx的结果在ax等于ax-bx(最高位超出ax范围舍弃),即sub ax,bx

而2^16+dx-cx自然就为sbb dx,cx(CF=0的情况)

如果ax<bx

即ax-bx产生借位,同样为2^16+ax-bx,但CF=1

此时如果想等式成立,则需变更为[2^16+dx-cx-1]*(2^16)+[2^16+ax-bx]

即借位成为前部分等式扣去的1,与sbb含义相同