带有返回语句的 C++ 函数中的内联汇编

Question

考虑这段代码：

#include <cstdio>

int get_value() { asm("movl $254, %eax"); }

int main() { printf("%d\n", get_value()); }

现在，如果使用g++ main.cpp 编译此代码，则会收到编译器警告（但代码仍可编译）：

main.cpp: In function ‘int get_value()’:
main.cpp:3:43: warning: no return statement in function returning non-void [-Wreturn-type]
    3 | int get_value() { asm("movl $254, %eax"); }
      |                                    

As this answer 表示，如果编译器使用上述代码生成二进制文件，则所有赌注都将失败。 （返回类型为 int 的函数没有返回语句）

确实，当编译这段代码并开启优化g++ -O3 main.cpp 时，该程序会立即出现段错误。

所以我的问题是如何在符合 C++ 的 c++ 函数中从内联汇编返回，并且没有收到此警告，并且代码工作正常。

Answer 1

我相信你要做的就是声明一个虚拟变量，并使用 gcc 扩展语法输出该变量，然后您可以返回该变量。优化器应该剥离两个分配者。

在https://www.ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html#s5 中进行了某种解释，可能如下所示：

#include <cstdio>

int get_value() {
  int b;
  asm("movl $254, %0;"
      : "=r"(b)
      );
  return b;
}

int main() {
  printf("%d\n", get_value());
}