为何movl指令中%rbp与%rax是无效操作数？

首先，你的代码存在两个明确的错误：

1. 指令方向完全颠倒 #

你需要把%rbp的值存入%rax，但写的movl %rax, %rbp是将%rax的值复制到%rbp，和需求完全相反，正确的指令方向应为movl %rbp, %rax（还要注意下面的寄存器宽度问题）。

2. 32位操作数不匹配64位寄存器 #

你的Mac是x86-64架构，%rbp和%rax都是64位通用寄存器。movl是32位数据传输指令，用它操作64位寄存器会自动清零高32位，但你需要完整的64位栈帧地址，因此应该使用64位的movq指令，或者直接用mov（编译器会自动匹配寄存器宽度）。

修正语法错误的代码 #

先解决编译报错的基础版本：

int some_variadic_function(int n, ...)
{
    __asm__("movq %rbp, %rax"); // 修正指令方向与宽度
    return 0;   
}

int main() {
    some_variadic_function(3, 1, 2, 3);
    return 0;
}

更安全的内联汇编写法 #

直接硬编码寄存器可能破坏编译器的寄存器分配策略，引发未知bug。更规范的做法是利用GCC/clang的内联汇编约束，让编译器管理寄存器：

int some_variadic_function(int n, ...)
{
    unsigned long rbp_value;
    // 将%rbp的值存入rbp_value变量
    __asm__("movq %%rbp, %0" : "=r"(rbp_value));
    // 此时rbp_value即为当前栈帧的基址
    return 0;   
}

额外注意事项 #

• 若要获取“创建外部变量时不会改变的栈帧引用”，需注意编译器优化：x86-64架构下clang默认启用-fomit-frame-pointer，此时%rbp不会作为栈帧基址，而是被当作普通通用寄存器使用，拿到的%rbp值并非栈帧地址。如需强制使用栈帧，编译时需添加-fno-omit-frame-pointer选项。
• 可变参数函数有特定的栈布局规则，直接操作寄存器时要避免破坏函数调用约定。

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