Skip to main content

ab_riscv_interpreter/rv64/b/zbb/
rv64_zbb_helpers.rs

1//! Opaque helpers for Zbb extension
2
3#[inline(always)]
4#[doc(hidden)]
5#[cfg_attr(feature = "no-panic", no_panic_const::no_panic)]
6pub fn orc_b(src: u64) -> u64 {
7    // TODO: Miri is excluded because corresponding intrinsic is not implemented there
8    cfg_select! {
9        all(not(miri), target_arch = "riscv64", target_feature = "zbb") => {
10            // SAFETY: Compile-time checked for supported feature
11            unsafe { core::arch::riscv64::orc_b(src as usize) as u64 }
12        }
13        _ => {{
14            let mut bytes = src.to_le_bytes();
15            // Explicit loop to ensure inlining
16            for byte in &mut bytes {
17                *byte = if *byte != 0 { 0xFF } else { 0 };
18            }
19            u64::from_le_bytes(bytes)
20        }}
21    }
22}