fnmadd.d

Floating-Point Negate-Multiply-Add Double-Precision

The fnmadd.d instruction multiplies the values in fs1 and fs2, negates the product, subtracts the value in fs3, and writes the final result to fd.

Assembly format

fnmadd.d fd, fs1, fs2, fs3, rm

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

Encoding

svg

Defining extension

(D ࣷ Zdinx)

Access

M

Always

Containing profiles

  • Mandatory: RVA20S64, RVA20U64, RVA22S64, RVA22U64, RVA23S64, RVA23U64, RVB23S64, RVB23U64

  • Optional: None