FSQRT.D 为什么没有 rs2 操作数？
平方根是一元浮点操作。机器编码仍有 rs2 位段，但该位段固定为 00000，不对应汇编语法里的第二个源寄存器。
FSQRT.D
RISC-V FSQRT.D 指令详解
指令手册R-type计算双精度浮点平方根：f[rd] = sqrt(f[rs1])。
指令语法
fsqrt.d rd, rs1, rm
操作数说明
RV32/RV64 D 2.2（依赖 F）；32 位 OP-FP，funct5=01011、fmt=01（D）、opcode=1010011。
rd、rs1 选择浮点 f0–f31，f0 可写；rs2 固定为 00000。rm 可选，省略为 dyn；显式舍入助记符须小写。
对 rs1 开平方根，按 rm/frm 舍入后写 rd；目标可与源重叠。FLEN 更宽时检查输入 NaN-boxing，失败按规范 NaN 处理，窄结果高位置 1。
rm=101/110 和动态 frm=101/110/111 的行为保留；适用 NV、NX 累积到 fflags，设置标志本身不产生 trap。动画只演示有限精确输入。
D浮点运算
指令行为说明
FSQRT.D 使用 OP-FP 编码与 fmt=D，对一个双精度浮点源操作数执行平方根，按 rm 字段或动态 frm 舍入，并写入浮点寄存器 rd。编码中的 rs2 字段固定为 00000；NaN-boxing、负的非零输入、NaN、无穷和不精确结果按 RISC-V D/F 扩展浮点规则产生结果并记录 fflags。
FSQRT.D 指令解析与执行动画
展示 D 扩展双精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FSQRT 语义并写回 rd。
rd
rs1
rm
fsqrt.d
,
,
执行环境
FLEN=>=64 / fmt=D (01)
舍入: RNE 最近偶数
fflags: 初始 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01011
FSQRT
01
fmt=D
00000
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x5A058553
opcode
1010011 -> OP-FP
funct5/fmt
01011 + D(01) -> FSQRT.D
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / rs2=00000
read
尚未读取源寄存器
FP op
等待 Execute 计算
write
尚未写回；初始 fflags=0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；双精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x5A058553
syntax : fsqrt.d fa0(f10), fa1(f11), rne
result : 尚未写回；初始 fflags=0
当前默认示例 sqrt(9.0)=3.0 可精确表示，因此示例 fflags 保持 0。
双精度计算视图
rs1
fa1(f11) = 9.0
结果
等待 Execute 计算
当前默认示例 sqrt(9.0)=3.0 可精确表示，因此示例 fflags 保持 0。
假定扩展与 FS 已启用、输入已正确 NaN-boxed、初始 fflags=0。只接受 1、2.25、9，结果分别为 1、1.5、3，所有合法舍入模式下均精确且不设置标志；其他输入停止执行。rd 可与源重叠，f0 可写。步骤是教学视图。
该动画只展示 RISC-V D 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FSQRT.D 是 D 扩展双精度平方根。它只有一个源浮点寄存器，编码仍保留 rs2 字段且该字段固定为 00000；rm/frm 控制舍入，NaN-boxing 和 fflags 由官方 D/F 浮点规则约束。
语法操作数是 rd、rs1、rm；动画不会把 rs2 当成用户输入。
fmt=D 表示 64 位双精度格式，funct5=FSQRT 选择平方根操作。
动画使用 sqrt(9.0)=3.0 的精确示例，因此示例 fflags 保持 0；负的非零输入、NaN-boxing 失败和非精确结果仍按官方浮点规则处理。
常见使用场景
数值计算
结合 «fsqrt.d f0, f1, rne # f0 = sqrt(f1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- RV32/RV64 D 2.2（依赖 F）；32 位 OP-FP，funct5=01011、fmt=01（D）、opcode=1010011。
- rd、rs1 选择浮点 f0–f31，f0 可写；rs2 固定为 00000。rm 可选，省略为 dyn；显式舍入助记符须小写。
语义检查
- 对 rs1 开平方根，按 rm/frm 舍入后写 rd；目标可与源重叠。FLEN 更宽时检查输入 NaN-boxing，失败按规范 NaN 处理，窄结果高位置 1。
- rm=101/110 和动态 frm=101/110/111 的行为保留；适用 NV、NX 累积到 fflags，设置标志本身不产生 trap。动画只演示有限精确输入。
容易混淆 / 常见误区
FSQRT.D 的汇编语法只有 rd、rs1、rm；rs2 是固定编码字段，不是第二个源操作数。
D 扩展双精度操作数在更宽 FLEN 中受 NaN-boxing 规则约束。
sqrt(9.0)=3.0 是动画中的精确示例；sqrt(2.0) 等非精确结果可能设置 NX。
rm 是可选汇编操作数；省略时使用 dyn（frm），指定 rne 才固定为最近偶数舍入。
常见问题
负数输入怎么处理？
负的非零输入按浮点 invalid operation 规则产生结果并记录 fflags；这不是整数异常或分支条件。