pulley_interpreter::encode

Function xbc32_boundne_trap

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

trapif(addr > *(bound_ptr + bound_off) - size) (unsigned)

Note that the bound_ptr + bound_off load loads a host-native-endian pointer-sized value.