pulley_interpreter::encode

Function xbc32_bound_trap

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

trapif(addr > bound_ptr - size) (unsigned)