assembly - 我怎样才能将两个数字相加，每个数字有 12 个字节？

Question

我想将两个 12 字节的数字相加并将结果存储在 16 字节的变量中。我该怎么做？

section .data
    big_num1 dd 0x11111111, 0x22222222, 0x33333333
    big_num2 dd 0xffffffff, 0x22222222, 0x33333333
section .bss   
    result_4word resd 4

我想我可以将数字 1 的前 4 个字节与数字 2 的其他前 4 个字节相加，依此类推。但我不知道如何将结果连接到我的结果变量中。如果需要，我应该如何携带？这个解决方案正确吗？

xor eax, eax
xor ebx, ebx
mov ecx, 3
loop1:
mov eax, dword[big_num1+4*(ecx-1)]
mov ebx, dword[big_num2+4*(ecx-1)]
mov [result_4word+4*(ecx-1)], eax
adc [result_4word+4*(ecx-1)], ebx
loop loop1

Answer 1

big_num1 dd 0x11111111, 0x22222222, 0x33333333
big_num2 dd 0xffffffff, 0x22222222, 0x33333333

这里定义了什么数字？

因为 x86是小端架构，数字的最低部分存储在最低地址的内存中。对于 big_num1，第一个定义的双字(值为 0x11111111)位于最低地址，因此是数字的最低部分。在正常的数字表示中，这是右侧的内容。

big_num1 == 0x333333332222222211111111
big_num2 == 0x3333333322222222FFFFFFFF

大数相加

你从右到左添加相应的数字，就像每个人在学校学到的一样。

在这些数字的十六进制表示中，有 24 位数字需要考虑。然而，由于该架构是 32 位的，我们可以很好地制作 3 组 8 位数字。

对于第一组，我们简单地使用ADD:

mov     eax, [big_num1]           ;   0x11111111
add     eax, [big_num2]           ; + 0xFFFFFFFF <-- This produces a carry
mov     [result_4dword], eax      ;   0x00000000

对于第二组，我们使用 ADC 从之前的加法中获取可能的进位:

mov     eax, [big_num1 + 4]       ;   0x22222222
adc     eax, [big_num2 + 4]       ; + 0x22222222 + CF=1  <-- No new carry
mov     [result_4dword + 4], eax  ;   0x44444445

对于第 3 组，我们使用 ADC 从之前的加法中获取可能的进位:

mov     eax, [big_num1 + 8]       ;   0x33333333
adc     eax, [big_num2 + 8]       ; + 0x33333333 + CF=0  <-- No new carry
mov     [result_4dword + 8], eax  ;   0x66666666

把它变成一个循环

这里的关键是，如果我们事先明确清除进位标志，我们也可以对第一组使用ADC:

clc
mov     eax, [big_num1]           ;   0x11111111
adc     eax, [big_num2]           ; + 0xFFFFFFFF + CF=0 <-- This produces a carry
mov     [result_4dword], eax      ;   0x00000000

现在我们可以编写一个具有 3 次迭代的循环，但我们必须注意不要无意中更改进位标志。这就是为什么我使用 LEA 而不是 ADD 来提高偏移量的原因。 DEC也是一条不破坏进位标志的指令。我更喜欢 DEC ECX JNZ ... 组合，因为它比 LOOP ... 更好:

    mov     ecx, 3
    xor     ebx, ebx              ; This additionally clears the carry flag
Again:
    mov     eax, [big_num1 + ebx]
    adc     eax, [big_num2 + ebx] ; Can produce a new carry flag
    mov     [result_4dword + ebx], eax
    lea     ebx, [ebx + 4]        ; This does not clobber the carry flag
    dec     ecx                   ; This does not clobber the carry flag
    jnz     Again

如果在这 3 次加法之后仍然有一组进位，你必须在 result_4dword 的第 4 个双字中写一个 1，否则你必须写此处为 0。因为 result_4dword 在 .bss 部分，所以你不应该指望任何预设值，比如零!

    setc    cl
    mov     [result_4dword + ebx], ecx  ; ECX=[0,1]

---

请注意，我已将 result_4word 更改为 result_4dword。更有意义...