fmadd.s
Floating-Point Multiply-Add Single-Precision
This instruction is defined by:
Synopsis
The fmadd.s multiplies the values in fs1 and fs2, adds 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
-
Pruned, XLEN == 64
-
Original
check_f_ok($encoding);
RoundingMode mode = rm_to_mode(rm, $encoding);
F[fd] = f32_muladd(F[fs1], F[fs2], F[fs3], F32MulAddOp::Softfloat_mulAdd_addC, mode);
mark_f_state_dirty();check_f_ok($encoding);
RoundingMode mode = rm_to_mode(rm, $encoding);
F[fd] = f32_muladd(F[fs1], F[fs2], F[fs3], F32MulAddOp::Softfloat_mulAdd_addC, mode);
mark_f_state_dirty();