ARM64：从汇编分支到函数时如何保护整个堆栈

Question

我有以下 ARM64 汇编代码：

.text
.arch armv8-a
.type testARM64, STT_FUNC
.global testARM64

testARM64:
arg1    .req x0
arg2    .req x1
arg3    .req x2
arg4    .req x3
arg5    .req x4
arg6    .req x5
tmp .req x9


    mov tmp, #0

    mov x0, #1
    bl debugAssembly

    mov tmp, #2

    ret

.unreq arg1
.unreq arg2
.unreq arg3
.unreq arg4
.unreq arg5
.unreq arg6
.unreq tmp

我叫它：

#include <stdlib.h>

void testARM64(int arg1, int arg2, int arg3, int arg4, int arg5, int arg6);

void debugAssembly(int a) {
    fprintf(stderr, "Debug 0x%d\n", a);
}

int main(int argc, char **argv) {
    testARM64(0, 0, 0, 0, 0, 0);
    return 0;
}

分支到 debugAssembly 时如何保护整个堆栈？我的意思是什么相当于 push/pop ARM 指令，无论参数的数量和我在我的程序集中使用任何临时寄存器做什么都可以工作？ （我不需要保护/保存车道）。

Answer 1

您需要保存 fp reg 和链接寄存器——通常使用 stp x29, x30, [sp, #0x10] 之类的东西来完成！假设您的平台使用 x29 作为 fp - 在您调用另一个函数并在退出函数之前恢复值之前。否则，当您使用其他函数时，链接寄存器（保存调用者的返回地址）将被覆盖。您的 ABI 可能需要堆栈指针的 16 字节对齐，因此即使您的平台不使用帧指针，您也需要将两个寄存器保存到堆栈中。

我建议反汇编您的编译器生成的一些简单函数，并将其指令用作您自己的手写例程的模型。