首页/指令库/存储半精度浮点数
FSH

RISC-V FSH 指令详解

指令手册S-type

将浮点寄存器中的 16 位半精度位模式存储到内存。

指令语法

fsh rs2, offset(rs1)
操作数说明
rs2:源浮点寄存器,提供要写入内存的浮点编码。
rs1:整数基址寄存器。
offset:12 位有符号字节偏移,与 rs1 相加形成有效地址。
ZfhZfhmin浮点存储

指令行为说明

FSH 使用 S-type STORE-FP 编码,将浮点寄存器 f[rs2] 中的低 16 位半精度浮点位模式存储到 x[rs1] 加 12 位有符号字节偏移形成的有效地址。存储按位写出该格式宽度的数据,不执行浮点舍入、格式转换或 NaN payload 规范化。自然对齐访问的原子性按官方 Zfh 规则保证,非对齐访问由执行环境约束。

FSH 指令解析与执行动画

展示 Zfh/Zfhmin 扩展浮点存储的 ISA 可见流程:解析 S-type 编码,用整数基址加 12 位偏移形成地址,并传输 16 位浮点位模式。

rs2
offset
rs1
fsh
,
,
执行环境
fmt=H / width=16
基址寄存器是整数 x 寄存器
fflags 不改变
31..25
24..20
19..15
14..12
11..7
6..0
0000000
imm[11:5]
01011
rs2
01010
rs1
001
FSH
00010
imm[4:0]
0100111
STORE-FP
执行数据路径
instruction
0x00B51127
opcode
0100111 -> STORE-FP
funct3
001 -> 16-bit store
offset
000000000010 -> 2
rs2/rs1
fa1(f11) / a0(x10)
read
a0(x10) = 0x0000000000001000, fa1(f11) = 0x3E00
address
0x0000000000001000 + (2) = 0x0000000000001002
memory
memory[0x0000000000001002] = 0x3E00
当前步骤

Fetch:展示 32-bit S-type 编码

机器码按 S-type 字段切分;浮点访存不是 OP-FP 算术编码。

encoding: 0x00B51127
syntax : fsh fa1(f11), 2(a0(x10))
result : memory[0x0000000000001002] = 0x3E00
地址与位模式传输
base
0x0000000000001000
offset
2
address
0x0000000000001002
stored bits
0x3E00

FSH 只存储 rs2 的低 16 位半精度位模式,不执行舍入、格式转换或 NaN 规范化。

该动画只展示 RISC-V Zfh/Zfhmin 扩展浮点加载/存储的 ISA 可见地址计算和位模式传输;不模拟 cache、总线、异常处理器、FPU 流水线或微架构时序。

快速理解与检索要点

FSH 是 Zfh/Zfhmin 半精度浮点存储。它用整数基址和 12 位字节偏移计算地址,把 f[rs2] 的 16 位半精度位模式写入内存;它不是浮点运算,因此没有 rm 舍入步骤。

S-type STORE-FP:imm[11:5]、rs2、rs1、funct3=001、imm[4:0]、opcode=0100111。
有效地址 = x[rs1] + sign_extend(offset),偏移单位是字节。
FSH 存储源浮点寄存器中的低 16 位半精度编码,不规范化 NaN payload。

常见使用场景

浮点访存

结合 «fsh f10, 4(x11) ; store lower 16 bits of f10 to [x11+4]» 等实际代码理解该场景。

数据加载与存储

结合 «fsh f10, 4(x11) ; store lower 16 bits of f10 to [x11+4]» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rs2:源浮点寄存器,提供要写入内存的浮点编码。
  • rs1:整数基址寄存器。
  • offset:12 位有符号字节偏移,与 rs1 相加形成有效地址。
语义检查
  • 确认 offset 是字节偏移,不是元素索引。
  • 确认存储写出的是源浮点寄存器中的该格式编码,不执行格式转换。

容易混淆 / 常见误区

rs1 是整数基址寄存器;rs2 是浮点源寄存器。
offset 是 12 位有符号字节偏移,范围 -2048 到 2047。
FSH 只存储半精度格式宽度的位模式,不执行浮点舍入或格式转换。
FSH 不写回浮点寄存器;加载时的 NaN-boxing 不是存储阶段的动作。

常见问题

FSH 的地址来自浮点寄存器吗?

不是。地址基址来自整数寄存器 rs1;浮点寄存器 rs2 只提供要写入内存的数据位模式。

FSH 会改变 fflags 吗?

不会。FSH 是位模式存储,不执行浮点算术或舍入,按 ISA 可见语义不会设置浮点异常标志。