FMV.D.X

Move Integer to Double

FMV.D.X rd, rs1

Moves the bit pattern of a 64-bit integer register to a floating-point register (RV64).

Details

Moves bits from a floating-point register to an integer register (or vice versa) without conversion. The bit pattern is preserved exactly.

Pseudocode Operation

F[rd] = R[rs1];

Example

FMV.D.X t0, a0

Encoding

Binary Layout
1111001
31:25
00000
24:20
rs1
19:15
000
14:12
rd
11:7
1010011
6:0
 
Format I-Type (Float)
Opcode 0x53
Extension D

Operands

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