ARMv7汇编语言:如何添加两个uint32_t并返回uint64_t结果

Question

我是一个初学者，对ARM7汇编语言编程进行修补，并且一直被困在这个问题上。

我试图在C中实现一个函数，它使用两个无符号32位vars (uint32_t A和uint32_t B)，将它们相加在一起，然后返回一个uint64_t值，其中和包含进位。

我在下面包含了我的C代码和ARM7汇编语言代码。但是，我的代码没有输出正确的值；这可能是由于我的ASM指令。另外，我使用32位计算机运行Linux。

addVal.s (代码如下)

.global addVal 

.text

addVal:
    ADD R0, R0, R1
    ADC R0, R1 
    BX LR

addVal.c (代码如下)

#include <stdio.h>
#include <stdint.h>

extern uint64_t addVal(uint32_t x, uint32_t y);

int main()
{
  uint32_t a, b;
  uint64_t c;
  a = 4000000000;
  b = 1000000000;
  c = addVal(a,b);
  printf("a = %u\r\n", a);
  printf("b = %u\r\n", b);
  printf("c = a + b = %llu\r\n", c);
  return 0;

}

在命令行上使用

as -o addVal addVal.o addVal.s
gcc -o addVal addVal_s.o addVal.c
./addVal

Answer 1

ADC R0, R1错了。

当uint64_t超过单个寄存器的大小时，它会扩展到后续的寄存器范围。低字位于R0中，高字位于R1中。因此，ADC的目标寄存器需要是R1。

第二个问题是，您不希望将R1的原始低字添加到结果高字中，而只添加进位。所以您可以先清除R1。

.text
.arm
.global addVal 
.func addVal
addVal:
    ADDS R0, R0, R1
    MOV R1, #0
    ADC R1, R1, #0
    BX LR