FCVT.D.S

Float Convert Single to Double

FCVT.D.S rd, rs1

Converts a single-precision float to a double-precision float.

Encoding

Binary Layout

010000100000

31:20

rs1

19:15

rm

14:12

rd

11:7

1010011

6:0

 

Format I-Type (Float)

Opcode 0x42000053

Extension D

Operands

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

Example

FCVT.D.S f0, f1

// Promote float to double.

Related

More in D

Reference

View in RISC-V Unprivileged ISA Specification ↗ RISC-V ISA Manual

Description

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.

Operation

F[rd] = f32_to_f64(F[rs1]);