fnmadd.s
Floating-Point Negate-Multiply-Add Single-Precision
The fnmadd.s multiplies the values in fs1 and fs2, negates the product, subtracts the value in fs3, and
writes the final result to fd.
Decode Variables
Bits<5> fs3 = $encoding[31:27];
Bits<5> fs2 = $encoding[24:20];
Bits<5> fs1 = $encoding[19:15];
Bits<3> rm = $encoding[14:12];
Bits<5> fd = $encoding[11:7];Execution
check_f_ok($encoding);
RoundingMode mode = rm_to_mode(rm, $encoding);
Bits<32> fs3_negated = F[fs3][31:0] ^ 32'h80000000;
F[fd] = f32_muladd(F[fs1], F[fs2], fs3_negated, F32MulAddOp::Softfloat_mulAdd_subProd, mode);
mark_f_state_dirty();