Описание:

Команда SBB (Integer Subtraction with Borrow) относится к группе команд целочисленной (или двоичной) арифметики (Binary Arithmetic Instructions) и производит целочисленное вычитание, вычитая из первого операнда (DEST) второй операнд (SRC) и флаг переноса EFLAGS.CF (операнды могут быть знаковыми или беззнаковыми). Первый операнд (операнд-назначение, DEST) может быть переменной в регистре или в памяти (r8, r16, r32, r/m8, r/m16, r/m32). Второй операнд (операнд-источник, SRC) — непосредственным значением (imm8, imm16, imm32), переменной в регистре или в памяти. При этом оба операнда одновременно не могут быть переменными в памяти.

Результат вычитания командой SBB помещается на место первого операнда (DEST). Флаги в регистре EFLAGS устанавливаются в соответствии с полученным результатом.

При вычитании непосредственного значения imm8 или imm16 из двухбайтного или четырехбайтного операнда-источника непосредственная величина прежде всего знакорасширяется до размера первого операнда, и только после этого выполняется вычитание.

Команда SBB обычно используется в многобайтных или многословных (multi-word) операциях вычитания. В таком случае она идет вслед за командой SUB, которая возвращает разность младших разрядов многобайтных (многословных) операндов, позволяя при вычитании старших разрядов учитывать перенос (заем). Например:

mov edx, 0             ; EDX = 0
mov eax, 000000001h    ; первый 32-битный операнд (уменьшаемое) помещаем в EAX
sub eax, 0FFFFFFFFh    ; второй 32-битный операнд (вычитаемое), производим вычитание двух 32-битных операндов
sbb edx, 0             ; EDX = EDX - CF, учитываем заем
                       ; EDX:EAX = FFFFFFFFh:000000002h - полученный 64-битный результат

Команда SBB позволяет манипулировать целочисленными операндами как в беззнаковом формате, так и в формате со знаком. При вычитании данных со знаком флаг знака EFLAGS.SF будет отражать знак полученного результата. Флаг переполнения EFLAGS.OF установится в 1, если при вычитании целочисленных значений со знаком, представленных в обратном коде или в дополнительном коде, произошло переполнение (заем в старший значащий разряд, которому соответствует бит, предшествующий разряду знака), то есть полученный результат превышает доступный размер операнда-назначения (DEST). По сути, это аналогично тому, как флаг EFLAGS.CF отражает переполнение (заем) при вычитании беззнаковых операндов. Например, при вычитании двух 32-битных значений, представленных в обратном коде, это может выглядеть следующим образом:

mov eax, operand1      ; EAX = operand1, первый 32-битный операнд (уменьшаемое) помещаем в EAX
sub eax, operand2      ; производим вычитание двух 32-битных операндов в обратном коде
into                   ; переход к обработчику прерывания в случае переполнения

sbb eax, 0             ; EAX = EAX - CF, учитываем заем (необходимо для вычитания в обратном коде)
                       ; EAX = operand1 - operand2 - результат вычитания в обратном коде
jns m1                 ; переход, если результат положительный
not eax
bts eax, 31            ; преобразование отрицательного значения в EAX к прямому коду
m1:                    ; EAX - результат вычитания в прямом коде

Флаг вспомогательного (или дополнительного) переноса EFLAGS.AF помогает манипулировать данными в двоично-десятичном формате (упакованный BCD-формат). Он устанавливается, если при вычитании возникает заем в младшую тетраду из старшей тетрады младшего байта результата. Используя команду DAS сразу же вслед за командой SBB, можно произвести так называемую десятичную коррекцию результата вычитания и получить разность в таком же упакованном BCD-формате, как и исходные операнды.

Команда SBB с операндом-назначением (DEST), являющимся переменной в памяти, может использоваться совместно с префиксом блокировки LOCK, который обеспечит атомарное исполнение команды.

Операция: