首页/指令库/四精度符号异或注入

FSGNJX.Q

RISC-V FSGNJX.Q 指令详解

指令手册R-type

FSGNJX.Q 保留 rs1 的四精度数值位，并按 rs1 与 rs2 符号异或生成结果符号位。

指令语法

fsgnjx.q rd, rs1, rs2

操作数说明

rd、rs1、rs2：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，目的可与源重叠，同名源读取同一初值。

没有 rm、立即数或 rs3；funct3=010 选择 FSGNJX，非符号位来自 rs1，符号位为 rs1.sign XOR rs2.sign。

Q浮点运算

指令行为说明

FSGNJX.Q 是 Q 格式的浮点符号注入指令。结果的指数和尾数字段来自 rs1，符号位按 rs1 与 rs2 符号异或生成；该指令不执行数值转换、不舍入、不设置 fflags，也不会规范化 NaN payload。当操作格式窄于 FLEN 时，源的高位必须全为 1；不合法的 NaN-box 源先按该格式的 canonical NaN 处理，窄结果高位填 1。

FSGNJX.Q 指令解析与执行动画

展示 Q 扩展四精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FSGNJX 语义并写回 rd。

rs1

rs2

fsgnjx.q

执行环境

FLEN=128 / fmt=Q (11)

funct3: rs1/rs2 符号异或

fflags: 初始 0

fa1(f11) 值精确白名单：-3.5、-2、0、0.5、1、1.25、1.5、2、2.25、3、3.5、3.75、5.25、7、7.5、8；另支持正负零、inf、-inf；NaN 位模式见正文fa2(f12) 值精确白名单：-3.5、-2、0、0.5、1、1.25、1.5、2、2.25、3、3.5、3.75、5.25、7、7.5、8；另支持正负零、inf、-inf；NaN 位模式见正文

31..27

26..25

24..20

19..15

14..12

11..7

6..0

00100

FSGNJX

fmt=Q

01100

rs2

01011

rs1

010

funct3=010

01010

1010011

OP-FP

执行数据路径

instruction

0x26C5A553

opcode

1010011 -> OP-FP

funct5/fmt

00100 + Q(11) -> FSGNJX.Q

funct3

010 -> rs1/rs2 符号异或

rd/rs

fa0(f10) / fa1(f11) / fa2(f12)

read

尚未读取源寄存器

FP op

等待 Execute 计算

write

尚未写回；初始 fflags=0

当前步骤

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

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

encoding: 0x26C5A553

syntax : fsgnjx.q fa0(f10), fa1(f11), fa2(f12)

result : 尚未写回；初始 fflags=0

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

四精度计算视图

rs1

fa1(f11) = 3.5

rs2

fa2(f12) = -2.0

结果

等待 Execute 计算

rs1 sign

rs2 sign

结果符号

等待 Execute

其余位

指数/尾数来自 rs1

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

假定所需扩展与 FS 已启用、较窄源正确 NaN-boxed、初始 fflags=0。有限值限精确白名单，另支持正负零与无穷；NaN payload 位模式只在正文说明，不接受文本 NaN 作为动画输入。相同源寄存器须有同一初值；rd 可与源重叠，f0 可写。步骤为教学视图。

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

快速理解与检索要点

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

32 位 OP-FP：opcode=1010011，funct5=00100，fmt=11，funct3=010；rd、rs1、rs2 均为浮点寄存器，无 rm、立即数或 rs3。

有效的 128 位源按 result.sign=rs1.sign XOR rs2.sign；非符号位来自 rs1。不舍入，不规范化 NaN，也不新增 fflags。

当操作格式窄于 FLEN 时，源的高位必须全为 1；不合法的 NaN-box 源先按该格式的 canonical NaN 处理，窄结果高位填 1。

所需扩展和浮点状态须启用；f0 可写，目的可与源重叠，同名源读取同一初值。

RV32/RV64 Q 2.2（依赖 D 和 F），FLEN=128。

The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — 23.3 (Q 2.2)The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — 21.7 (F 2.2)The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — 22.2 (NaN Boxing of Narrower Values)

常见使用场景

符号操作

假定所需扩展与浮点状态已启用，f11=3.5、f12=-2 为本格式有效源，窄于 FLEN 时正确 NaN-boxed，初始 fflags=0：f10=-3.5，符号为 0 XOR 1=1，非符号位来自 f11；fflags 仍为 0。

浮点位操作

使用前检查清单

语法检查

rd、rs1、rs2：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，目的可与源重叠，同名源读取同一初值。
没有 rm、立即数或 rs3；funct3=010 选择 FSGNJX，非符号位来自 rs1，符号位为 rs1.sign XOR rs2.sign。

语义检查

所需扩展与浮点状态须启用；窄于 FLEN 的源检查 NaN-boxing，错误 boxing 先按 canonical NaN 处理。
有效源的非符号位来自 rs1，符号位为 rs1.sign XOR rs2.sign；不舍入、不 quiet sNaN、不新增 fflags，窄结果高位填 1。

容易混淆 / 常见误区

这是浮点编码的符号位重组，不是浮点加减、比较或整数/浮点转换。

结果的指数和尾数字段来自 rs1；rs2 只贡献符号位相关信息。

对有效 NaN-boxed 源（或格式宽度等于 FLEN），保留 rs1 的非符号位与 NaN payload，不 quiet sNaN；已有 fflags 不变。

两个源相同且源值有效时，符号位异或为 0，结果为绝对值。