首页/指令库/半精度转单精度
FCVT.S.H

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

指令手册OP-FP

半精度转单精度浮点;有限值加宽精确,rm 仍须合法。

指令语法

fcvt.s.h rd, rs1, rm

rd 为浮点 f0–f31(f0 可写),rs1 为浮点 f0–f31;源目的可重叠。rs2 是源类型选择器;无立即数。

32位 OP-FP:funct5=01000,fmt=00(目标 S),rs2=00010,opcode=1010011。

RV32/RV64;需 Zfhmin(Zfh 也包含),依赖 F,所需扩展与浮点状态须启用。

rm 可省略,默认 dyn 使用 frm;静态101/110、动态frm=101–111 的行为保留。有限加宽精确,软件应选 rne;合法 rm 不改变数值。

源格式窄于 FLEN 时须满足 NaN-boxing;无效箱按 canonical NaN 处理。S 结果在 FLEN>32 时高位全置1。异常累积到 fflags,置位本身不产生浮点异常陷阱。动画有限示例假定初始 fflags=0。

ZfhZfhmin浮点转换

指令行为说明

fcvt.s.h 将浮点寄存器 rs1 的半精度值转换为单精度,写入浮点 rd。有限值加宽精确,但 rm 字段及保留编码规则仍适用。

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

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

rd
rs1
rm
fcvt.s.h
,
,

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

执行环境
fmt=S (00)
rs2=H
舍入: RNE 最近偶数
fflags: 0

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

31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FCVT.S
00
fmt=S
00010
rs2=H
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x40258553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 00 -> FCVT.S.H
rs2
00010 -> H source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = H 1.25 (0x3D00)
convert
H 1.25 -> S 1.25
write
fa0(f10) = S 1.25 (0x3FA00000); 0
当前步骤

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

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

encoding: 0x40258553
syntax : fcvt.s.h fa0(f10), fa1(f11), rne
result : fa0(f10) = S 1.25 (0x3FA00000); 0

H 到 S 是浮点加宽转换;当前有限示例可精确表示,数值结果不需要 rm 舍入,示例 fflags 保持 0。

FCVT 转换视图
H FP source
H 1.25 (0x3D00)
conversion
H 1.25 -> S 1.25
writeback
fa0(f10) = S 1.25 (0x3FA00000)

H 到 S 是浮点加宽转换;当前有限示例可精确表示,数值结果不需要 rm 舍入,示例 fflags 保持 0。

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

快速理解与检索要点

半精度转单精度浮点;有限值加宽精确,rm 仍须合法。

32位 OP-FP:funct5=01000,fmt=00(S),rs2=00010,opcode=1010011。
rd、rs1 均为 f0–f31;f0 可写,源目的可重叠。
H 源窄于 FLEN 时须 NaN-boxing;无效箱按 canonical NaN 处理。
RV32/RV64;需Zfhmin(Zfh 也包含)和 F。所需扩展与浮点状态须启用。

常见使用场景

浮点格式转换

结合 «# f1 = 1.25; rm=rne; initial fflags=0 fcvt.s.h f0, f1, rne # f0 = 1.25; fflags=0» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 为浮点 f0–f31(f0 可写),rs1 为浮点 f0–f31;源目的可重叠。rs2 是源类型选择器;无立即数。
  • 32位 OP-FP:funct5=01000,fmt=00(目标 S),rs2=00010,opcode=1010011。
语义检查
  • RV32/RV64;需 Zfhmin(Zfh 也包含),依赖 F,所需扩展与浮点状态须启用。
  • rm 可省略,默认 dyn 使用 frm;静态101/110、动态frm=101–111 的行为保留。有限加宽精确,软件应选 rne;合法 rm 不改变数值。
  • 源格式窄于 FLEN 时须满足 NaN-boxing;无效箱按 canonical NaN 处理。S 结果在 FLEN>32 时高位全置1。异常累积到 fflags,置位本身不产生浮点异常陷阱。动画有限示例假定初始 fflags=0。

容易混淆 / 常见误区

rs2 是源类型选择器,不是第二个寄存器操作数。
rm 可省略,默认 dyn 使用 frm;静态 101/110、动态 frm=101–111 的行为保留。
有限 H 到 S 加宽精确;软件应选择 rne。
S 结果在 FLEN>32 时高位全置1;动画只演示列出的有限源值。

常见问题

fcvt.s.h 使用哪些寄存器?

rd、rs1 为浮点寄存器;rs2 仅编码源格式。

fcvt.s.h 如何使用 rm?

有限加宽精确,合法 rm 不改变数值;编码仍有 rm,软件应选 rne。省略 rm 默认 dyn 使用 frm,保留编码规则仍适用。