Rust
Встроенная сборка

Синтаксис

• #! [feature (asm)] // Включить asm! встроенный макрос
• asm! (<template>: <output>: <input>: <clobbers>: <options>) // Испускаем шаблон сборки (например, «NOP», «ADD% eax, 4») с заданными параметрами.

Асм! макрос

Встроенная сборка будет поддерживаться только в ночных версиях Rust до стабилизации . Чтобы включить использование asm! макроса, используйте следующий атрибут атрибута в верхней части основного файла ( затвор функции ):

 #![feature(asm)]

Затем используйте asm! макрос в любом unsafe блоке:

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

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

Условно компилировать встроенную сборку

Используйте условную компиляцию, чтобы обеспечить компиляцию кода только для предполагаемого набора команд (например, x86 ). В противном случае код может стать недействительным, если программа скомпилирована для другой архитектуры, такой как ARM-процессоры.

#![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.
}

Входы и выходы

#![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 можно найти здесь , но это может различаться в зависимости от версии LLVM, используемой вашим компилятором rustc .