// in, out, or inout:
<new-constraint>(<identifier>)
// clobber
<new-constraint>

在每种情况下，<new_constraint> 等同于 <constraint>，除了对于 out 和 clobber 关键字，需要在 '=' 或 '~' 前面添加以满足 asm! 和 LLVM。因此，例如，如果你将约束写为 "r"，它将被自动转换为 "=r" 或 "~r"，然后才交给编译器。关键字 inout 将产生两个新的约束：（1）与关键字 out 等效的约束（例如 "=r"）和（2）与之相关的输入约束（例如 "0"）。

为了让 Rust 了解如何处理桥接变量，rusty_asm! 在宏展开过程中删除了新的关键字和约束，因此对于 Rust 来说，它们只是普通变量。

asm 块

当遇到 asm 块时，它将被直接转换为 asm! 调用，使用迄今为止创建的所有约束。asm 块的语法如下：

asm [(<options>)] {
    "<asm-code>"
}

<options> 是一个可选的逗号分隔的选项列表，如果在 asm! 后面使用，这些选项将出现在第 4 个冒号之后，例如 "volatile"。 <asm-code> 是纯汇编代码，用引号括起来，除了它可以使用在 asm 块上方定义的桥接变量。

为了在 asm 块内部引用桥接变量，在代码中插入 $<ident>，其中 <ident> 是变量的标识符。与 asm! 宏一样，$$ 编码一个字面美元符号。

rusty_asm! 块和作用域

新的宏将整个内容放入一个新的作用域中，因此其中定义的任何变量在结束时都会被丢弃。如果需要保留这些值，可以在宏结束时使用常规 Rust 代码将它们的值移动到宏作用域外的变量中。此外，就像 Rust 的任何代码块一样，这个代码块也有一个返回值，可以在块末尾使用表达式来使用它。

此外，从版本 0.2 开始，该宏也正确处理了内部块、遮蔽和丢弃桥接变量，就像 Rust 遮蔽和丢弃常规变量一样。这意味着你现在可以编写如下代码：

// Sends 1, 2, or 4 bytes at once to an ISA address (x86/x64).
unsafe fn poke_isa(port: u16, value: usize, bytes: u8) {
    rusty_asm! {
        let port: in("{dx}") = port;
        if bytes == 1 {
            let value: in("{al}") = value as u8;
            asm("volatile", "intel") {
                "out $port, $value"
            }
        } else if bytes == 2 {
            let value: in("{ax}") = value as u16;
            asm("volatile", "intel") {
                "out $port, $value"
            }
        } else {
            assert_eq!(bytes, 4);
            let value: in("{eax}") = value as u32;
            asm("volatile", "intel") {
                "out $port, $value"
            }
        }
    };
}

在 if let 和 while let 结构中定义桥接变量尚未得到支持，因为 Rust 也不支持在这些结构中进行显式类型注解，我想这样的语法会变得过于复杂。

进一步阅读

有太多平台特定的约束和选项，无法在此全部列出。请点击以下链接获取更多信息。

• Rust 书籍：内联汇编章节。讨论了可以使用 asm! 宏做什么。
• LLVM 内联汇编文档。详细说明了在 LLVM 内联汇编（因此也在 Rust 的 asm! 调用）中允许做什么，以及平台特定的详细信息。

使用示例

请注意，虽然所有这些示例都使用了 x86 汇编，但 rusty_asm! 应该可以与 Rust 支持的任何汇编方言一起工作（这很可能意味着任何 LLVM 支持的方言）。

// Disables interrupts on an x86 CPU.
unsafe fn disable_interrupts() {
    rusty_asm! {
        asm("volatile") { // This block has to be marked "volatile" to make sure the compiler, seeing
           "cli"          // no outputs and no clobbers, doesn't assume it does nothing and
        }                 // decide to "optimize" it away.
    };
}

// Shifts the hexadecimal digits of `existing` up and puts `digit` in the resulting gap.
fn append_hex_digit(existing: usize, digit: u8) -> usize {
    assert!(digit < 0x10);
    unsafe {
        rusty_asm! {
            let mut big: inout("r") = existing;
            let little: in("r") = digit as usize;

            asm {"
                shll %4, $big
                orl $little, $big
            "}

            big
        }
    }
}

assert_eq!(append_hex_digit(0, 0), 0);
assert_eq!(append_hex_digit(0, 0xf), 0xf);
assert_eq!(append_hex_digit(4, 2), 0x42);

限制

桥接变量声明语法比一般的 let 语句的语法稍微严格一些，因为它只允许在 let 关键字之后使用一个标识符，而不是任意模式。因此，例如，这个语句将不会工作

rusty_asm! {
    let (a, b): (in("r"), out("r")) = (12, 14);
    /* ... */
}