FSQRT.Q 的编码怎样识别四精度平方根？
opcode=1010011 进入 OP-FP，funct5=01011 选择 FSQRT，fmt=11 选择 Q 四精度格式，rs2 字段固定为 00000。
FSQRT.Q
RISC-V FSQRT.Q 指令详解
指令手册R-type四精度浮点平方根：rd = sqrt(rs1)。
指令语法
fsqrt.q rd, rs1, rm
操作数说明
rd：目标浮点寄存器，接收平方根结果。
rs1：唯一的源浮点寄存器；FSQRT 编码中的 rs2 字段固定为 00000，不是语法操作数。
rm：舍入模式字段，rm=111 时使用 frm 动态舍入模式。
Q浮点运算
指令行为说明
FSQRT.Q 计算四精度浮点平方根，结果按 rm 字段或动态舍入模式舍入后写入 rd。负的非零有限数和 -∞ 产生规范 NaN 并设置 NV；-0 的平方根仍为 -0。
FSQRT.Q 指令解析与执行动画
展示 Q 扩展四精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FSQRT 语义并写回 rd。
rd
rs1
rm
fsqrt.q
,
,
执行环境
FLEN=128 / fmt=Q (11)
舍入: RNE 最近偶数
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01011
FSQRT
11
fmt=Q
00000
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x5E058553
opcode
1010011 -> OP-FP
funct5/fmt
01011 + Q(11) -> FSQRT.Q
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / rs2=00000
read
2.25
FP op
sqrt(2.25) = 1.5
write
fa0(f10) = 1.5; 示例 fflags 保持 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；四精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x5E058553
syntax : fsqrt.q fa0(f10), fa1(f11), rne
result : fa0(f10) = 1.5; 示例 fflags 保持 0
当前默认示例 sqrt(9.0)=3.0 可精确表示，因此示例 fflags 保持 0。
四精度计算视图
rs1
fa1(f11) = 2.25
结果
sqrt(2.25) = 1.5
当前默认示例 sqrt(9.0)=3.0 可精确表示，因此示例 fflags 保持 0。
该动画只展示 RISC-V Q 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FSQRT.Q 是 Q 扩展四精度浮点平方根。它使用 OP-FP 编码，funct5=01011、fmt=Q(11)，rs2 固定为 00000；指令读取 rs1 的四精度值，按 rm 或动态 frm 舍入后写回 rd。
FSQRT.Q 是一元 OP-FP 指令；rs2 编码固定为 00000，语法中不出现第二个源寄存器。
负的非零有限输入和 -inf 属于 invalid-operation 路径；sqrt(-0) 保持 -0。
动画使用可精确核算的默认示例，避免用双精度 JavaScript 数值假装完整四精度求根。
常见使用场景
浮点基本运算
结合 «fsqrt.q f0, f1, rne # f0 = sqrt(f1)» 等实际代码理解该场景。
数值计算
结合 «fsqrt.q f0, f1, rne # f0 = sqrt(f1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器，接收平方根结果。
- rs1：唯一的源浮点寄存器；FSQRT 编码中的 rs2 字段固定为 00000，不是语法操作数。
- rm：舍入模式字段，rm=111 时使用 frm 动态舍入模式。
语义检查
- 确认操作数的浮点格式后缀（.H/.S/.D/.Q）符合数据宽度。
- 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。
容易混淆 / 常见误区
舍入模式来自 rm 字段；rm=111 使用 frm 动态舍入模式。
浮点异常记录在 fflags，不是整数分支条件或整数异常。
负输入的平方根边界要区分 -0 与其他负数。
常见问题
FSQRT.Q 对负零和负数一样吗？
不一样。官方浮点规则保留 sqrt(-0)=-0；负的非零有限数和 -∞ 才进入 invalid-operation/NaN 路径。