# 內聯匯編 > [inline-assembly.md](https://github.com/rust-lang/rust/blob/master/src/doc/book/inline-assembly.md) commit 024aa9a345e92aa1926517c4d9b16bd83e74c10d 為了極端底層操作和性能要求，你可能希望直接控制 CPU。Rust 通過`asm!`宏來支持使用內聯匯編。語法大體上與 GCC 和 Clang 相似： ~~~ asm!(assembly template : output operands : input operands : clobbers : options ); ~~~ 任何`asm`的使用需要功能通道（需要在包裝箱上加上`#![feature(asm)]`來允許使用）并且當然也需要寫在`unsafe`塊中 > **注意**：這里的例子使用了 x86/x86-64 匯編，不過所有平臺都受支持。 ### 匯編模板 `assembly template`是唯一需要的參數并且必須是原始字符串（就是`""`） ~~~ #![feature(asm)] #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] fn foo() { unsafe { asm!("NOP"); } } // other platforms #[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))] fn foo() { /* ... */ } fn main() { // ... foo(); // ... } ~~~ （`feature(asm)`和`#[cfg]`從現在開始將被忽略。） 輸出操作數，輸入操作數，覆蓋和選項都是可選的，然而如果你要省略它們的話，你必選加上正確數量的`:`： ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] # fn main() { unsafe { asm!("xor %eax, %eax" : : : "{eax}" ); # } } ~~~ 有空格在中間也沒關系： ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] # fn main() { unsafe { asm!("xor %eax, %eax" ::: "{eax}"); # } } ~~~ ### 操作數 輸入和輸出操作數都有相同的格式：`: "constraints1"(expr1), "constraints2"(expr2), ..."`。輸出操作數表達式必須是可變的左值，或還未賦值的： ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] fn add(a: i32, b: i32) -> i32 { let c: i32; unsafe { asm!("add $2, $0" : "=r"(c) : "0"(a), "r"(b) ); } c } # #[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))] # fn add(a: i32, b: i32) -> i32 { a + b } fn main() { assert_eq!(add(3, 14159), 14162) } ~~~ 如果你想在這里使用真正的操作數，然而，要求你在你想使用的寄存器上套上大括號`{}`，并且要求你指明操作數的大小。這在非常底層的編程中是很有用的，這時你使用哪個寄存器是很重要的： ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] # unsafe fn read_byte_in(port: u16) -> u8 { let result: u8; asm!("in %dx, %al" : "={al}"(result) : "{dx}"(port)); result # } ~~~ ### 覆蓋（Clobbers） 一些指令修改的寄存器可能保存有不同的值，所以我們使用覆蓋列表來告訴編譯器不要假設任何裝載在這些寄存器的值是有效的。 ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] # fn main() { unsafe { // Put the value 0x200 in eax asm!("mov $$0x200, %eax" : /* no outputs */ : /* no inputs */ : "{eax}"); # } } ~~~ 輸入和輸出寄存器并不需要列出因為這些信息已經通過給出的限制溝通過了。因此，任何其它的被使用的寄存器應該隱式或顯式的被列出。 如果匯編修改了代碼狀態寄存器`cc`則需要在覆蓋中被列出，如果匯編修改了內存，`memory`也應被指定。 ### 選項（Options） 最后一部分，`options`是 Rust 特有的。格式是逗號分隔的基本字符串（也就是說，`:"foo", "bar", "baz"`）。它被用來指定關于內聯匯編的額外信息： 目前有效的選項有： 1. *volatile* - 相當于 gcc/clang 中的`__asm__ __volatile__ (...)` 1. *alignstack* - 特定的指令需要棧按特定方式對齊（比如，SSE）并且指定這個告訴編譯器插入通常的棧對齊代碼 1. *intel* - 使用 intel 語法而不是默認的 AT&T 語法 ~~~ # #![feature(asm)] # #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] # fn main() { let result: i32; unsafe { asm!("mov eax, 2" : "={eax}"(result) : : : "intel") } println!("eax is currently {}", result); # } ~~~ ### 更多信息 目前`asm!`的實現是一個[LLVM內聯匯編表達式](http://llvm.org/docs/LangRef.html#inline-assembler-expressions)的直接綁定，所以請確保充分的閱讀[他們的文檔](http://llvm.org/docs/LangRef.html#inline-assembler-expressions)來獲取關于覆蓋，限制等概念的更多信息。