首页/指令库/单精度转有符号64位整数
FCVT.L.S

RISC-V FCVT.L.S 指令详解

指令手册OP-FP

RV64 单精度浮点转有符号 64 位整数,按 rm/frm 舍入并写入整数 rd。

指令语法

fcvt.l.s rd, rs1[, rm]

语法 fcvt.l.s rd, rs1[, rm];rd 是整数、rs1 是浮点寄存器;rm 可省略,默认为 dyn 使用 frm。

32 位 OP-FP:funct7=1100000、rs2=00010、funct3=rm、opcode=1010011;rs2 是固定选择子,不是第二源操作数。

仅 RV64 F 2.2;所需扩展与浮点状态须启用。按 rm 舍入为 int64;负越界/-∞ 写 -2^63,正越界/+∞/NaN 写 2^63−1 并置 NV;结果不同且未置 NV 才置 NX。

FLEN>32 时源须正确 NaN-boxed,否则按 canonical NaN;rd=x0 丢弃结果但保留标志副作用。静态 rm=101/110、动态 frm=101–111 的行为保留;动画 DYN 固定 frm=RNE。初始 fflags=0 仅为动画假设;指令不清除已有标志。

F浮点转换

指令行为说明

FCVT.L.S 是 RV64-only 浮点到整数转换指令。它把 f[rs1] 中的单精度浮点值按 rm 舍入为有符号 64 位整数并写入 x[rd]。若舍入结果不可表示,负越界或 -∞ 写入 -2^63,正越界、+∞ 或 NaN 写入 2^63-1,并设置 NV;仅当舍入结果不同于源值且未设置 NV 时设置 NX。

FCVT.L.S 指令解析与执行动画

展示 F 扩展 FCVT 的 ISA 可见流程:解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段,读取浮点源并写回整数目标。

rd
rs1
rm
fcvt.l.s
,
,

rm 可留空,按汇编默认 dyn(111);DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。

执行环境
fmt=S (00)
rs2=L
舍入: RNE 最近偶数
fflags: NX
RV64-only

假定所需扩展与浮点状态已启用,源值满足适用的 NaN-boxing,初始 fflags=0。结果为当前输入的计算预览;Writeback 步表示提交。

31..27
26..25
24..20
19..15
14..12
11..7
6..0
11000
FCVT.L
00
fmt=S
00010
rs2=L
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xC0258553
opcode
1010011 -> OP-FP
funct5/fmt
11000 + 00 -> FCVT.L.S
rs2
00010 -> L target
rm
000 -> RNE 最近偶数
rd/rs1
a0(x10) / fa1(f11)
read
fa1(f11) = -42.75
convert
-42.75 -> int64 -43
write
a0(x10) = -43; NX
当前步骤

Fetch:展示 32-bit OP-FP 编码

机器码按 R-type OP-FP 字段切分;FCVT 使用 opcode 1010011。

encoding: 0xC0258553
syntax : fcvt.l.s a0(x10), fa1(f11), rne
result : a0(x10) = -43; NX

当前示例按 rm 舍入为 64 位整数,因源值含小数部分,示例显示 NX 不精确标志。

FCVT 转换视图
S FP source
-42.75
conversion
-42.75 -> int64 -43
writeback
a0(x10) = -43

当前示例按 rm 舍入为 64 位整数,因源值含小数部分,示例显示 NX 不精确标志。

该动画只展示 RISC-V F 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags;不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。

快速理解与检索要点

fcvt.l.s 是 RV64-only 的 FCVT.L.S 形式:从浮点寄存器读取单精度浮点值,按 rm/frm 舍入为有符号 64 位整数并写入整数 rd。

OP-FP opcode 为 1010011;funct5=11000 表示浮点到整数 FCVT。
fmt=00 表示 S 格式;rs2=00010 选择 L 整数目标,不是普通第二源寄存器。
rd 是整数寄存器,rs1 是浮点寄存器;NaN、无穷或越界输入按官方无效转换规则设置 NV。
仅 RV64;所需扩展与浮点状态须启用。rm 可省略为 dyn 使用 frm;rm=101/110 或动态 frm=101–111 的行为保留。

常见使用场景

64 位数值转换

fcvt.l.s x10, f0, rtz # RV64; f0=1.5 -> x10=1, NX (initial fflags=0)。启用本页扩展与浮点状态并预置注释中的源值;结果按本页分类或舍入规则推导。

使用前检查清单

语法检查
  • 语法 fcvt.l.s rd, rs1[, rm];rd 是整数、rs1 是浮点寄存器;rm 可省略,默认为 dyn 使用 frm。
  • 32 位 OP-FP:funct7=1100000、rs2=00010、funct3=rm、opcode=1010011;rs2 是固定选择子,不是第二源操作数。
语义检查
  • 仅 RV64 F 2.2;所需扩展与浮点状态须启用。按 rm 舍入为 int64;负越界/-∞ 写 -2^63,正越界/+∞/NaN 写 2^63−1 并置 NV;结果不同且未置 NV 才置 NX。
  • FLEN>32 时源须正确 NaN-boxed,否则按 canonical NaN;rd=x0 丢弃结果但保留标志副作用。静态 rm=101/110、动态 frm=101–111 的行为保留;动画 DYN 固定 frm=RNE。初始 fflags=0 仅为动画假设;指令不清除已有标志。

容易混淆 / 常见误区

L/LU 形式是 RV64-only;不要在 RV32 上使用。
rd 是整数寄存器,rs1 是浮点寄存器;rs2 字段只选择 L/LU 格式。
NaN、无穷或越界输入不按整数溢出回绕;按官方无效转换规则设置 NV。
舍入结果不同于源值且未设置 NV 时才设置 NX;已有 fflags 不会因此清零。

常见问题

FCVT.L.S 在 RV32 可用吗?

不可用。官方 F/D 转换规则把 L/LU 64 位整数形式定义为 RV64-only。

FCVT.L.S 的 rd 和 rs1 是哪类寄存器?

这是浮点到整数转换:rd 是整数寄存器,rs1 是浮点寄存器。

FCVT.L.S 的 rs2 字段表示什么?

rs2 字段选择 L 有符号 64 位整数格式;它不是汇编语法里的第二个源操作数。