FMIN.S

Float Minimum (Single)

FMIN.S rd, rs1, rs2

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

Details

Returns the single-precision (32-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.S t0, a0, a1

Encoding

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

Operands

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