pulley_interpreter::encode

Function xbc32_strict_boundne_trap

Source 
pub fn xbc32_strict_boundne_trap<E>(
    into: &mut E,
    addr: impl Into<XReg>,
    bound_ptr: impl Into<XReg>,
    bound_off: impl Into<u8>,
)
where
    E: Extend<u8>,
Available on crate feature encode only.
Expand description

trapif(addr >= *(bound_ptr + bound_off)) (unsigned)