如何将x86 GCC样式的C内联汇编转换为Rust内联汇编？

Question

我在C中有以下内联汇编:

unsigned long long result;
asm volatile(".byte 15;.byte 49;shlq $32,%%rdx;orq %%rdx,%%rax"
    : "=a" (result) ::  "%rdx");
return result;

我试着在Rust中重写它:

let result: u64;
unsafe {
    asm!(".byte 15\n\t
          .byte 49\n\t
          shlq 32, rdx\n\t
          orq  rdx, rax"
         : "=a"(result)
         :
         : "rdx"
         : "volatile"
         );
}
result

它不承认=a限制了它给了我一个无效的操作错误rdx,并rax在shlq和orq指令.在Rust中重写上述C内联汇编的正确方法是什么？

Answer 1

Rust是建立在LLVM之上的,所以可以从LLVM或Clang那里收集到很多这样的低级细节.

1. 如果要指定特定寄存器,请使用寄存器名称作为约束:"={rax}"(result).根据GCC文档,a约束是"a"寄存器.

2. 文字必须以前言为前提 $$

3. 寄存器必须以.开头 %

let result: u64;
unsafe {
    asm!(".byte 15
          .byte 49
          shlq $$32, %rdx
          orq  %rdx, %rax"
         : "={rax}"(result)
         :
         : "rdx"
         : "volatile"
    );
}
result

如果我理解rdtsc正确的讨论,你也可以这样做:

let upper: u64;
let lower: u64;
unsafe {
    asm!("rdtsc"
         : "={rax}"(lower), 
           "={rdx}"(upper)
         :
         :
         : "volatile"
    );
}
upper << 32 | lower

我建议尽快退出内联组装.

每个功能的组装:

playground::thing1:
    #APP
    .byte   15
    .byte   49
    shlq    $32, %rdx
    orq %rdx, %rax
    #NO_APP
    retq

playground::thing2:
    #APP
    rdtsc
    #NO_APP
    shlq    $32, %rdx
    orq %rdx, %rax
    retq

为了完整性,这里使用LLVM内在代码是相同的代码.这需要不同的不稳定属性:

#![feature(link_llvm_intrinsics)]

extern "C" {
    #[link_name = "llvm.x86.rdtsc"]
    fn rdtsc() -> u64;
}

fn main() {
    println!("{}", unsafe { rdtsc() })
}

资料来源:

• 不稳定的书章asm.
• 所述LLVM联汇编参考.
• 我的图书馆jetscii和丘比特.