Function safe_arch::add_carry_u32

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

This is supported with target feature adx only.

Add two u32 with a carry value.

Writes the sum to the reference and returns the new carry flag.

let mut out = 0_u32;
assert_eq!(add_carry_u32(1, u32::MAX, 5, &mut out), 1);
assert_eq!(out, 5);