VFSGNJN.VF 的 vm 操作数控制什么?
vm=0 时只执行 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。本页公式是 vd[i] = {vs2[i] 的非符号位, NOT sign(f[rs1])}。
VFSGNJN.VF 是 RVV 单宽向量浮点标量反向符号注入指令,语法为 vfsgnjn.vf vd, vs2, rs1[, v0.t];每个活动元素保留 vs2[i] 的非符号位,并用标量 f[rs1] 符号位取反生成 vd[i]。
VFSGNJN.VF 对 vl 范围内的活动元素执行逐 lane 浮点符号位组合。第二源来自标量浮点寄存器 f[rs1];vm=0 时 v0.t 控制哪些元素执行,vm=1 时不使用执行掩码。官方 FSGNJ 类语义是位模式操作:非符号位来自 vs2,结果符号由标量 f[rs1] 符号位取反决定,并且不设置浮点异常标志;这不是浮点加减、比较或跨 lane 归约。V 本身定义 SEW=32 和 SEW=64;只有在 SEW=16 时才需要 Zvfh。
从 OP-V 编码解码到逐元素浮点符号注入:保留 vs2 的非符号位,符号来源为 反转后的 scalar f[rs1]。
lane 0: bits 0x3fa00000 non-sign + !sign(0x3fc00000) -> 0xbfa00000 (-1.25)
显示的 lane 与当前步骤高亮同步;其余逐元素结果位于下方。
V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
教学环境固定 VLEN=4096、LMUL=m1、vstart=0、合法 vtype、VS/FS 已启用及有效 frm=RNE,支持所选 binary32/64。FLEN=64;SEW=32 标量输入表示有效 NaN-box 中的低32位,未模拟无效 NaN-box。VL=0 时包括 tail 在内的目标元素均不更新;非活动和尾部按 ma/ta 处理,不显示确定值。符号注入保留 vs2 的 NaN payload,不设置 fflags;不按 frm 舍入,但真实指令仍要求有效 frm。
VFSGNJN.VF 的学习重点是 OP-V 编码、标量浮点寄存器 f[rs1]、v0.t 掩码,以及每个活动元素的 vd[i] = {vs2[i] 的非符号位, NOT sign(f[rs1])}。
32 位 OP-V 编码:funct6=001001、funct3=101、opcode=1010111。rs1 选择浮点 f 寄存器;FLEN>SEW 时,有效 NaN-box 取低 SEW 位,否则使用 canonical NaN;FLEN<SEW 保留。
vd[i] 的非符号位来自 vs2[i],符号来自第二源符号取反。不规范化 NaN、不设置浮点异常标志,也不按 frm 舍入。
向量操作数和结果为 SEW 位、EMUL=LMUL。同宽目标/源重叠合法;同名源须给出相同初始位模式。普通 masked 目标不能与 v0 重叠;同一源寄存器不能同时作为 EEW=1 掩码和 SEW 数据读取。
可选的汇编操作数 v0.t 对应 vm=0,省略为 vm=1。活动元素满足 vstart≤i<vl 且掩码允许;prestart 不更新、不产生异常。vstart≥vl 或 vl=0 时包括 tail 在内的所有目标元素均不更新。其余非活动/尾部由 vma/vta 决定,ta/ma 不保证清零。
V 提供 FP32/FP64 并依赖 F/D;SEW=16 的本页操作需要 Zvfh。要求所需扩展、支持的宽度、合法 vtype 和 VS/FS 已启用;H 且虚拟化 V=1 时,vsstatus.VS/FS 也须启用。所有向量浮点指令都要求有效 frm,即使不舍入或 vl=0;无效 frm 的使用保留。
教学动画固定 VLEN=4096、LMUL=m1、vstart=0、有效 frm=RNE、合法 vtype 和 VS/FS 已启用;VF 标量在 FLEN=64 下读取,SEW=32 时假定有效 NaN-box。动画展示教学步骤而非处理器周期,输入和异常范围见动画说明。
假定 V/VS/FS 已启用、合法 vtype、有效 frm=RNE、e32,m1 可用、VLMAX≥4、a0=4;vsetvli 后 vl=4、vstart=0。输入为 binary32,ft0 若使用则在 FLEN=64 下有效 NaN-boxed。省略 v0.t,未掩码:ft0=-1, v2=[1,-2,3,+0] → v1=[1,2,3,+0]。尾部按 ta 处理,不假定清零。
假定 V/VS/FS 已启用、合法 vtype、有效 frm=RNE、e32,m1 可用、VLMAX≥4、a0=4;vsetvli 后 vl=4、vstart=0。输入为 binary32,ft0 若使用则在 FLEN=64 下有效 NaN-boxed。省略 v0.t,未掩码:ft0=-1, v2=[1,-2,3,+0] → v1=[1,2,3,+0]。尾部按 ta 处理,不假定清零。
假定 V/VS/FS 已启用、合法 vtype、有效 frm=RNE、e32,m1 可用、VLMAX≥4、a0=4;vsetvli 后 vl=4、vstart=0。输入为 binary32,ft0 若使用则在 FLEN=64 下有效 NaN-boxed。省略 v0.t,未掩码:ft0=-1, v2=[1,-2,3,+0] → v1=[1,2,3,+0]。尾部按 ta 处理,不假定清零。
vm=0 时只执行 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。本页公式是 vd[i] = {vs2[i] 的非符号位, NOT sign(f[rs1])}。
不是。它是 FSGNJ 类位模式操作,保留 vs2 的非符号位并组合新的符号位,不设置浮点异常标志。
完成标量 NaN-box 检查后,只使用所得 SEW 位操作数的符号位。若 NaN-box 无效,先替换为 canonical NaN,再使用其符号位。