FCVT.D.LU

Convert Unsigned Long to Double

FCVT.D.LU rd, rs1

Converts a 64-bit unsigned integer to a double-precision float.

Details

Converts between floating-point types or between floating-point and integer. Result is rounded according to the dynamic rounding mode. Invalid conversions produce the IEEE default NaN or the appropriate integer saturation value.

Pseudocode Operation

F[rd] = u64_to_f64(R[rs1]);

Example

FCVT.D.LU f0, x10

Encoding

Binary Layout
110100100011
31:20
rs1
19:15
rm
14:12
rd
11:7
1010011
6:0
 
Format I-Type (Float)
Opcode 0xD2300053
Extension D

Operands

  • rd
    Dest (Double)
  • rs1
    Source (U-Long)