fcvt.s.d 的 rm 什么时候重要？
当目标格式不能精确表示源值时，rm 或动态 frm 决定舍入方向。
FCVT.S.D
RISC-V FCVT.S.D 指令详解
指令手册R-type将双精度转为单精度：f[rd] = (float)(double)f[rs1]。
指令语法
fcvt.s.d rd, rs1, rm
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
D浮点转换
指令行为说明
fcvt.s.d 将双精度浮点源操作数转换为较窄的单精度浮点结果。目标格式不能精确表示时，结果按 rm 舍入。
快速理解与检索要点
fcvt.s.d 将双精度浮点源操作数转换为较窄的单精度浮点结果。目标格式不能精确表示时，结果按 rm 舍入。
rs2/fmt 编码选择源和目标格式；汇编助记符中的后缀就是主要语义。
这是浮点缩窄转换，可能产生舍入、上溢、下溢或不精确异常标志。
源浮点操作数在更宽 FLEN 寄存器中必须满足 NaN-boxing 规则。
目标浮点结果按目标格式在 FLEN 寄存器中 NaN-boxed。
常见使用场景
浮点基本运算
结合 «fcvt.s.d f0, f1, rne # f0 = (float)(double)f1» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
这是浮点缩窄转换，可能产生舍入、上溢、下溢或不精确异常标志。
源浮点操作数在更宽 FLEN 寄存器中必须满足 NaN-boxing 规则。
目标浮点结果按目标格式在 FLEN 寄存器中 NaN-boxed。
常见问题
fcvt.s.d 和同族 FCVT 指令的区别是什么？
区别在源/目标格式、整数有符号性、RV64 限制以及是否可能舍入或触发无效转换。