“mov 不支持”GCC 内联汇编程序

Question

在使用 GCC 的内联汇编器功能时，我尝试创建一个立即退出进程的函数，类似于 C 标准库中的 _Exit。

以下是相关的源代码：

void immediate_exit(int code)
{
#if defined(__x86_64__)
    asm (
            //Load exit code into %rdi
            "mov %0, %%rdi\n\t"
            //Load system call number (group_exit)
            "mov $231, %%rax\n\t"
            //Linux syscall, 64-bit version.
            "syscall\n\t"
            //No output operands, single unrestricted input register, no clobbered registers because we're about to exit.
            :: "" (code) :
    );
//Skip other architectures here, I'll fix these later.
#else
#   error "Architecture not supported."
#endif
}

这适用于调试版本（使用-O0），但只要我在任何级别打开优化，我都会收到以下错误：

immediate_exit.c: Assembler messages:
immediate_exit.c:4: Error: unsupported for `mov'

所以我查看了两个构建的汇编器输出（为了清楚起见，我删除了 .cfi* 指令和其他内容，如果有问题我可以再次添加）。调试版本：

immediate_exit:
.LFB0:
    pushq   %rbp
    movq    %rsp, %rbp
    movl    %edi, -4(%rbp)

    mov -4(%rbp), %rdi
    mov $231, %rax
    syscall

    popq    %rbp
    ret

还有优化版：

immediate_exit:
.LFB0:
    mov %edi, %rdi
    mov $231, %rax
    syscall

    ret

所以优化版本试图将一个 32 位寄存器 edi 放入一个 64 位寄存器 rdi，而不是从 rbp 加载它，我认为这是导致错误的原因。

现在，我可以通过将“m”指定为 code 的寄存器约束来解决此问题，这会导致 GCC 从 rbp 加载而不管优化级别如何。但是，我宁愿不这样做，因为我认为编译器及其作者比我更清楚将东西放在哪里。

所以（终于！）我的问题是：我如何说服 GCC 使用 rdi 而不是 edi 进行汇编输出？

Answer 1

总体而言，您最好使用约束将值放入正确的寄存器而不是显式移动：

asm("syscall" :: "D" ((uint64_t)code), "a" ((uint64_t)231));

如果有用的话，编译器可以在代码中更早地提升移动，如果值可以安排在正确的寄存器中，甚至可以完全避免移动......

Answer 2

将变量转换为适当的长度类型。

#include <stdint.h>

asm (
            //Load exit code into %rdi
            "mov %0, %%rdi\n\t"
            //Load system call number (group_exit)
            "mov $231, %%rax\n\t"
            //Linux syscall, 64-bit version.
            "syscall\n\t"
            //No output operands, single unrestricted input register, no clobbered registers because we're about to exit.
            :: "g" ((uint64_t)code)
    );

或者最好让你的操作数类型直接正确的大小：

void immediate_exit(uint64_t code) { ...