_addcarry_u64Adds 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).
_addcarryx_u64Adds 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).
_subborrow_u64Adds 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).