Question

我在Rust中包含了一个低级别的ABI，利用了naked函数功能。这是我的代码和相关的反汇编

#![feature(asm)]
#![feature(naked_functions)]

struct MyStruct {
    someVar: i64, // not important
                  // ...
}

impl MyStruct {
    #[naked]
    extern "C" fn wrap(&self) {
        unsafe {
            asm!("NOP" :::: "volatile");
            // not sure if the volatile option is needed, but I
            // figured it wouldn't hurt
        }
    }
}

以LLDB反汇编：

ABIWrap`ABIWrap::{{impl}}::wrap:
  * 0x100001310 <+0>:  movq   %rdi, -0x10(%rbp)
  * 0x100001314 <+4>:  movq   %rsi, -0x8(%rbp)
  * 0x100001318 <+8>:  movq   -0x10(%rbp), %rax
  * 0x10000131c <+12>: movq   -0x8(%rbp), %rcx
  * 0x100001320 <+16>: movq   %rax, -0x20(%rbp)
  * 0x100001324 <+20>: movq   %rcx, -0x18(%rbp)
    0x100001328 <+24>: nop    
    0x100001329 <+25>: retq   
    0x10000132a <+26>: nopw   (%rax,%rax)

NOP之前的6行（我标有*）是我感到困惑的地方。由于缺乏一个更好的术语，naked指令不应该离开裸体函数吗？

我试图允许参数只是将这个函数传递给ABI，因为它遵循与Rust相同的调用约定，我只需要交换一个或两个寄存器，因此内联汇编。

有没有办法摆脱这6条前面的指示？我打电话反对ABI很多，而我之前反对它的方式导致了相当大的开销。我想确保包含任何重要值的寄存器不会被覆盖。

旁注：是否需要“易变”选项？我不确定但是还是加了它。

Answer 1

在对此进行修补之后，（并计算如何有效地反汇编我的发布版本），我发现额外的指令只在调试版本中添加（或者至少在-O0时添加）。

使用-O2编译代码时，我发现所有程序集都是内联的，但可以使用#[inline(never)]指令轻松修复。现在正确传递参数而没有额外的指令毁掉我的寄存器：）

现在我只需要让代码只在这些函数上运行-O2而不是其余的调试构建...

为什么在裸露的Rust函数中有额外的ASM指令？

1 个答案: