Rust
Options
pure, nomem, nostack options'larını kullanırsın.
Options
Varsayılan olarak derleyici, assembly bloğunun belleği okuyup yazabileceğini, yığını kullanabileceğini ve yan etkileri olduğunu varsayar; bu, optimizasyonu kısıtlar. options(..) ile daha güçlü vaatler verilir:
let y: u64;
unsafe {
asm!(
"lea {o}, [{a} + {a}*2]", // o = a * 3
a = in(reg) x,
o = lateout(reg) y,
options(pure, nomem, nostack),
);
}
pure: yan etkisi yok, çıktı yalnızca girdilere bağlı; sonuç kullanılmazsa blok silinebilir.nomem: belleğe dokunmaz.nostack: yığına yazmaz.
lea ile hızlı aritmetik
lea (load effective address) aslında bellek okumaz; adres hesaplama donanımını kullanarak a + b*k (k = 1, 2, 4, 8) biçiminde toplama ve çarpmayı tek talimatta yapar. Derleyiciler x * 3, x * 5 gibi çarpımları sıklıkla böyle üretir. Bu da çoğu zaman elle assembly'ye gerek olmadığını gösterir: x * 3 yazmak aynı talimatı üretir.
// derleyicinin x * 3 için ürettiği tipik kod:
// lea rax, [rdi + rdi*2]
Uygulama Üç katı
x86-64 için lea ve options(pure, nomem, nostack) kullanan fn uc_kat(x: u64) -> u64 yaz (diğer mimarilerde x * 3). uc_kat(5) sonucunu yazdır.
Örnek çözümü göster
#[cfg(target_arch = "x86_64")]
fn uc_kat(x: u64) -> u64 {
let y: u64;
// SAFETY: lea belleğe erişmez; seçenekler doğrudur.
unsafe {
std::arch::asm!(
"lea {o}, [{a} + {a}*2]",
a = in(reg) x,
o = lateout(reg) y,
options(pure, nomem, nostack),
);
}
y
}
#[cfg(not(target_arch = "x86_64"))]
fn uc_kat(x: u64) -> u64 {
x * 3
}
fn main() {
println!("{}", uc_kat(5));
}
Kendini test et
-
Belleğe yazan bir bloğa <code>nomem</code> denirse ne olur?
- Derleme hatası
- Yavaşlar
- Bir şey olmaz
- Tanımsız davranış: derleyici bellek değerlerinin değişmediğini varsayar
Cevabı göster
Tanımsız davranış: derleyici bellek değerlerinin değişmediğini varsayar — Seçenekler derleyiciye verilen sözlerdir ve denetlenmez; yanlış söz, yanlış optimizasyon demektir.
-
Saf blok
asm!(
"lea {o}, [{a} + {a}*2]",
a = in(reg) x,
o = lateout(reg) y,
options(____, nomem, nostack),
);
Cevabı göster
asm!(
"lea {o}, [{a} + {a}*2]",
a = in(reg) x,
o = lateout(reg) y,
options(pure, nomem, nostack),
);
-
Seçenek ve vaadi
- pure
- Yan etki yok
- nomem
- Belleğe dokunmaz
- nostack
- Yığına yazmaz
- readonly
- Belleği yalnızca okur
Sıradaki ders: CPUID
