GCC内联汇编含栈操作：如何避免变量使用ESP相对寻址？

这绝对是GCC内联汇编里的经典坑——当你在汇编代码里执行push/pop这类修改ESP栈指针的操作时，编译器之前生成的ESP相对内存寻址会直接失效，毕竟push会让ESP的值减小，原来的偏移量自然就对应不到正确的变量位置了。下面给你几个实用的解决办法：

方法1：用寄存器传递变量（最推荐） #

直接让编译器把变量的值加载到通用寄存器里，在汇编代码里用寄存器操作，完全绕开内存寻址的问题。这样不管栈指针怎么变，寄存器里的值都是稳定的。

比如原来有问题的代码可能是这样的：

int var = 42;
asm volatile (
    "pushl %0\n"
    "popl %0\n"
    : "=m"(var)
    : "m"(var)
);

改成用寄存器约束"r"，让编译器自动分配寄存器存储变量：

int var = 42;
asm volatile (
    "pushl %0\n"
    "popl %0\n"
    : "=r"(var)  // 输出用寄存器
    : "r"(var)   // 输入用寄存器
);

这样汇编里直接操作寄存器，完全不会依赖ESP的位置，问题直接解决。

方法2：提前把变量地址存入寄存器 #

如果必须直接操作变量的内存（比如变量很大或者有其他内存访问需求），可以先把变量的地址放到一个寄存器里，在汇编代码里通过寄存器间接访问内存。因为地址是在push操作前计算好的，后续栈指针变化不会影响这个地址的值。

示例代码：

int var = 42;
int *var_ptr = &var;  // 提前获取变量地址
asm volatile (
    "pushl (%0)\n"   // 通过寄存器访问内存
    "popl (%0)\n"
    :
    : "r"(var_ptr)   // 传入地址寄存器
    : "memory"       // 告诉编译器内存被修改了
);

方法3：强制编译器使用EBP相对寻址 #

GCC默认在开启优化（甚至-O0下部分场景）时会省略EBP帧指针，改用ESP做栈寻址。你可以通过编译选项-fno-omit-frame-pointer强制编译器保留EBP帧指针，这样变量的内存地址会基于EBP生成（比如0xc(%ebp)），而EBP在函数执行过程中是固定不变的，push/pop修改ESP不会影响EBP的位置，自然就不会出现寻址错误。

如果不想全局加编译选项，也可以给单个函数加属性：

__attribute__((noomit_frame_pointer))
void your_function() {
    int var = 42;
    asm volatile (
        "pushl %0\n"
        "popl %0\n"
        : "=m"(var)
        : "m"(var)
    );
}

方法4：告诉编译器汇编会修改ESP（部分GCC版本支持） #

在汇编的clobber列表里加上esp，明确告诉编译器这段汇编代码会修改栈指针。编译器收到这个提示后，就不会生成依赖ESP的内存访问，转而使用EBP相对寻址或者其他方式。

示例：

int var = 42;
asm volatile (
    "pushl %0\n"
    "popl %0\n"
    : "=m"(var)
    : "m"(var)
    : "esp", "memory"  // 声明修改了ESP和内存
);

注意：这个方法不是所有GCC版本都支持，如果你用的是较老的编译器，可能会报错，这时候优先用前面的方法。

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