FMIN.D

Float Minimum (Double)

FMIN.D rd, rs1, rs2

Writes the smaller of two double-precision floating-point values to rd.

Details

Returns the double-precision (64-bit) floating-point minimum of rs1 and rs2, following IEEE 754-2019 minNum/maxNum semantics. Quiet NaN inputs return the non-NaN operand; signalling NaN inputs raise invalid-operation.

Pseudocode Operation

F[rd] = min(F[rs1], F[rs2]);

Example

FMIN.D t0, a0, a1

Encoding

Binary Layout
0010101
31:25
rs2
24:20
rs1
19:15
000
14:12
rd
11:7
1010011
6:0
 
Format R-Type
Opcode 0x53
Extension D

Operands

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