FCVT.D.WU
Convert Unsigned Word to Double
FCVT.D.WU rd, rs1
Converts a 32-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] = u32_to_f64(R[rs1]);
Example
FCVT.D.WU t0, a0
Encoding
Binary Layout
110100100001
31:20
rs1
19:15
rm
14:12
rd
11:7
1010011
6:0
Operands
-
rd
Dest (Double) -
rs1
Source (UInt)