_mm_mask_add_round_sd
Classification
AVX-512, Arithmetic, CPUID Test: AVX512F
Header File
Instruction
VADDSD xmm {k}, xmm, xmm {er}
Synopsis
_mm_mask_add_round_sd(__m128d src, __mmask8 k, __m128d a, __m128d b, int rounding);
Description
Add the lower double-precision (64-bit) floating-point element in "a" and "b", store the result in the lower element of "dst" using writemask "k" (the element is copied from "src" when mask bit 0 is not set), and copy the upper element from "a" to the upper element of "dst".
[round_note]
Operation
IF k[0]
dst[63:0] := a[63:0] + b[63:0]
ELSE
dst[63:0] := src[63:0]
FI
dst[127:64] := a[127:64]
dst[MAX:128] := 0