先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VFMAX.VF
RISC-V VFMAX.VF 指令详解
指令手册R-typeVFMAX.VF 是 RVV 单宽浮点最大值选择指令，语法为 vfmax.vf vd, vs2, rs1, vm；每个活动元素比较 vs2[i] 与 f[rs1]，把较大值写入 vd[i]。
指令语法
vfmax.vf vd, vs2, rs1, vm
操作数说明
vd：目标向量寄存器组。
vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。
VZvfh向量运算浮点
指令行为说明
VFMAX.VF 对 vl 范围内的活动元素执行逐 lane 浮点最大值选择。第二源来自标量浮点寄存器 f[rs1]；vm=0 时 v0.t 控制哪些元素执行，vm=1 时不使用执行掩码。NaN、signaling NaN invalid flag、有符号零和结果选择遵循官方 RISC-V FMIN/FMAX 规则；这不是整数最值、饱和运算或融合乘加。
VFMAX.VF 指令解析与执行动画
从 OP-V 编码解码到逐元素浮点最大值选择：第二源来自 scalar f[rs1]。
步骤 1 / 15
读取 OP-V 编码字段
V 扩展浮点指令使用 OP-V 主操作码，字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
输入的指令
vfmax.vf
执行环境
frm
RNE
示例动态舍入模式vta/vma
ta, ma
尾部/非活动元素策略opcode
1010111
OP-V 主操作码编码字段
0x18855257
31..26
25
24..20
19..15
14..12
11..7
6..0
000110
funct6
0
vm
01000
vs2
01010
rs1
101
funct3
00100
vd
1010111
OP-V
逐元素结果
长向量在模块内部横向滚动，不造成页面溢出。
i=0活动
max(1, 1.5)
1.5
i=1活动
max(1.5, 1.5)
1.5
i=2跳过
v0.t=0，不执行
--
i=3活动
max(2.5, 1.5)
2.5
i=4活动
max(-3, 1.5)
1.5
i=5活动
max(3.5, 1.5)
3.5
i=6跳过
v0.t=0，不执行
--
i=7活动
max(4.5, 1.5)
4.5
本动画先按 SEW=32 / binary32 表示演示输入值；min/max 本身是 FMIN/FMAX 选择语义，不由 frm 舍入模式决定。NaN、无穷、有符号零和异常标志仍以官方 RVV/F 浮点规则为准，不在此处当作完整浮点异常模拟器展开。
快速理解与检索要点
VFMAX.VF 的学习重点是 OP-V 编码、标量浮点寄存器 f[rs1]、v0.t 掩码，以及每个活动元素的 vd[i] = max(vs2[i], f[rs1])。
OP-V 编码中 funct6=000110、funct3=101 选择 vfmax.vf 的 vector-scalar 浮点最大值形式。
语义是 vd[i] = max(vs2[i], f[rs1])，只对 vl 范围内的活动元素执行。
vm=0 使用 v0.t 作为执行掩码；vm=1 表示不使用执行掩码。
NaN、signaling NaN invalid flag、有符号零和数值选择遵循官方 FMIN/FMAX 规则。
普通 masked vector 指令的目标向量寄存器组不能与 v0 掩码源重叠；动画在 vm=0 且 vd=v0 时会报错。
向量执行上下文
阅读 VFMAX.VF 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vf：一个向量源和一个浮点标量源参与运算。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
标量阈值裁剪
结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vf v1, v2, ft0 # v1[i] = max(v2[i], ft0)» 等实际代码理解该场景。
逐元素浮点最大值
结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vf v1, v2, ft0 # v1[i] = max(v2[i], ft0)» 等实际代码理解该场景。
向量数值比较
结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vf v1, v2, ft0 # v1[i] = max(v2[i], ft0)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
操作数顺序是 vs2[i] 与 f[rs1] 做最大值选择；不要把它当作跨 lane 归约。
NaN 和有符号零不能简化成普通数值比较；应按官方 FMIN/FMAX 规则理解。
这不是整数最值、饱和裁剪或 FMA；结果是浮点值选择。
只有 v0.t 选中的活动元素会执行；被掩码关闭的元素不产生本页展示的最值结果。
当 vm=0 使用 v0.t 作为执行掩码时，普通目标向量寄存器组不能与 v0 掩码寄存器重叠。
常见问题
VFMAX.VF 的 vm 操作数控制什么？
vm=0 时只执行 v0.t 为 1 的活动元素；vm=1 表示不使用执行掩码。本页公式是 vd[i] = max(vs2[i], f[rs1])。
VFMAX.VF 是归约最值指令吗？
不是。它逐 lane 产生一个目标向量元素；跨元素归约最值使用对应的 vector reduction 指令。
VFMAX.VF 如何处理 NaN 和有符号零？
这些情况按官方 RISC-V FMIN/FMAX 规则处理，包括 signaling NaN 的 invalid flag 规则；本页不把它简化为普通整数式比较。