pulley_interpreter::encode

Function xbc32_strict_bound_trap

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

trapif(addr >= bound_ptr) (unsigned)