c - 为什么 GCC 在使用 int foo asm ("ebx") 将 var 固定到寄存器时放置空操作推送/弹出？

Question

我正在尝试编写代码以从寄存器中读取，这是我目前所拥有的:

unsigned int readEBX(void) {
    register unsigned int reg asm("ebx");
    return reg;
}

该函数似乎可以正常工作，但它会编译成一些奇怪的东西:

readEBX():
    mov  eax, ebx
    push ebx
    pop  ebx
    ret

为什么这个 push-then-pop ebx？这不是什么都不做吗？当我将 ebx 替换为另一个寄存器(例如 eax 或 ecx)时，它会生成更清晰的代码(只是一个 ret 和 mov eax, ecx; ret 分别)。

查看此示例 Godbolt result .

Answer 1

由于您明确地告诉编译器您对寄存器感兴趣，因此他试图变得聪明。既然要观察寄存器，就不要告诉编译器，让他乱来。

这对我有用(模 mov 操作的顺序)

unsigned int readEBX(void) {
  register unsigned int ret __asm__("eax");
  __asm__ volatile("mov %%ebx, %0" : "=r"(ret));
  return ret;
}

它只是确保ret 使用不同的寄存器，所以没有冲突。