VFRDIV.VF 的 vm 操作数控制什么？
vm=0 时只执行 v0.t 为 1 的活动元素；vm=1 表示不使用执行掩码。本页公式是 vd[i] = f[rs1] / vs2[i]。
VFRDIV.VF
RISC-V VFRDIV.VF 指令详解
指令手册OPFVFVFRDIV.VF 是 RVV 单宽向量-标量反向浮点除法指令，语法为 vfrdiv.vf vd, vs2, rs1, vm；每个活动元素计算 vd[i] = f[rs1] / vs2[i]。
指令语法
vfrdiv.vf vd, vs2, rs1, vm
操作数说明
vd 与 vs2 是 SEW 宽向量寄存器组；同宽源/目标可重叠。普通掩码目标不能与 v0 重叠。
rs1 选择浮点 f 寄存器；计算 f[rs1]/vs2[i]。FLEN>SEW 时检查 NaN-box：有效时使用低 SEW 位，无效时使用 canonical NaN；FLEN<SEW 保留。
vm 是汇编记法中的可选 v0.t：省略表示 vm=1；写 v0.t 表示 vm=0，只选择活动 vs2 元素。源不能同时以 EEW=1 掩码和 SEW 数据读取同一寄存器。
活动元素满足 vstart≤i<vl 且掩码开启；vstart≥vl 或 vl=0 时所有目标元素均不更新。其他非活动/尾部目标按 vma/vta，不保证清零。
V 1.0 可用于 RV32/RV64，包含 FP32/FP64 并依赖 F/D；SEW=16 算术需要 Zvfh。需要合法 vtype、支持的元素宽度、VS/FS 已启用和有效 frm；无效 frm 的使用保留，即使 vl=0。vxrm 不控制这些浮点操作。
V向量运算浮点
指令行为说明
VFRDIV.VF 将浮点标量 f[rs1] 除以每个活动向量元素 vs2[i]。它和 VFDIV.VF 的操作数方向相反，常见学习重点就是不要把 f[rs1] / vs2[i] 误写成 vs2[i] / f[rs1]。舍入、NaN、无穷、除零和异常标志遵循官方 RVV 浮点规则。
VFRDIV.VF 指令解析与执行动画
从 OP-V 编码解码到逐元素反向浮点除法：每个活动元素计算 f[rs1] / vs2[i]。
输入的指令
vfrdiv.vf
执行环境
LMUL本动画固定的寄存器组倍数
VLEN固定向量寄存器长度（bits）
VLMAXm1 下的最大元素数
vstart本动画不展示 prestart 元素
frm固定 RNE 的有限教学环境；真实指令使用动态 frm
FP stateFS=Off 会触发非法指令；本动画固定展示 FS 已启用的架构路径
vta/vma尾部/非活动元素策略
opcodeOP-V 主操作码
编码字段
0x84855257
31..26
25
24..20
19..15
14..12
11..7
6..0
100001
funct6
0
vm
01000
vs2
01010
rs1
101
funct3
00100
vd
1010111
OP-V
执行数据路径
lane 0: 1.5 / 1 -> 1.5
显示的 lane 与当前步骤高亮同步；其余逐元素结果位于下方。
步骤 1 / 15
读取 OP-V 编码字段
V 扩展浮点指令使用 OP-V 主操作码，字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
逐元素结果
长向量在模块内部横向滚动，不造成页面溢出。
i=0活动
1.5 / 1
1.5
i=1活动
1.5 / 1.5
1
i=2跳过
v0.t=0，不执行
--
i=3活动
1.5 / 2.5
0.6000000238418579
i=4活动
1.5 / -3
-0.5
i=5活动
1.5 / 3.5
0.4285714328289032
i=6跳过
v0.t=0，不执行
--
i=7活动
1.5 / 4.5
0.3333333432674408
SEW=32 / binary32 教学模型只计算有限且除数非零的数值路径；零除仍是合法的 FP 条件，只是本模块不把 JavaScript 的 Infinity/NaN 伪装成架构结果。此处固定 frm=RNE 且 FS 已启用；实际 RVV 指令使用动态 frm，FS=Off 会触发非法指令，NaN、无穷、除零、舍入与 fflags 仍按官方浮点规则处理。
快速理解与检索要点
VFRDIV.VF 的方向是标量除以向量元素：f[rs1] / vs2[i]。它用于和 vfdiv.vf 区分操作数方向。
OP-V 编码中 funct6=100001、funct3=101 选择 vector-scalar 反向浮点除法。
语义是 vd[i] = f[rs1] / vs2[i]，标量源来自浮点寄存器。
vm=0 使用 v0.t 控制活动元素；vm=1 不使用执行掩码。
舍入、NaN、无穷、除零和 fflags 遵循官方 RVV 浮点规则，vxrm 不参与。
普通 masked vector 指令的目标向量寄存器组不能与 v0 掩码源重叠；动画在 vm=0 且 vd=v0 时会报错。
向量执行上下文
vd 与 vs2 是 SEW 宽向量寄存器组；同宽源/目标可重叠。普通掩码目标不能与 v0 重叠。
rs1 选择浮点 f 寄存器；计算 f[rs1]/vs2[i]。FLEN>SEW 时检查 NaN-box：有效时使用低 SEW 位，无效时使用 canonical NaN；FLEN<SEW 保留。
vm 是汇编记法中的可选 v0.t：省略表示 vm=1；写 v0.t 表示 vm=0，只选择活动 vs2 元素。源不能同时以 EEW=1 掩码和 SEW 数据读取同一寄存器。
活动元素满足 vstart≤i<vl 且掩码开启；vstart≥vl 或 vl=0 时所有目标元素均不更新。其他非活动/尾部目标按 vma/vta，不保证清零。
V 1.0 可用于 RV32/RV64，包含 FP32/FP64 并依赖 F/D；SEW=16 算术需要 Zvfh。需要合法 vtype、支持的元素宽度、VS/FS 已启用和有效 frm；无效 frm 的使用保留，即使 vl=0。vxrm 不控制这些浮点操作。
常见使用场景
倒数缩放
假定 V/VS/FS 已启用、合法 vtype、frm=RNE、e32,m1 可用、VLMAX≥4、x10=4；vsetvli 后 vl=4、vstart=0。输入为 binary32，f0 若使用则在 FLEN=64 下有效 NaN-boxed。示例未掩码：f0=8, v2=[2,4,8,16] → v1=[4,2,1,0.5]。尾部按 ta 处理，不假定清零。
向量归一化
假定 V/VS/FS 已启用、合法 vtype、frm=RNE、e32,m1 可用、VLMAX≥4、x10=4；vsetvli 后 vl=4、vstart=0。输入为 binary32，f0 若使用则在 FLEN=64 下有效 NaN-boxed。示例未掩码：f0=8, v2=[2,4,8,16] → v1=[4,2,1,0.5]。尾部按 ta 处理，不假定清零。
数值计算
假定 V/VS/FS 已启用、合法 vtype、frm=RNE、e32,m1 可用、VLMAX≥4、x10=4；vsetvli 后 vl=4、vstart=0。输入为 binary32，f0 若使用则在 FLEN=64 下有效 NaN-boxed。示例未掩码：f0=8, v2=[2,4,8,16] → v1=[4,2,1,0.5]。尾部按 ta 处理，不假定清零。
使用前检查清单
语法检查
- vd 与 vs2 是 SEW 宽向量寄存器组；同宽源/目标可重叠。普通掩码目标不能与 v0 重叠。
- rs1 选择浮点 f 寄存器；计算 f[rs1]/vs2[i]。FLEN>SEW 时检查 NaN-box：有效时使用低 SEW 位，无效时使用 canonical NaN；FLEN<SEW 保留。
语义检查
- vm 是汇编记法中的可选 v0.t：省略表示 vm=1；写 v0.t 表示 vm=0，只选择活动 vs2 元素。源不能同时以 EEW=1 掩码和 SEW 数据读取同一寄存器。
- 活动元素满足 vstart≤i<vl 且掩码开启；vstart≥vl 或 vl=0 时所有目标元素均不更新。其他非活动/尾部目标按 vma/vta，不保证清零。
- V 1.0 可用于 RV32/RV64，包含 FP32/FP64 并依赖 F/D；SEW=16 算术需要 Zvfh。需要合法 vtype、支持的元素宽度、VS/FS 已启用和有效 frm；无效 frm 的使用保留，即使 vl=0。vxrm 不控制这些浮点操作。
容易混淆 / 常见误区
操作数顺序是 f[rs1] / vs2[i]；VFDIV.VF 才是 vs2[i] / f[rs1]。
rs1 是浮点寄存器源，不能按整数寄存器值解释。
把 f[rs1] 设为 1.0 可表达逐元素倒数，但 NaN、零和无穷仍按浮点规则处理。
当 vm=0 使用 v0.t 作为执行掩码时，普通目标向量寄存器组不能与 v0 掩码寄存器重叠。
常见问题
这些向量浮点指令使用 vxrm 吗？
不使用。普通 RVV 浮点运算使用浮点舍入模式 frm 并设置浮点异常标志；vxrm 用于定点舍入指令。
VFRDIV.VF 如何处理 NaN、无穷和除零或无效输入？
除零、0/0、NaN 操作数和无穷输入都属于浮点规则范围。结果、舍入和 fflags 按官方 RVV 浮点规则处理，本页不把它简化为整数式固定结果。