FMINM.S

Float Minimum (IEEE 754-2019)

FMINM.S rd, rs1, rs2

Minimum of two floats, treating -0.0 as smaller than +0.0 (canonicalize NaNs).

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] = minNum(F[rs1], F[rs2]);

Example

FMINM.S t0, a0, a1

Encoding

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

Operands

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