它使用整数寄存器还是浮点寄存器？
rd、rs1、rs2 都选择 f0–f31 浮点寄存器。f0 是普通浮点寄存器，写回不会像整数 x0 一样被丢弃。
FADD.S
RISC-V FADD.S 指令详解
指令手册R-type执行单精度浮点加法：rd = rs1 + rs2，舍入由 rm 字段或动态 frm 决定。
指令语法
fadd.s rd, rs1, rs2, rm
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
F浮点运算
指令行为说明
FADD.S 将 rs1 和 rs2 中的单精度浮点值相加，结果写入 rd。该 R-type 指令使用 OP-FP 操作码与 fmt=S(00)；rm 选择静态舍入，rm=111 时使用 frm。适用异常标志仅为 NV、OF、NX，累积到 fflags。次正规数按 IEEE 754-2008 规则处理；若 FLEN 大于 32，输入必须是有效的 NaN-boxed 单精度值，否则按规范 NaN 参与运算。
FADD.S 指令解析与执行动画
展示 F 扩展单精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FADD 语义并写回 rd。
rd
rs1
rs2
rm
fadd.s
,
,
,
执行环境
FLEN=>=32 / fmt=S (00)
舍入: RNE 最近偶数
fflags: 初始 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00000
FADD
00
fmt=S
01100
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x00C58553
opcode
1010011 -> OP-FP
funct5/fmt
00000 + S(00) -> FADD.S
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
尚未读取源寄存器
FP op
等待 Execute 计算
write
尚未写回；初始 fflags=0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；单精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x00C58553
syntax : fadd.s fa0(f10), fa1(f11), fa2(f12), rne
result : 尚未写回；初始 fflags=0
该动画仅接受输入和结果都可精确核算的有限白名单示例；当前示例无需舍入，不设置浮点异常标志。NaN、inf、溢出、下溢或非精确路径见静态说明。
单精度计算视图
rs1
fa1(f11) = 1.5
rs2
fa2(f12) = 2.25
结果
等待 Execute 计算
该动画仅接受输入和结果都可精确核算的有限白名单示例；当前示例无需舍入，不设置浮点异常标志。NaN、inf、溢出、下溢或非精确路径见静态说明。
假定扩展可用、FS 已启用、输入已正确 NaN-boxed、初始 fflags=0。仅接受非零有限精确白名单输入和非零白名单结果；零与舍入/异常边界不在动画范围内。同一源寄存器须有同一初始值；rd 可与源重叠，f0 可正常写回。步骤是教学视图。
该动画只展示 RISC-V F 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FADD.S 属于 RISC-V F 扩展 OP-FP 算术指令，读取两个单精度浮点寄存器，按 rm/frm 舍入后把结果写回浮点寄存器 rd，并通过 fflags 记录浮点异常。
后缀 .S 表示 32 位单精度浮点格式，指令属于 F 扩展 OP-FP 编码。
rm 字段选择静态舍入模式；rm=111 使用 frm 动态舍入模式。
FADD.S 的适用异常标志为 NV、OF、NX；不产生 UF 或 DZ。若 FLEN 大于 32，未正确 NaN-box 的输入按规范 NaN 参与运算。
适用于 RV32 与 RV64；F 扩展依赖 Zicsr。特权环境中 FS=Off 时，访问浮点状态触发非法指令异常。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture (20260120), F Extension 2.2RISC-V Assembly Programmer’s Manual (v0.0.0, 2025-02-05; release v0.0.1), Floating-point rounding modesThe RISC-V Instruction Set Manual, Volume II: Privileged Architecture (20260120), Extension Context Status
常见使用场景
浮点基本运算
结合 «fadd.s f0, f1, f2, rne # f0 = f1 + f2» 等实际代码理解该场景。
数值计算
结合 «fadd.s f0, f1, f2, rne # f0 = f1 + f2» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器，接收该格式的浮点结果。
- rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
语义检查
- 确认 32 位 S 格式与浮点寄存器输入匹配，并在更宽 FLEN 时正确 NaN-box。
- 确认按需检查累积到 fflags 的 NV、OF、NX；设置浮点异常标志本身不会生成 trap。
容易混淆 / 常见误区
rd、rs1、rs2 是浮点寄存器，不是整数 x 寄存器。
rm 字段或动态 frm 选择舍入模式；不要把示例结果当作所有舍入模式下的通用证明。
FADD.S 仅可能累积 NV、OF、NX；不产生 UF 或 DZ。若 FLEN 大于 32，未正确 NaN-box 的输入按规范 NaN 参与运算。
常见问题
rm 对结果有什么影响？
rm 选择舍入模式，或在 dyn 编码下使用 frm。对不能精确表示的结果，舍入模式会影响写回值，并可能设置 fflags。
浮点异常会像整数异常一样 trap 吗？
基础 ISA 不因设置浮点异常标志而生成 trap；软件显式读取 fflags 检查异常。浮点状态被禁用等导致的非法指令异常是另一种情况。
可以省略 rm 吗？
汇编中省略 rm 时默认为 dyn，使用 frm；显式 rne 才选择静态最近偶数舍入。静态 rm=101/110 与动态 frm=101/110/111 的行为是保留的，不能假定总会触发异常。
fflags 与动画的范围是什么？
浮点异常标志累积到 fflags；基础 ISA 不因设置这些标志而生成 trap。动画假定扩展可用、浮点状态已启用、输入正确 NaN-boxed、初始 fflags=0；只计算非零有限精确白名单输入及非零白名单结果，未覆盖的零、NaN、无穷、溢出、下溢或非精确路径不接受为动画输入。FLEN 大于结果宽度时，写回结果高位全置 1，形成有效 NaN-boxed 值。