Apple M1 macOS环境下aarch64汇编调用printf异常问题咨询

以下是Linux aarch64汇编代码迁移到Apple M系列芯片平台后，调用printf出现参数乱码的核心原因，均来自苹果官方公开的AArch64平台ABI规范：

• 符号命名规则差异

macOS下的C标准库全局符号默认携带下划线前缀，你在Linux下调用printf，在macOS下需要改为调用_printf，如果符号名称错误，会导致跳转地址异常，执行时寄存器参数读取完全错位，出现乱码甚至崩溃。

• 地址加载规则差异

macOS默认要求生成位置无关可执行文件（PIE），不能直接用ldr x0, =fmt这类绝对地址加载写法加载字符串、全局变量地址，需要用adrp + add的页偏移寻址方式加载地址，否则会导致x0寄存器存储的格式串地址无效，输出乱码。
正确的格式串加载写法参考：

// 加载fmt字符串的地址到x0
adrp x0, fmt@PAGE
add x0, x0, fmt@PAGEOFF

• 栈对齐强制要求

标准AArch64 ABI都要求函数调用前栈指针sp必须对齐到16字节边界，但Linux下部分场景对未对齐的容错性更高，而macOS下是严格校验的。如果调用printf前sp未对齐到16字节，会导致printf内部读写栈参数时错位，哪怕你参数是存在x0~x2寄存器中，也会因为printf内部的寄存器溢出操作出现参数读取错误，表现为输出乱码。
正确的栈操作写法参考：

// 进入函数时先压栈对齐，x29和x30共16字节，符合对齐要求
stp x29, x30, [sp, #-16]!
mov x29, sp

// 函数逻辑...

// 退出前恢复栈
ldp x29, x30, [sp], #16
ret

• 可变参数函数内部布局差异

如果你是自己实现可变参数函数而非直接传参调用printf，需要注意macOS下va_list的结构和Linux下完全不同，不能复用Linux下的可变参数读写逻辑，但如果只是直接调用printf传参，该差异不会产生影响。

可正常运行的调用示例 #

// 汇编源文件：test.s
// 编译命令：clang -o test test.s
.data
// 要输出的格式串
fmt: .asciz "输出参数：x1 = %d, x2 = %d\n"
.text
.global _main
_main:
    // 栈对齐操作
    stp x29, x30, [sp, #-16]!
    mov x29, sp

    // 正确加载格式串地址到x0
    adrp x0, fmt@PAGE
    add x0, x0, fmt@PAGEOFF
    // 第一个可变参数存入x1
    mov x1, #1234
    // 第二个可变参数存入x2
    mov x2, #5678
    // 调用带下划线前缀的_printf
    bl _printf

    // 程序退出返回0
    mov w0, #0
    ldp x29, x30, [sp], #16
    ret

内容的提问来源于stack exchange，提问作者asdfasdf1001