為了極端底層操作和性能要求,你可能希望直接控制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]`從現在開始將被忽略。)
輸出操作數,輸入操作數,覆蓋和選項都是可選的不過你必選加上正確數量的`:`如果你要省略它們的話:
~~~
asm!("xor %eax, %eax"
:
:
: "eax"
);
~~~
空格也是無所謂的:
~~~
asm!("xor %eax, %eax" ::: "eax");
~~~
## 操作數
輸入和輸出操作數都有相同的格式:`: "constraints1"(expr1), "constraints2"(expr2), ..."`。輸出操作數表達式必須是可變的左值,或還未賦值的:
~~~
fn add(a: i32, b: i32) -> i32 {
let mut c = 0;
unsafe {
asm!("add $2, $0"
: "=r"(c)
: "0"(a), "r"(b)
);
}
c
}
fn main() {
assert_eq!(add(3, 14159), 14162)
}
~~~
如果你想在這里使用真正的操作數,然而,要求你在你想使用的寄存器上套上大括號`{}`,并且要求你指明操作數的大小。這在非常底層的編程中是很有用的,這時你使用哪個寄存器是很重要的:
~~~
let result: u8;
asm!("in %dx, %al" : "={al}"(result) : "{dx}"(port));
result
~~~
## 覆蓋(Clobbers)
一些指令修改可能保存有不同值寄存器所以我們使用覆蓋列表來告訴編譯器不要假設任何裝載在這些寄存器的值是有效的。
~~~
// 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__ (...)`
2. _alignstack_?- 特定的指令需要棧按特定方式對齊(比如,SSE)并且指定這個告訴編譯器插入通常的棧對齊代碼
3. _intel_?- 使用intel語法而不是默認的AT&T語法
~~~
let result: i32;
unsafe {
asm!("mov eax, 2" : "={eax}"(result) : : : "intel")
}
println!("eax is currently {}", result);
~~~
- 前言
- 1.介紹
- 2.準備
- 2.1.安裝Rust
- 2.2.Hello, world!
- 2.3.Hello, Cargo!
- 3.學習Rust
- 3.1.猜猜看
- 3.2.哲學家就餐問題
- 3.3.其它語言中的Rust
- 4.高效Rust
- 4.1.棧和堆
- 4.2.測試
- 4.3.條件編譯
- 4.4.文檔
- 4.5.迭代器
- 4.6.并發
- 4.7.錯誤處理
- 4.8.外部語言接口
- 4.9.Borrow 和 AsRef
- 4.10.發布途徑
- 5.語法和語義
- 5.1.變量綁定
- 5.2.函數
- 5.3.原生類型
- 5.4.注釋
- 5.5.If語句
- 5.6.for循環
- 5.7.while循環
- 5.8.所有權
- 5.9.引用和借用
- 5.10.生命周期
- 5.11.可變性
- 5.12.結構體
- 5.13.枚舉
- 5.14.匹配
- 5.15.模式
- 5.16.方法語法
- 5.17.Vectors
- 5.18.字符串
- 5.19.泛型
- 5.20.Traits
- 5.21.Drop
- 5.22.if let
- 5.23.trait對象
- 5.24.閉包
- 5.25.通用函數調用語法
- 5.26.包裝箱和模塊
- 5.27.`const`和`static`
- 5.28.屬性
- 5.29.`type`別名
- 5.30.類型轉換
- 5.31.關聯類型
- 5.32.不定長類型
- 5.33.運算符和重載
- 5.34.`Deref`強制多態
- 5.35.宏
- 5.36.裸指針
- 6.Rust開發版
- 6.1.編譯器插件
- 6.2.內聯匯編
- 6.3.不使用標準庫
- 6.4.固有功能
- 6.5.語言項
- 6.6.鏈接參數
- 6.7.基準測試
- 6.8.裝箱語法和模式
- 6.9.切片模式
- 6.10.關聯常量
- 7.詞匯表
- 8.學院派研究
- 勘誤