pub unsafe fn _subborrow_u64(c_in: u8, a: u64, b: u64, out: &mut u64) -> u8
Available on non-crate feature miri-test-libstd and 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).