FROUND.D 会把结果写入整数寄存器吗？
不会。结果仍写入浮点寄存器 f[rd]；只是浮点值已经是整数值。
FROUND.D
RISC-V FROUND.D 指令详解
指令手册R-type把双精度浮点数按 rm 舍入到整数值，结果仍为浮点格式，不设置 NX。
指令语法
fround.d rd, rs1[, rm]
操作数说明
rd、rs1：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，rd 可与 rs1 重叠。rs1 是唯一源；rs2=00100 是固定选择子。
rm 可省略，默认 dyn；111 使用 frm。静态 101/110 与动态 frm=101–111 的行为保留。
ZfaD浮点精度
指令行为说明
FROUND.D 需要 RV32/RV64 Zfa+D 和已启用的浮点状态。它按 rm 将 f[rs1] 的双精度值舍入到整数值，并以双精度格式写入 f[rd]。零和无穷原样复制；NaN 结果采用规范 NaN，信号 NaN 另累积 NV。FROUND 不设置 NX、DZ、OF 或 UF，也不清除已有 fflags。
FROUND.D 指令解析与执行动画
展示 Zfa + D 扩展双精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FROUND 语义并写回 rd。
rd
rs1
rm
fround.d
,
,
rm 可留空：按汇编默认 dyn 编码，并使用下方 fcsr.frm。
执行环境
FLEN>=64 / fmt=D (01)
舍入: RNE 最近偶数
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
尚未读取源寄存器
FP op
等待 Execute 计算
write
尚未写回；初始 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 : 尚未写回；初始 fflags=0
该受限教学模型计算白名单有限示例以及零、无穷和 NaN；FROUND.D 将整数值作为 D 格式写回。零和无穷复制。FROUND 不设置 NX，且除 NV 外不设置其它异常标志。
双精度计算视图
rs1
fa1(f11) = 1.5
结果
等待 Execute 计算
该受限教学模型计算白名单有限示例以及零、无穷和 NaN；FROUND.D 将整数值作为 D 格式写回。零和无穷复制。FROUND 不设置 NX，且除 NV 外不设置其它异常标志。
假定 Zfa + D 可用、FS 已启用、输入已正确 NaN-boxed、初始 fflags=0。接受所列精确有限白名单、正负零、无穷、qNaN 和 sNaN；按 rm/frm 舍入，零与无穷原样复制，sNaN 设置 NV。FROUND 不设置 NX。rd 可与 rs1 重叠，f0 可正常写回。步骤是教学视图。
该动画只展示 RISC-V Zfa + D 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FROUND.D 将双精度数舍入到整数值，结果仍写入浮点寄存器。它特意不设置 NX；FROUNDNX.D 才在非 NaN 输入与舍入结果不同时设置 NX。
需要 Zfa 1.0 与 D；Zfa 依赖 F。rd、rs1 是浮点寄存器 f0–f31，f0 可写，rd 可与 rs1 重叠。
32 位 OP-FP：funct5=01000、fmt=01 (D)、rs2=00100、rs1、rm、rd、opcode=1010011；rs2 是固定选择子，不是第二个源。
rm 可省略，默认 dyn；000/001/010/011/100 分别为 rne/rtz/rdn/rup/rmm，111 使用 frm。静态 101/110 与动态 frm=101–111 的行为保留。
操作数窄于 FLEN 时必须正确 NaN-boxed；否则按该格式的规范 NaN 处理。较窄结果的高 FLEN 位写 1。
零和无穷原样复制；NaN 结果为规范 NaN，信号 NaN 累积 NV。不设置 NX 或其它异常标志；已有 fflags 不清除，置位本身不产生浮点异常陷阱。
动画假定正确 NaN-boxing、初始 fflags=0，接受所列精确有限白名单以及正负零、无穷、qNaN、sNaN；不模拟任意十进制输入。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Zfa 1.0, §26.3The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — F 2.2, §§21.2–21.3; D 2.2, §§22.2/22.5RISC-V Assembly Programmer's Manual — Floating-point rounding modesRISC-V ABIs Specification — Version 1.0, floating-point register convention
常见使用场景
浮点舍入
假定 RV32/RV64 Zfa+D 与浮点状态启用，f11=1.5 为正确 NaN-boxed 双精度值（若 FLEN 更宽），初始 fflags=0：fround.d f10, f11, rup 写 f10=2.0，结果仍在浮点寄存器；不设置 NX，fflags 仍为 0。
数值格式处理
假定 RV32/RV64 Zfa+D 与浮点状态启用，f11=1.5 为正确 NaN-boxed 双精度值（若 FLEN 更宽），初始 fflags=0：fround.d f10, f11, rup 写 f10=2.0，结果仍在浮点寄存器；不设置 NX，fflags 仍为 0。
使用前检查清单
语法检查
- rd、rs1：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，rd 可与 rs1 重叠。rs1 是唯一源；rs2=00100 是固定选择子。
- rm 可省略，默认 dyn；111 使用 frm。静态 101/110 与动态 frm=101–111 的行为保留。
语义检查
- 确认 Zfa+D、浮点状态启用，双精度源在更宽 FLEN 中正确 NaN-boxed。
- 结果仍为双精度浮点；仅 sNaN 新增 NV，不新增 NX、DZ、OF 或 UF；已有 fflags 保留。
容易混淆 / 常见误区
FROUND 不设置 NX；需要记录不准时使用 FROUNDNX。
结果仍写入浮点寄存器；需要整数寄存器结果时可用 FCVT.W[U].D 或仅 RV64 的 FCVT.L[U].D。
rm 控制舍入到整数值的方向。
常见问题
FROUND.D 和 FROUNDNX.D 有什么差异？
FROUND 不设置 NX；FROUNDNX 仅在输入与舍入结果不同且输入不是 NaN 时设置 NX。