adc

Add with Carry (64-bit)

ADC <Xd>, <Xn>, <Xm>

Adds two 64-bit register values and the Carry flag.

Pseudocode Operation

Xd ← Xn + Xm + C

Example

ADC x0, x1, x2

Encoding

Binary Layout

1

31

0

30

0

29

11010000

28:21

Rm

20:16

000000

15:10

Rn

9:5

Rd

4:0

 

Format Data Processing (3-source)

Opcode 0x9A000000

Extension Base

Operands

• Xd
  Dest (64-bit)
• Xn
  First source / base 64-bit integer register
• Xm
  Second source / offset 64-bit integer register

Related

Other forms of adc

• adc Add with Carry
• adc Add with Carry (A32)

Across architectures

Add With Carry : how x86, ARM, RISC-V, and PowerISA each do this.

More in Base

Reference

View in Arm A64 ISA Reference ↗ Arm A64 ISA

Instruction Forms

Encoding	Instruction		ISA		Bit pattern
0x1A000000	ADC <Wd>, <Wn>, <Wm>		A64		0 | 0 | 0 | 11010000 | Rm | 000000 | Rn | Rd
0x9A000000	ADC <Xd>, <Xn>, <Xm>		A64		1 | 0 | 0 | 11010000 | Rm | 000000 | Rn | Rd

Description

Add with Carry adds two register values and the Carry flag value, and writes the result to the destination register.

Operation

bits(datasize) result;
bits(datasize) operand1 = X[n, datasize];
bits(datasize) operand2 = X[m, datasize];

(result, -) = AddWithCarry(operand1, operand2, PSTATE.C);

X[d, datasize] = result;