Rust
Inline-Montage

Syntax

• #! [Funktion (Asm)] // Aktivieren Sie den Asm! Makro-Funktionstor
• asm! (<template>: <output>: <input>: <clobbers>: <options>) // Die angegebene Assembly-Vorlage (zB "NOP", "ADD% eax, 4") mit den angegebenen Optionen ausgeben.

Der asm! Makro

Die Inline-Montage wird nur in nächtlichen Versionen von Rust unterstützt, bis sie stabilisiert ist . So aktivieren Sie die Verwendung des asm! Makro verwenden Sie das folgende Feature-Attribut oben in der Hauptdatei ( Feature-Gate ):

 #![feature(asm)]

Dann benutze den asm! Makro in einem unsafe Block:

fn do_nothing() {
    unsafe {
        asm!("NOP");
    }

    // asm!("NOP"); 
    // That would be invalid here, because we are no longer in an 
    // unsafe block.
}

Inline-Assembly unter bestimmten Bedingungen kompilieren

Verwenden Sie die bedingte Kompilierung, um sicherzustellen, dass Code nur für den beabsichtigten Befehlssatz (z. B. x86 ) kompiliert wird. Andernfalls könnte der Code ungültig werden, wenn das Programm für eine andere Architektur, z. B. ARM-Prozessoren, kompiliert wird.

#![feature(asm)]

// Any valid x86 code is valid for x86_64 as well. Be careful
// not to write x86_64 only code while including x86 in the 
// compilation targets!
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn do_nothing() {
    unsafe {
        asm!("NOP");
    }
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64"))]
fn do_nothing() {
    // This is an alternative implementation that doesn't use any asm!
    // calls. Therefore, it should be safe to use as a fallback.
}

Eingänge und Ausgänge

#![feature(asm)]
    
#[cfg(any(target_arch="x86", target_arch="x86_64"))]
fn subtract(first: i32, second: i32) {
   unsafe {
        // Output values must either be unassigned (let result;) or mutable.
        let result: i32;
        // Each value that you pass in will be in a certain register, which
        // can be accessed with $0, $1, $2...
        //
        // The registers are assigned from left to right, so $0 is the 
        // register containing 'result', $1 is the register containing 
        // 'first' and $2 is the register containing 'second'.
        //
        // Rust uses AT&T syntax by default, so the format is:
        // SUB source, destination
        // which is equivalent to:
        // destination -= source;
        //
        // Because we want to subtract the first from the second, 
        // we use the 0 constraint on 'first' to use the same
        // register as the output.
        // Therefore, we're doing:
        // SUB second, first
        // and getting the value of 'first'
        
        asm!("SUB $2, $0" : "=r"(result) : "0"(first), "r"(second));
        println!("{}", result);
    }
}

LLVM des Constraint - Codes kann gefunden werden hier , aber je nach Version von LLVM von Ihrem verwendeten variieren kann rustc Compiler.