ARM架构下函数调用的寄存器传参机制解析与实践

1次阅读

共计 1693 个字符，预计需要花费 5 分钟才能阅读完成。

在 ARM 架构开发中，函数调用的参数传递机制对程序性能和内存使用有直接影响。与 x86 架构不同，ARM 架构的寄存器数量有限，这使得参数传递机制的设计尤为重要。由于寄存器的访问速度远快于内存，合理利用寄存器传参可以显著提升程序执行效率。然而，这也带来了挑战：

寄存器资源有限 ：ARM 架构通常只有 16 个通用寄存器（r0-r15），其中部分寄存器有特殊用途（如栈指针、链接寄存器等），可用于传参的寄存器更少。
性能开销 ：当参数数量超过可用寄存器时，多余的参数需要通过栈传递，这会增加内存访问的开销。
调用约定复杂性 ：不同的编译器或平台可能采用不同的调用约定（如 AAPCS、AAPCS64），开发者需要理解并遵守这些约定以避免错误。

ARM 架构的标准调用约定是 AAPCS（ARM Architecture Procedure Call Standard），它规定了寄存器在函数调用中的使用规则：

参数传递 ：前 4 个整型或指针参数通过 r0-r3 传递，多余的参数通过栈传递。浮点参数则通过专门的浮点寄存器传递（如 s0-s15）。
返回值 ：整型或指针返回值通过 r0 传递，浮点返回值通过 s0 或 d0 传递。
寄存器保存 ：被调用函数必须保存 r4-r11（如果使用），r0-r3 和 r12 可以被调用函数自由修改。

当函数调用需要保存寄存器或局部变量时，会构建栈帧。典型 ARM 栈帧结构包括：

参数区域 ：存放通过栈传递的参数。
返回地址 ：由链接寄存器（lr）保存，通常在函数入口压栈。
保存寄存器区域 ：保存被调用函数需要保护的寄存器（如 r4-r11）。
局部变量区域 ：存放函数的局部变量。

以下是一个简单的 ARM 汇编函数调用示例，展示参数传递和返回值：

; 函数定义：int add(int a, int b)
add:
    add r0, r0, r1  ; r0 = a + b
    bx lr           ; 返回

; 调用函数
main:
    mov r0, #2      ; 第一个参数 a =2
    mov r1, #3      ; 第二个参数 b =3
    bl add          ; 调用 add 函数
    ; 此时 r0=5

以下是一个 C 语言内联汇编的示例，展示如何通过寄存器传参：

int add(int a, int b) {
    int result;
    __asm__("add %[res], %[a], %[b]\n"
        : [res] "=r" (result)
        : [a] "r" (a), [b] "r" (b)
    );
    return result;
}

int main() {int sum = add(2, 3);  // 通过 r0 和 r1 传参
    return 0;
}

寄存器传参与栈传参的性能差异主要体现在：