ADDPD

Standard variant

Source: intel/ADDPD-Add-Packed-Double-Precision-Floating-Point-Values.xml/0

let elements := register_size / element_size;
let denormals_are_zeros := FP::Get_DAZ(element_size);
let flush_subnormals := FP::Get_FTZ(element_size);
let mask_underflow := MXCSR.UM == 0b1;
let exception_masks := MXCSR.Exception_Masks;
let suppress_all_exceptions := (context.evex_b == 0b1) and (mod == 0b11);
let rc := if (context.evex_b == 0b1) and (mod == 0b11) then context.evex_LLRC else MXCSR.RC;
let rounding_mode := FP::Decode_Rounding_Mode(rc);
var all_exceptions := Zero(6);
var result := Zero(register_size);
for i := 0 to elements-1 do
let op1 := src1[i *: element_size];
let op2 := src2[i *: element_size];
let (r, exceptions) := FP::Arithmetic(FP_ADD, op1, op2, denormals_are_zeros, rounding_mode, flush_subnormals, mask_underflow);
all_exceptions := all_exceptions or exceptions;
result[i *: element_size] := r;
endfor;
let reported_exceptions := if suppress_all_exceptions then Zero(6) else all_exceptions;
FP::Check_Exceptions?(reported_exceptions, exception_masks);