pulley_interpreter::encode

Function xadd32_uoverflow_trap

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

32-bit checked unsigned addition: low32(dst) = low32(src1) + low32(src2).

The upper 32-bits of dst are unmodified. Traps if the addition overflows.