FROUND.D 会把结果写入整数寄存器吗？
不会。结果仍写入浮点寄存器 f[rd]；只是浮点值已经是整数值。
FROUND.D
RISC-V FROUND.D 指令详解
指令手册R-type把双精度浮点数按 rm 舍入到整数值，结果仍为浮点格式，不设置 NX。
指令语法
fround.d rd, rs1, rm
操作数说明
rd：目标浮点寄存器，接收舍入后的同格式浮点结果。
rs1：唯一的源浮点寄存器；编码中的 rs2 固定为 00100（十进制 4），不是第二个源浮点寄存器。
rm：舍入模式字段；rm=111 时使用 frm 动态舍入模式。
ZfaD浮点精度
指令行为说明
FROUND.D 将 f[rs1] 的双精度浮点值按 rm 指定的舍入模式舍入为整数值，但结果仍以双精度浮点格式写入 f[rd]。零和无穷输入原样复制；信号 NaN 设置 NV，且不会设置其它异常标志。与 FROUNDNX 不同，FROUND 不设置不准 NX 标志。
FROUND.D 指令解析与执行动画
展示 Zfa + D 扩展双精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FROUND 语义并写回 rd。
rd
rs1
rm
fround.d
,
,
执行环境
FLEN=>=64 / fmt=D (01)
舍入: RNE 最近偶数
fflags: FROUND 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FROUND
01
fmt=D
00100
rs2=4 (roundToIntegral)
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x42458553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + D(01) -> FROUND.D
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / rs2=00100 (fixed)
read
1.5
FP op
roundToIntegral(1.5, RNE 最近偶数) = 2.0
write
fa0(f10) = 2.0; FROUND 示例 fflags 保持 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；双精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x42458553
syntax : fround.d fa0(f10), fa1(f11), rne
result : fa0(f10) = 2.0; FROUND 示例 fflags 保持 0
该受限教学模型计算白名单有限示例以及零、无穷和 NaN；FROUND.D 将整数值作为 D 格式写回。零和无穷复制。FROUND 不设置 NX，且除 NV 外不设置其它异常标志。
双精度计算视图
rs1
fa1(f11) = 1.5
rs2
ft4(f4) = 0.0
结果
roundToIntegral(1.5, RNE 最近偶数) = 2.0
该受限教学模型计算白名单有限示例以及零、无穷和 NaN；FROUND.D 将整数值作为 D 格式写回。零和无穷复制。FROUND 不设置 NX，且除 NV 外不设置其它异常标志。
该动画只展示 RISC-V Zfa + D 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FROUND.D 和 FCVT 的区别是输出类型：FROUND.D 输出仍在浮点寄存器中，只是数值被舍入到整数值。FROUND 特意不报告不准 NX。
它使用 OP-FP 编码：funct5=01000、fmt=01 (D)、rs2=00100、rs1、rm、rd 和 opcode=1010011。
rm 选择舍入方向；rm=111 时动态舍入由 frm 提供。
零和无穷原样复制；信号 NaN 设置 NV，FROUND 不设置 NX 或其它异常标志。
常见使用场景
浮点舍入
结合 «fround.d f10, f11, rup ; round f11 toward +∞» 等实际代码理解该场景。
数值格式处理
结合 «fround.d f10, f11, rup ; round f11 toward +∞» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器，接收舍入后的同格式浮点结果。
- rs1：唯一的源浮点寄存器；编码中的 rs2 固定为 00100（十进制 4），不是第二个源浮点寄存器。
- rm：舍入模式字段；rm=111 时使用 frm 动态舍入模式。
语义检查
- 确认操作数的浮点格式后缀（.H/.S/.D/.Q）符合数据宽度。
- 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。
容易混淆 / 常见误区
FROUND 不设置 NX；需要记录不准时使用 FROUNDNX。
结果仍是浮点数，不是整数寄存器结果；若需要整数结果使用 FCVT。
rm 控制舍入到整数值的方向。
常见问题
FROUND.D 和 FROUNDNX.D 有什么差异？
FROUND 不设置 NX；FROUNDNX 仅在输入与舍入结果不同且输入不是 NaN 时设置 NX。