Function creusot_contracts::std::arch::x86_64::_addcarryx_u64
1.33.0 · source · pub unsafe fn _addcarryx_u64(c_in: u8, a: u64, b: u64, out: &mut u64) -> u8Available on x86-64 only.
Expand description
Adds unsigned 64-bit integers a and b with unsigned 8-bit carry-in c_in
(carry or overflow flag), and store the unsigned 64-bit result in out, and
the carry-out is returned (carry or overflow flag).