超过4个参数的ARM调用约定:信息冲突

被调用者不需要 流行音乐 他们(也不应该),只是 负载 他们您可以将它们保留在内存中,直到您为它们做好准备,无需为它们保存/恢复更多保留调用的寄存器,除非您真的想同时在寄存器中存储更多数据。例如。

int foo(int a, int b, int c, int d, int e, int f) {
    return a+b+c+d+e+f;
}

使用ARM GCC-O3编译( https://godbolt.org/z/v6v6ch4vf )

foo(int, int, int, int, int, int):
        add     r0, r0, r1       @ a+=b
        ldr     r1, [sp]         @ load e into r1, since b is now dead
        add     r0, r0, r2       @ a+=c
        ldr     r2, [sp, #4]     @ load f since c is now dead.
        add     r0, r0, r3
        add     r0, r0, r1
        add     r0, r0, r2
        bx      lr

通过尽快安排这些加载,编译器可以隐藏一些加载使用延迟,因为每次加载都尽可能早于加载结果的使用。

r0..r3和r12 ^1. 是唯一的 call-clobbered 在GCC正在使用的标准AAPCS调用约定的版本中注册;看见 What registers to save in the ARM C calling convention? 嗯,LR被调用为clobbed,但如果我们真的clobbed了,我们就必须保存/恢复返回地址。

堆栈指针保留调用;当控件返回给调用者时,它必须与进入函数时相同。(换句话说,堆栈参数(如果有的话)是调用方弹出的。)

所以,如果你真的弹出了一些堆栈参数,你需要 sub sp, #8 在返回以还原它之前的某个时刻。(例如,如果您完成了r0..r3,并且可能会弹出到其中一些寄存器中)。

脚注1: 我不知道为什么GCC没有更早地加载到r12中( ip );即使有 -marm 为了确保它的目标是ARM模式,它不使用它。(在Thumb模式中,高8寄存器不能与许多指令一起使用)。GCC不认为它的调用被保留:甚至强迫它用将值复制到该寄存器 register int y asm("r12") 和一个 asm 语句不会使其保存/恢复该寄存器。 https://godbolt.org/z/GMhbMscqT