FLE.D

Float Less or Equal (Double)

FLE.D rd, rs1, rs2

Sets integer rd to 1 if double rs1 is less than or equal to double rs2, else 0.

Details

Performs a double-precision (64-bit) floating-point less-than-or-equal comparison and writes 1 (true) or 0 (false) to integer rd. NaN inputs produce 0 (unordered), except FEQ which raises invalid-operation if either operand is a signalling NaN.

Pseudocode Operation

R[rd] = (F[rs1] <= F[rs2]) ? 1 : 0;

Example

FLE.D x10, f0, f1

Encoding

Binary Layout
1010001
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
    Dest (Int)
  • rs1
    Source register 1 (integer)
  • rs2
    Source register 2 (integer)