Описание:

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

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

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

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

mov edx, 0             ; EDX = 0
mov eax, 0FFFFFFFFh    ; первое 32-битное слагаемое помещаем в EAX
add eax, 0FFFFFFFFh    ; второе 32-битное слагаемое - 0xFFFFFFFFh, производим сложение двух 32-битных операндов
adc edx, 0             ; EDX = EDX + CF, учитываем перенос 
                       ; EDX:EAX = 0000000lh:FFFFFFFEh - полученный 64-битный результат

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

mov eax, operand1      ; EAX = operand1, первое 32-битное слагаемое помещаем в EAX
add eax, operand2      ; производим сложение двух 32-битных операндов в обратном коде
into                   ; переход к обработчику прерывания в случае переполнения

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

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

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

Операция: