Available on x86-64 and target feature
adx only.Expand description
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).