GCC编译器优化取地址的非volatile局部变量是否合法？

合法，这完全符合C标准和GCC的优化规则。

为什么会被优化？ #

你可能误以为“取了变量地址”编译器就不能动它，但实际上编译器的优化逻辑核心是变量是否被实际读写。你的代码里，long a = x;之后，除了把&a传给asm的输入约束，没有任何对a的读或写操作——对编译器来说，&a只是计算一个内存地址，只要它判断asm不会真的访问这个地址，就可以把a的栈存储优化掉。

虽然你的asm里确实访问了RAX指向的内存（也就是a的地址），但编译器根本不知道这回事！你只加了"memory" clobber，这只会让编译器假设asm可能修改任意内存，但不会强制它保留一个“看起来没被使用”的变量。编译器觉得a没被读写，自然没必要为它分配栈空间，第二次调用f(1)时，RAX还是上一次asm里清零后的0，访问空指针直接触发段错误。

怎么正确解决？ #

你用volatile long a = x;能修复问题，是因为volatile直接告诉编译器：这个变量可能被外部（比如你的asm）偷偷访问，必须保留它的内存存储，不能优化。

不过更规范的做法是通过asm约束明确告诉编译器你要访问这个内存，而不是靠volatile“硬怼”：

• 如果不需要指针，直接传变量值：

asm volatile(
    "xorq %%rcx, %%rcx;"
    "cmpq %0, %%rcx;"
    "xorq %%rax, %%rax"
    :
    : "r"(a)  // 直接把a的值放到寄存器，不用指针
    : "cc", "memory");

• 如果必须传指针（比如INVVPID的指令要求），要让编译器知道你会访问指针指向的内存，比如把a加到输出约束里：

asm volatile(
    "xorq %%rcx, %%rcx;"
    "cmpq (%%rax), %%rcx;"
    "xorq %%rax, %%rax"
    : "+m"(a)  // 声明asm会读写a的内存
    : "a"(&a)
    : "cc", "memory");

关键提醒 #

• 编译器优化不看“有没有取地址”，只看“变量有没有被实际使用”。
• asm语句的约束和clobber是你和编译器沟通的唯一渠道，编译器不会解析asm内部的指令内容。
• volatile是救急的办法，但能用约束解决的就别用volatile——过度使用volatile会破坏优化，影响程序性能。

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