_mm_mask_fnmadd_round_sd
Classification
AVX-512, Arithmetic, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VFNMADD132SD xmm {k}, xmm, xmm {er}
Synopsis
 _mm_mask_fnmadd_round_sd(__m128d a, __mmask8 k, __m128d b, __m128d c, int rounding);
Description
Multiply the lower double-precision (64-bit) floating-point elements in "a" and "b", and add the negated intermediate result to the lower element in "c". Store the result in the lower element of "dst" using writemask "k" (the element is copied from "a" 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]) + c[63:0]
ELSE
	dst[63:0] := a[63:0]
FI
dst[127:64] := a[127:64]
dst[MAX:128] := 0