VFWADD.VF 使用 vxrm 吗?
不使用。此指令按动态浮点 frm 舍入;vxrm 用于定点舍入。只有活动元素的浮点异常累积到 fflags。
VFWADD.VF 对活动元素计算 vs2[i] + f[rs1],在 2×SEW 格式执行加法并写回扩宽结果。
VFWADD.VF 执行扩宽浮点加法:两个输入均为 SEW 宽。窄输入先精确扩宽,再以 2×SEW 格式执行加法,目标 EEW=2×SEW、EMUL=2×LMUL。浮点结果按动态 frm 舍入,只有活动元素的异常累积到 fflags;不使用定点 vxrm。V 1.0 在 RV32/RV64 提供 FP32/FP64,依赖 F/D;SEW=16 的算术需要 Zvfh。
从 OP-V 编码解码到逐元素拓宽浮点加法:两个 SEW=32 源先扩展,再写入 2*SEW=64 的结果。
lane 0: 1 + 1.5 -> 2.5
显示的 lane 与当前步骤高亮同步;其余逐元素结果位于下方。
V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
教学环境固定 VLEN=4096、LMUL=m1、vstart=0、合法 vtype、VS/FS 已启用、FLEN=64、frm=RNE 与 ta/ma。仅演示 SEW=32 的 FP32→FP64 加法;窄源先精确扩宽。目标使用偶数 vd..vd+1;.wf 的 vs2 也须为偶数双寄存器组。窄源可与目标最高寄存器重叠,宽源可与同宽目标重叠。同名源必须提供相同位模式。VF 标量在 SEW=32 时假定有效 NaN-box。VL=0 时所有目标元素包括 tail 均不更新;其他非活动/尾元素不显示确定值。仅计算有限 RNE 结果,不模拟 NaN、无穷、溢出、无效 NaN-box 或完整 fflags;这些范围限制不代表真实浮点指令非法。步骤不是处理器周期。
先按源浮点格式读取,再在双宽格式中加法;.wf 的 vs2 已是宽源。
语法 vfwadd.vf vd, vs2, rs1[, v0.t];逐元素计算 vs2[i] + f[rs1]。32 位 OP-V:funct6=110000、funct3=101、opcode=1010111。两个输入均为 SEW 宽。
目标 EEW=2×SEW、EMUL=2×LMUL;窄输入先精确扩宽,再进行双宽加法。EMUL=2/4/8 的组起点按组大小对齐;EMUL≤1 不要求偶数起点;EMUL>8 保留。窄源重叠仅在源 EMUL≥1 且源/目标最高编号寄存器相同时合法;同宽宽源可与目标重叠。不同 EEW 的合法重叠强制 mask/tail agnostic。
rs1 选择浮点 f 寄存器。FLEN>SEW 时,有效 NaN-box 取低 SEW 位,无效时使用 canonical NaN;FLEN<SEW 保留。
可选 v0.t 表示 vm=0,省略表示 vm=1。活动元素满足 vstart≤i<vl 且掩码允许;masked 目标不得与 v0 重叠,同一源寄存器不能同时按数据 EEW 和掩码 EEW=1 读取。
prestart 不更新也不产生异常;vl=0 或 vstart≥vl 时所有目标元素包括 tail 均不更新。其他非活动/尾部遵循 vma/vta;ta/ma 不保证清零。成功执行重置 vstart=0。
动态 frm 控制浮点舍入;仅活动元素异常累积到 fflags,不使用 vxrm。要求有效 frm,即使 vl=0;无效 frm 的使用保留。V 1.0 在 RV32/RV64 支持 FP32/FP64 并依赖 F/D;本页扩宽路径是 FP32→FP64;SEW=16 算术需 Zvfh。要求合法 vtype、支持所需宽度、VS/FS 已启用;H 且虚拟化 V=1 时 vsstatus.VS/FS 也须启用。
动画固定 LMUL=m1、VLEN=4096、vstart=0、FLEN=64、frm=RNE 与 ta/ma;VF 标量在 SEW=32 时假定有效 NaN-box。只计算有限结果,不展示 NaN、无穷、溢出或完整 fflags;教学步骤不是处理器周期。
假定 V/VS/FS 已启用、合法 vtype、所需浮点格式可用、frm=RNE、e32,m1、VLMAX≥4、a0=4;vsetvli 后 vl=4、vstart=0。目标 v2/v3 为 binary64;向量输入为 binary32。ft0 在 FLEN=64 下有效 NaN-boxed。省略 v0.t、未掩码:v4=[1,2,-3,0], ft0=0.5 → v2=[1.5,2.5,-2.5,0.5]。尾部遵循 ta,不保证清零。
假定 V/VS/FS 已启用、合法 vtype、所需浮点格式可用、frm=RNE、e32,m1、VLMAX≥4、a0=4;vsetvli 后 vl=4、vstart=0。目标 v2/v3 为 binary64;向量输入为 binary32。ft0 在 FLEN=64 下有效 NaN-boxed。省略 v0.t、未掩码:v4=[1,2,-3,0], ft0=0.5 → v2=[1.5,2.5,-2.5,0.5]。尾部遵循 ta,不保证清零。
不使用。此指令按动态浮点 frm 舍入;vxrm 用于定点舍入。只有活动元素的浮点异常累积到 fflags。
不是。这里用可选的 v0.t 表示 vm=0,省略它表示 vm=1;不写数字 0 或 1 作为普通操作数。