FSW 的地址来自浮点寄存器吗？
不是。地址基址来自整数寄存器 rs1；浮点寄存器 rs2 只提供要写入内存的数据位模式。
FSW
RISC-V FSW 指令详解
指令手册S-type将浮点寄存器中的32位单精度浮点值存储到内存。
指令语法
fsw rs2, offset(rs1)
操作数说明
源寄存器 rs2：要写入内存的数据寄存器。
基址寄存器 rs1：内存访问的基地址。
立即数偏移：12 位有符号偏移量，与 rs1 相加得到最终地址。
F浮点存储
指令行为说明
FSW 使用 S-type STORE-FP 编码，将浮点寄存器 f[rs2] 中的 32 位单精度浮点位模式存储到 x[rs1] 加 12 位有符号字节偏移形成的有效地址。传输不会执行浮点舍入，也不会修改或规范化 NaN payload。自然对齐访问的原子性按官方 F 扩展规则保证，非对齐访问由执行环境约束。
FSW 指令解析与执行动画
展示 F 扩展浮点存储的 ISA 可见流程：解析 S-type 编码，用整数基址加 12 位偏移形成地址，并传输 32 位浮点位模式。
rs2
offset
rs1
fsw
,
,
执行环境
fmt=S / width=32
基址寄存器是整数 x 寄存器
fflags 不改变
31..25
24..20
19..15
14..12
11..7
6..0
0000000
imm[11:5]
01011
rs2
01010
rs1
010
FSW
01100
imm[4:0]
0100111
STORE-FP
执行数据路径
instruction
0x00B52627
opcode
0100111 -> STORE-FP
funct3
010 -> 32-bit store
offset
000000001100 -> 12
rs2/rs1
fa1(f11) / a0(x10)
read
a0(x10) = 0x0000000000001000, fa1(f11) = 0x40490FDB
address
0x0000000000001000 + (12) = 0x000000000000100C
memory
memory[0x000000000000100C] = 0x40490FDB
当前步骤
Fetch：展示 32-bit S-type 编码
机器码按 S-type 字段切分；浮点访存不是 OP-FP 算术编码。
encoding: 0x00B52627
syntax : fsw fa1(f11), 12(a0(x10))
result : memory[0x000000000000100C] = 0x40490FDB
地址与位模式传输
base
0x0000000000001000
offset
12
address
0x000000000000100C
stored bits
0x40490FDB
FSW 存储 32 位单精度位模式，不写回浮点寄存器，也不执行舍入或 NaN 规范化。
该动画只展示 RISC-V F 扩展浮点加载/存储的 ISA 可见地址计算和位模式传输；不模拟 cache、总线、异常处理器、FPU 流水线或微架构时序。
快速理解与检索要点
FSW 是 F 扩展单精度浮点存储。它用整数基址和 12 位字节偏移计算地址，把 f[rs2] 的 32 位单精度位模式写入内存；它不是浮点运算，因此没有 rm 舍入步骤。
S-type STORE-FP：imm[11:5]、rs2、rs1、funct3=010、imm[4:0]、opcode=0100111。
有效地址 = x[rs1] + sign_extend(offset)，偏移单位是字节。
FSW 存储源浮点寄存器中的单精度位模式，不规范化 NaN payload。
常见使用场景
浮点基本运算
结合 «fsw f0, 0(x10)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 S-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
rs1 是整数基址寄存器；rs2 是浮点源寄存器。
offset 是 12 位有符号字节偏移，范围 -2048 到 2047。
FSW 存储 32 位位模式，不执行浮点舍入或 NaN 规范化。
FSW 不写回浮点寄存器；加载时的 NaN-boxing 不是存储阶段的写回动作。
常见问题
FSW 会改变 fflags 吗？
不会。FSW 是位模式存储，不执行浮点算术或舍入；按 ISA 可见语义不会设置浮点异常标志，动画也展示 fflags 不改变。