FCVT.S.D

Float Convert Double to Single

FCVT.S.D rd, rs1

Converts a double-precision float to a single-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] = f64_to_f32(F[rs1]);

Example

FCVT.S.D f1, f0

Encoding

Binary Layout
0100000
31:25
00001
24:20
rs1
19:15
rm
rd
14:10
1010011
9:3
 
Format I-Type (Float)
Opcode 0x53
Extension D

Operands

  • rd
    Dest (Single)
  • rs1
    Source (Double)