Function _addcarryx_u32

pub unsafe fn _addcarryx_u32(c_in: u8, a: u32, b: u32, out: &mut u32) -> u8

Available on (x86 or x86-64) and target feature adx and x86-64 only.

Adds unsigned 32-bit integers a and b with unsigned 8-bit carry-in c_in (carry or overflow flag), and store the unsigned 32-bit result in out, and the carry-out is returned (carry or overflow flag).

Intel’s documentation