fadd.d Floating-Point Add Double-Precision The fadd.d instruction is analogous to fadd.s and performs double-precision floating-point addition of fs1 and fs2 and writes the final result to fd. Assembly format fadd.d fd, fs1, fs2, rm Decode Variables 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 Defining extension (D ࣷ Zdinx) Access M Always Containing profiles Mandatory: RVA20S64, RVA20U64, RVA22S64, RVA22U64, RVA23S64, RVA23U64, RVB23S64, RVB23U64 Optional: None