_mm512_mask_fmadd_round_pd
Classification
AVX-512, Arithmetic, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VFMADD132PD zmm {k}, zmm, zmm {er}
Synopsis
 _mm512_mask_fmadd_round_pd(__m512d a, __mmask8 k, __m512d b, __m512d c, int rounding);
Description
Multiply packed double-precision (64-bit) floating-point elements in "a" and "b", add the intermediate result to packed elements in "c", and store the results in "dst" using writemask "k" (elements are copied from "a" when the corresponding mask bit is not set). [round_note]
Operation
FOR j := 0 to 7
	i := j*64
	IF k[j]
		dst[i+63:i] := (a[i+63:i] * b[i+63:i]) + c[i+63:i]
	ELSE
		dst[i+63:i] := a[i+63:i]
	FI
ENDFOR
dst[MAX:512] := 0