FEQ.D

Float Equal (Double)

FEQ.D rd, rs1, rs2

Sets integer rd to 1 if double rs1 equals double rs2, else 0.

Details

Performs a double-precision (64-bit) floating-point equality 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

FEQ.D x10, f0, f1

Encoding

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

Operands

  • rd
    Dest (Int)
  • rs1
    Src 1 (Double)
  • rs2
    Src 2 (Double)