ARM base instruction -- adc

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

带进位加法将两个寄存器值和进位标志值相加，并将结果写入目标寄存器。

32-bit variant
    Applies when sf == 0.
    ADC <Wd>, <Wn>, <Wm>

64-bit variant
    Applies when sf == 1.
    ADC <Xd>, <Xn>, <Xm>

Decode for all variants of this encoding
 integer d = UInt(Rd);
 integer n = UInt(Rn);
 integer m = UInt(Rm);
 integer datasize = if sf == '1' then 64 else 32;

Operation
 bits(datasize) result;
 bits(datasize) operand1 = X[n];
 bits(datasize) operand2 = X[m];
 
 (result, -) = AddWithCarry(operand1, operand2, PSTATE.C);
 
 X[d] = result;

做比 32 位大的加法, 加两个 128 位的数。

 128 位结果: 寄存器 0、1、2、和 3
 第一个 128 位数: 寄存器 4、5、6、和 7
 第二个 128 位数: 寄存器 8、9、10、和 11。

  ADDS    R0, R4, R8              ; 加低端的字
  ADCS    R1, R5, R9              ; 加下一个字，带进位
  ADCS    R2, R6, R10             ; 加第三个字，带进位
  ADCS    R3, R7, R11             ; 加高端的字，带进位