在扩展内联 ASM 中调用 printf

Question

我正在尝试在 GCC 的扩展内联 ASM 中在 64 位 Linux.

中输出相同的字符串两次

int main()
{
    const char* test = "test\n";

    asm(
        "movq %[test], %%rdi\n"    // Debugger shows rdi = *address of string*  
        "movq [=10=], %%rax\n"

        "push %%rbp\n"
        "push %%rbx\n"
        "call printf\n"         
        "pop %%rbx\n"
        "pop %%rbp\n"

        "movq %[test], %%rdi\n" // Debugger shows rdi = 0
        "movq [=10=], %%rax\n"

        "push %%rbp\n"
        "push %%rbx\n"
        "call printf\n"     
        "pop %%rbx\n"
        "pop %%rbp\n"
        : 
        :  [test] "g" (test)
        : "rax", "rbx","rcx", "rdx", "rdi", "rsi", "rsp"
        );

    return 0;
}

现在，字符串只输出一次。我已经尝试了很多东西，但我想我遗漏了一些关于调用约定的警告。我什至不确定 clobber 列表是否正确，或者我是否需要保存和恢复 RBP 和 RBX。

为什么两次都没有输出字符串

使用调试器查看时，我发现当字符串第二次加载到 rdi 时，它的值是 0 而不是字符串的实际地址。

我无法解释为什么，似乎在第一次调用后堆栈已损坏？我必须以某种方式恢复它吗？

Answer 1

您的代码的特定问题：RDI 未在函数调用中维护（见下文）。它在第一次调用 printf 之前是正确的，但被 printf 破坏了。您需要先将其暂时存放在别处。一个没有被破坏的寄存器会很方便。然后您可以在 printf 之前保存一份副本，并在 RDI 之后将其复制回 RDI。

我不建议按照您的建议进行操作（在内联汇编程序中进行函数调用）。编译器将很难优化事物。很容易出错。除非绝对必要，否则 David Wohlferd 在 reasons not to use inline assembly 上写了一篇非常好的文章。

除其他事项外，64-bit System V ABI 规定了一个 128 字节的红色区域。这意味着你不能在没有潜在腐败的情况下将任何东西压入堆栈。请记住：执行 CALL 会将 return 地址压入堆栈。解决此问题的快速而肮脏的方法是在内联汇编程序启动时从 RSP 中减去 128，然后在完成时加回 128。

The 128-byte area beyond the location pointed to by %rsp is considered to be reserved and shall not be modified by signal or interrupt handlers.8 Therefore, functions may use this area for temporary data that is not needed across function calls. In particular, leaf functions may use this area for their entire stack frame, rather than adjusting the stack pointer in the prologue and epilogue. This area is known as the red zone.

另一个需要关注的问题是要求堆栈在任何函数调用之前是 16 字节对齐的（或者可能是 32 字节对齐，具体取决于参数）。这也是 64 位 ABI 所要求的：

The end of the input argument area shall be aligned on a 16 (32, if __m256 is passed on stack) byte boundary. In other words, the value (%rsp + 8) is always a multiple of 16 (32) when control is transferred to the function entry point.

注意：对函数的 CALL 的 16 字节对齐要求对于 [=] 也是 required on 32-bit Linux 44=]海湾合作委员会 >= 4.5:

In context of the C programming language, function arguments are pushed on the stack in the reverse order. In Linux, GCC sets the de facto standard for calling conventions. Since GCC version 4.5, the stack must be aligned to a 16-byte boundary when calling a function (previous versions only required a 4-byte alignment.)

由于我们在内联汇编程序中调用 printf，因此我们应该确保在调用之前将堆栈对齐到 16 字节边界。

您还必须注意，在调用函数时，某些寄存器会在函数调用中保留，而有些则不会。 64 位 ABI 的图 3.4 中列出了那些可能被函数调用破坏的具体内容（请参阅前面的 link）。这些寄存器是 RAX、RCX、RDX、RD8 -RD11, XMM0-XMM15, MMX0-MMX7, ST0-ST7 。这些都可能被破坏，所以如果它们没有出现在输入和输出约束中，就应该放在破坏列表中。

以下代码应满足大部分条件，以确保调用另一个函数的内联汇编器不会无意中破坏寄存器、保留 redzone 并在调用前保持 16 字节对齐：

int main()
{
    const char* test = "test\n";
    long dummyreg; /* dummyreg used to allow GCC to pick available register */

    __asm__ __volatile__ (
        "add $-128, %%rsp\n\t"   /* Skip the current redzone */
        "mov %%rsp, %[temp]\n\t" /* Copy RSP to available register */
        "and $-16, %%rsp\n\t"    /* Align stack to 16-byte boundary */
        "mov %[test], %%rdi\n\t" /* RDI is address of string */
        "xor %%eax, %%eax\n\t"   /* Variadic function set AL. This case 0 */
        "call printf\n\t"
        "mov %[test], %%rdi\n\t" /* RDI is address of string again */
        "xor %%eax, %%eax\n\t"   /* Variadic function set AL. This case 0 */
        "call printf\n\t"
        "mov %[temp], %%rsp\n\t" /* Restore RSP */
        "sub $-128, %%rsp\n\t"   /* Add 128 to RSP to restore to orig */
        :  [temp]"=&r"(dummyreg) /* Allow GCC to pick available output register. Modified
                                    before all inputs consumed so use & for early clobber*/
        :  [test]"r"(test),      /* Choose available register as input operand */
           "m"(test)             /* Dummy constraint to make sure test array
                                    is fully realized in memory before inline
                                    assembly is executed */
        : "rax", "rcx", "rdx", "rsi", "rdi", "r8", "r9", "r10", "r11",
          "xmm0","xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7",
          "xmm8","xmm9", "xmm10", "xmm11", "xmm12", "xmm13", "xmm14", "xmm15",
          "mm0","mm1", "mm2", "mm3", "mm4", "mm5", "mm6", "mm6",
          "st", "st(1)", "st(2)", "st(3)", "st(4)", "st(5)", "st(6)", "st(7)"
        );

    return 0;
}

我使用了一个输入约束来允许模板选择一个可用的寄存器来传递 str 地址。这确保我们有一个寄存器来存储 printf 调用之间的 str 地址。我还获得了汇编程序模板，通过使用虚拟寄存器选择一个可用位置来临时存储 RSP。选择的寄存器将不包括任何已经 chosen/listed 作为 input/output/clobber 操作数的寄存器。

这看起来很乱，但是如果不正确地执行它可能会导致以后的问题，因为您的程序会变得更加复杂。这就是为什么在内联汇编程序中调用符合 System V 64 位 ABI 的函数通常不是最好的方法。

在扩展内联 ASM 中调用 printf

Calling printf in extended inline ASM

gcc

printf

x86-64

inline-assembly

calling-convention