Intel ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS MANUAL VOLUME 1 REV 2.3 Manual page 1327

ADC—Add with Carry
Opcode
14 ib
15 iw
15 id
80 /2 ib
81 /2 iw
81 /2 id
83 /2 ib
83 /2 ib
10 / r
11 / r
11 / r
12 / r
13 / r
13 / r
Description
Adds the destination operand (first operand), the source operand (second operand),
and the carry (CF) flag and stores the result in the destination operand. The destination
operand can be a register or a memory location; the source operand can be an
immediate, a register, or a memory location. The state of the CF flag represents a carry
from a previous addition. When an immediate value is used as an operand, it is
sign-extended to the length of the destination operand format.
The ADC instruction does not distinguish between signed or unsigned operands.
Instead, the processor evaluates the result for both data types and sets the OF and CF
flags to indicate a carry in the signed or unsigned result, respectively. The SF flag
indicates the sign of the signed result.
The ADC instruction is usually executed as part of a multibyte or multiword addition in
which an ADD instruction is followed by an ADC instruction.
Operation
DEST  DEST + SRC + CF;
Flags Affected
The OF, SF, ZF, AF, CF, and PF flags are set according to the result.
Additional Itanium System Environment Exceptions
Itanium Reg Faults NaT Register Consumption Abort.
Itanium Mem FaultsVHPT Data Fault, Nested TLB Fault, Data TLB Fault, Alternate Data
Volume 4: Base IA-32 Instruction Reference
Instruction
ADC AL, imm8
ADC AX, imm16
ADC EAX, imm32
ADC r/m8 , imm8
ADC r/m16,imm16
ADC r/m32,imm32
ADC r/m16,imm8
ADC r/m32,imm8
ADC r/m8,r8
ADC r/m16,r16
ADC r/m32,r32
ADC r8,r/m8
ADC r16,r/m16
ADC r32,r/m32
TLB Fault, Data Page Not Present Fault, Data NaT Page Consumption
Abort, Data Key Miss Fault, Data Key Permission Fault, Data Access
Rights Fault, Data Access Bit Fault, Data Dirty Bit Fault
Description
Add with carry imm8 to AL
Add with carry imm16 to AX
Add with carry imm32 to EAX
Add with carry imm8 to r/m8
Add with carry imm16 to r/m16
Add with CF imm32 to r/m32
Add with CF sign-extended imm8 to r/m16
Add with CF sign-extended imm8 into r/m32
Add with carry byte register to r/m8
Add with carry r16 to r/m16
Add with CF r32 to r/m32
Add with carry r/m8 to byte register
Add with carry r/m16 to r16
Add with CF r/m32 to r32
4:25