Is FCVT.D.L available on RV32?
No. The official F/D conversion rules define the L/LU 64-bit integer forms as RV64-only.
FCVT.D.L
RISC-V FCVT.D.L Instruction Details
Instruction ManualOP-FPRV64 signed 64-bit integer-to-double precision conversion, rounded by rm/frm and written to FP rd.
Instruction Syntax
fcvt.d.l rd, rs1[, rm]
Syntax: fcvt.d.l rd, rs1[, rm]; FP rd, integer rs1; omitted rm defaults to dyn using frm.
32-bit OP-FP: funct7=1101001, rs2=00010, funct3=rm, opcode=1010011. rs2 is a fixed selector, not a second source operand.
RV64-only D 2.2 (requires F); enable required extensions and FP state. Convert a 64-bit integer numerically to D using rm; inexact conversion sets NX. This is not a bit copy.
x0 sources are zero; f0 accepts writes. D results set upper bits to ones if FLEN>64. Static rm=101/110 and dynamic frm=101–111 have reserved behavior; the animation fixes DYN frm=RNE. Initial fflags=0 is an animation assumption; instructions do not clear accrued flags.
DFloating-Point Convert
Instruction Behavior
FCVT.D.L is an RV64-only integer-to-floating-point conversion. It converts the signed 64-bit integer in x[rs1] according to rm to double precision and writes f[rd]; NX is set when the target FP format cannot represent the value exactly.
FCVT.D.L Decode And Execute Animation
Shows the D-extension FCVT flow: decode OP-FP fields, fmt/rs2 conversion selection, the rm rounding field, read the integer source, then write the floating-point destination.
rd
rs1
rm
fcvt.d.l
,
,
Leave rm empty for the assembly default dyn (111); this DYN example fixes frm=RNE. Use lowercase rne/rtz/rdn/rup/rmm/dyn only.
Execution Context
fmt=D (01)
rs2=L
rounding: RNE nearest-even
fflags: 0
RV64-only
Assume required extensions and FP state are enabled, applicable source NaN-boxing is valid, and initial fflags=0. Results preview the current input; Writeback represents commit.
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11010
FCVT.D
01
fmt=D
00010
rs2=L
01011
rs1
000
rm
01010
rd
1010011
OP-FP
Execution Data Path
instruction
0xD2258553
opcode
1010011 -> OP-FP
funct5/fmt
11010 + 01 -> FCVT.D.L
rs2
00010 -> L source
rm
000 -> RNE nearest-even
rd/rs1
fa0(f10) / a1(x11)
read
a1(x11) = -2049
convert
int64 -2049 -> D -2049.0
write
fa0(f10) = -2049.0; 0
Current Step
Fetch: show the 32-bit OP-FP encoding
The word is split as an R-type OP-FP instruction; FCVT uses opcode 1010011.
encoding: 0xD2258553
syntax : fcvt.d.l fa0(f10), a1(x11), rne
result : fa0(f10) = -2049.0; 0
The current 64-bit integer example is exactly representable as D format, so example fflags remains 0.
FCVT Conversion View
L source
-2049
conversion
int64 -2049 -> D -2049.0
writeback
fa0(f10) = -2049.0
The current 64-bit integer example is exactly representable as D format, so example fflags remains 0.
This animation shows only D-extension FCVT ISA-visible encoding, source/destination register direction, rounding field, and example fflags; it does not model FPU pipelines, exception handling, NaN payloads, or microarchitecture.
Quick Understanding & Search Notes
fcvt.d.l is an RV64-only FCVT.D.L form: it reads a signed 64-bit integer from integer rs1, converts according to rm/frm to double precision, and writes FP rd.
OP-FP opcode is 1010011; funct5=11010 denotes integer-to-FP FCVT.
fmt=01 denotes the double precision destination format; rs2=00010 selects L as the integer source, not a normal second source register.
rd is an FP register and rs1 is an integer register; large 64-bit integers may set NX when the target FP format cannot represent them exactly.
RV64 only; enable the required extensions and FP state. Optional rm defaults to dyn using frm; rm=101/110 or dynamic frm=101–111 has reserved behavior.
Common Usage Scenarios
64-bit Numeric Conversion
fcvt.d.l f0, x10, rne # RV64; x10=9007199254740993 -> f0=9007199254740992, NX. Enable the listed extensions and FP state and initialize the stated source; the result follows the classification or rounding rules on this page.
Pre-Use Checklist
Syntax Check
- Syntax: fcvt.d.l rd, rs1[, rm]; FP rd, integer rs1; omitted rm defaults to dyn using frm.
- 32-bit OP-FP: funct7=1101001, rs2=00010, funct3=rm, opcode=1010011. rs2 is a fixed selector, not a second source operand.
Semantic Check
- RV64-only D 2.2 (requires F); enable required extensions and FP state. Convert a 64-bit integer numerically to D using rm; inexact conversion sets NX. This is not a bit copy.
- x0 sources are zero; f0 accepts writes. D results set upper bits to ones if FLEN>64. Static rm=101/110 and dynamic frm=101–111 have reserved behavior; the animation fixes DYN frm=RNE. Initial fflags=0 is an animation assumption; instructions do not clear accrued flags.
Pitfalls / Common Confusions
L/LU forms are RV64-only; do not use them on RV32.
rd is an FP register and rs1 is an integer register; the rs2 field only selects the L/LU format.
Double precision cannot represent every 64-bit integer; inexact results are rounded by rm and set NX.
The rm field may encode a static rounding mode; DYN uses fcsr.frm.
FAQ
Which register classes do rd and rs1 use in FCVT.D.L?
This is an integer-to-FP conversion: rd is an FP register and rs1 is an integer register.
What does the rs2 field mean in FCVT.D.L?
The rs2 field selects the L signed 64-bit integer format; it is not a second source operand in assembly syntax.