它使用整数寄存器还是浮点寄存器？
rd、rs1、rs2 都是浮点寄存器字段；浮点 f0 是可写寄存器，不能套用整数 x0 的丢弃规则。
FSUB.S
RISC-V FSUB.S 指令详解
指令手册R-type执行单精度浮点减法：rd = rs1 - rs2；rm=111 时使用动态 frm，保留 rm 编码的行为为保留。
指令语法
fsub.s rd, rs1, rs2[, rm]
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
F浮点运算
指令行为说明
FSUB.S 是 F 扩展的 OP-FP R 型指令：它从 rs1 中减去 rs2 的单精度浮点值，并将结果写入浮点寄存器 rd。fmt=00 选择单精度；rm 选择静态舍入，rm=111 使用 frm。静态 rm=101--110 及保留的动态 frm 编码具有保留行为。
FSUB.S 指令解析与执行动画
展示 F 扩展单精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FSUB 语义并写回 rd。
rd
rs1
rs2
rm
fsub.s
,
,
,
执行环境
FLEN=>=32 / fmt=S (00)
舍入: RNE 最近偶数
fflags: 初始 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00001
FSUB
00
fmt=S
01100
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x08C58553
opcode
1010011 -> OP-FP
funct5/fmt
00001 + S(00) -> FSUB.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: 0x08C58553
syntax : fsub.s fa0(f10), fa1(f11), fa2(f12), rne
result : 尚未写回；初始 fflags=0
该动画仅接受输入和结果都可精确核算的有限白名单示例；当前示例无需舍入，不设置浮点异常标志。NaN、inf、溢出、下溢或非精确路径见静态说明。
单精度计算视图
rs1
fa1(f11) = 7.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 边界组合或微架构实现。
快速理解与检索要点
FSUB.S 属于 RISC-V F 扩展 OP-FP 算术指令，读取两个单精度浮点寄存器，按 rm/frm 舍入后把 rs1-rs2 的结果写回浮点寄存器 rd。
后缀 .S 表示 32 位单精度浮点格式，指令属于 F 扩展 OP-FP 编码。
rm 字段选择静态舍入模式；rm=111 使用 frm 动态舍入模式。
FSUB.S 可累积 NV、OF、NX；不产生 DZ 或 UF。保留的静态 rm=101--110，以及保留的动态 frm 编码，具有保留行为。
两数接近时的抵消属于数值性质；架构层仍按单精度减法、舍入模式和 fflags 规则给出结果。
汇编中省略 rm 时使用 dyn，并非默认 rne；示例显式指定 rne。
常见使用场景
浮点基本运算
结合 «fsub.s f0, f1, f2, rne # f0 = round_RNE(f1 - f2)» 等实际代码理解该场景。
数值计算
结合 «fsub.s f0, f1, f2, rne # f0 = round_RNE(f1 - f2)» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd、rs1、rs2 选择浮点寄存器；f0 可写。
- rm 是可选汇编操作数，省略时使用 dyn；rm=111 选择 frm，保留编码的行为为保留。
语义检查
- 以单精度计算 rs1-rs2，再按选定模式舍入到单精度结果。
- 可能累积 NV、OF、NX，不产生 DZ 或 UF；设置 fflags 本身不触发 trap。
容易混淆 / 常见误区
rd、rs1、rs2 是浮点寄存器，不是整数 x 寄存器。
两操作数接近可能发生抵消，但架构语义仍是单精度 rs1-rs2 加舍入。
浮点异常记录在 fflags；不要用整数条件码或整数溢出模型解释 FSUB.S。
常见问题
rm 对结果有什么影响？
rm 选择舍入模式，或在 dyn 编码下使用 frm。对不能精确表示的结果，舍入模式会影响写回值，并可能设置 fflags。
浮点异常会像整数异常一样 trap 吗？
F 扩展将浮点异常累积在 fflags；设置这些浮点异常标志本身不触发 trap。扩展不可用或浮点状态关闭是另一类问题。