pulley_interpreter::encode

Function xadd64_uoverflow_trap

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

64-bit checked unsigned addition: dst = src1 + src2.