FMADD.D

Float Fused Multiply-Add (Double)

FMADD.D rd, rs1, rs2, rs3

Computes (rs1 * rs2) + rs3 with a single rounding (64-bit).

Details

Performs double-precision (64-bit) floating-point fused multiply-add. The operation computes fused multiply-add on the source operand(s), rounds the result according to the dynamic rounding mode in fcsr, and writes to fd. NaN and infinity propagation follow IEEE 754-2008.

Pseudocode Operation

F[rd] = (F[rs1] * F[rs2]) + F[rs3];

Example

FMADD.D f0, f1, f2, f3

Encoding

Binary Layout
rs3
31:27
01
26:25
rs2
24:20
rs1
19:15
rm
rd
14:10
1000011
9:3
 
Format R4-Type
Opcode 0x43
Extension D

Operands

  • rd
    Destination register (integer)
  • rs1
    Source register 1 (integer)
  • rs2
    Source register 2 (integer)
  • rs3
    Src 3