fdiv.d

Floating-Point Divide Double-Precision

The fdiv.d instruction performs the double-precision floating-point division of fs1 by fs2. It is defined analogously to its single-precision counterpart, but operates on double-precision operands and produces double-precision results.

Assembly format

fdiv.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

svg

Defining extension

(D ࣷ Zdinx)

Access

M

Always

Containing profiles

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

  • Optional: None