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