地址寄存器是浮点寄存器吗？
不是。基址 rs1 是整数寄存器，数据源/目的才是浮点寄存器。
指令编码
31..25
imm[11:5]
24..20
rs2
19..15
rs1
14..12
funct3
11..7
imm[4:0]
6..0
opcode
FSD 使用 opcode 0100111（0x27）、funct3 011。rs1 保存基地址，rs2 保存存储数据，12 位立即数（拆分在 imm[11:5] 和 imm[4:0]）提供偏移量。
格式: S-type
opcode: 0100111 (0x27)
funct3: 011 (0x3)
指令行为说明
FSD 使用基地址+偏移量寻址（S 型格式），将 f[rs2] 中的 64 位双精度浮点值存储到内存。可能为 NaN-boxed 值。仅当对齐且 XLEN≥64 时保证原子性。位不修改传输。
快速理解与检索要点
FSD 是浮点加载/存储指令，使用整数寄存器 rs1 加 12 位有符号偏移形成有效地址，并在内存与浮点寄存器之间传输位模式。
宽度为 64 位；D 扩展的双精度传输不解释或规范化 NaN payload。
自然对齐访问的原子性和非对齐处理受规范与执行环境约束；不要把它当成通用同步原语。
常见使用场景
浮点基本运算
结合 «fsd f0, 0(x10)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 S-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
非对齐地址在XLEN<64时可能无原子性
常见问题
偏移范围是多少？
偏移是 12 位有符号立即数，编码范围为 -2048 到 2047 字节。