_addcarryx_u32
Classification
Other, Arithmetic, CPUID Test: ADX
Header File
immintrin.h
Instruction
ADCX r32, r32
Synopsis
 _addcarryx_u32(unsigned char c_in, unsigned int a, unsigned int b, unsigned int * out);
Description
Add 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 in "dst" (carry or overflow flag).
Operation
tmp[32:0] := a[31:0] + b[31:0] + (c_in > 0 ? 1 : 0)
MEM[out+31:out] := tmp[31:0]
dst[0] := tmp[32]
dst[7:1] := 0