FSGNJ.H

RISC-V FSGNJ.H 指令详解

指令手册R-type

FSGNJ.H 保留 rs1 的半精度数值位,并按 rs2 符号生成结果符号位。

指令语法

fsgnj.h rd, rs1, rs2
操作数说明
rd:目标浮点寄存器,接收该格式的浮点结果。
rs1/rs2:源浮点寄存器;带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
Zfh浮点运算

指令行为说明

FSGNJ.H 是 Zfh 格式的浮点符号注入指令。结果的指数和尾数字段来自 rs1,符号位按 rs2 符号生成;该指令不执行数值转换、不舍入、不设置 fflags,也不会规范化 NaN payload。

FSGNJ.H 指令解析与执行动画

展示 Zfh 扩展半精度 OP-FP 指令的 ISA 可见流程:解析编码字段,读取浮点寄存器,执行 FSGNJ 语义并写回 rd。

rd
rs1
rs2
fsgnj.h
,
,
执行环境
FLEN=>=32 / fmt=H (10)
funct3: 复制 rs2 符号
fflags: 不会设置 fflags
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00100
FSGNJ
10
fmt=H
01100
rs2
01011
rs1
000
funct3=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x24C58553
opcode
1010011 -> OP-FP
funct5/fmt
00100 + H(10) -> FSGNJ.H
funct3
000 -> 复制 rs2 符号
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
3.5, -2.0
FP op
sign=sign(rs2), magnitude=rs1 -> -3.5
write
fa0(f10) = -3.5; 不会设置 fflags
当前步骤

Fetch:展示 32-bit OP-FP 编码

机器码按 R-type OP-FP 字段切分;半精度浮点 OP-FP 指令使用 opcode 1010011。

encoding: 0x24C58553
syntax : fsgnj.h fa0(f10), fa1(f11), fa2(f12)
result : fa0(f10) = -3.5; 不会设置 fflags

符号注入只重组浮点编码的符号位:结果的指数和尾数字段来自 rs1,符号位按当前指令规则来自 rs2 或 rs1/rs2 符号关系;不舍入、不规范化 NaN。

半精度计算视图
rs1
fa1(f11) = 3.5
rs2
fa2(f12) = -2.0
结果
sign=sign(rs2), magnitude=rs1 -> -3.5
rs1 sign
0
rs2 sign
1
结果符号
1
其余位
指数/尾数来自 rs1

符号注入只重组浮点编码的符号位:结果的指数和尾数字段来自 rs1,符号位按当前指令规则来自 rs2 或 rs1/rs2 符号关系;不舍入、不规范化 NaN。

该动画只展示 RISC-V Zfh 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系;不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。

快速理解与检索要点

FSGNJ.H 的学习重点是“符号位从哪里来”。它只改变结果符号规则,rs1 的指数和尾数字段保持为结果的非符号位,因此不会舍入或设置异常标志。

OP-FP 字段使用 Zfh 格式;funct5=00100,funct3 选择 FSGNJ/FSGNJN/FSGNJX。
结果的非符号位来自 rs1,符号位按当前助记符规则由 rs2 或 rs1/rs2 符号关系决定。
rs2=rs1 时可表达常见 FMV 伪指令语义;这只是汇编层关系,不改变真实指令行为。

常见使用场景

符号操作

结合 «fsgnj.h f10, f11, f12 ; f10 = |f11| with sign of f12» 等实际代码理解该场景。

浮点位操作

结合 «fsgnj.h f10, f11, f12 ; f10 = |f11| with sign of f12» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd:目标浮点寄存器,接收该格式的浮点结果。
  • rs1/rs2:源浮点寄存器;带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
语义检查
  • 确认操作数的浮点格式后缀(.H/.S/.D/.Q)符合数据宽度。
  • 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。

容易混淆 / 常见误区

这是浮点编码的符号位重组,不是浮点加减、比较或整数/浮点转换。
结果的指数和尾数字段来自 rs1;rs2 只贡献符号位相关信息。
FSGNJ 类指令不使用 rm,不设置 fflags,也不会把 NaN payload 规范化。
rs2=rs1 时常用于 FMV 伪指令语义,但真实编码仍是 FSGNJ 家族。

常见问题

FSGNJ.H 会改变 NaN payload 吗?

不会规范化 NaN payload。除符号位按当前指令规则生成外,结果的指数和尾数字段来自 rs1。

FSGNJ.H 会设置 fflags 吗?

不会。FSGNJ 家族是符号位注入操作,不使用 rm,不舍入,也不设置浮点异常标志。