首页/指令库/VFMAX-VV
VFMAX.VV

RISC-V VFMAX.VV 指令详解

指令手册R-type

VFMAX.VV 是 RVV 单宽浮点最大值选择指令,语法为 vfmax.vv vd, vs2, vs1, vm;每个活动元素比较 vs2[i] 与 vs1[i],把较大值写入 vd[i]。

指令语法

vfmax.vv vd, vs2, vs1, vm
操作数说明
vd:目标向量寄存器组。
vs2/vs1 或标量源:按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
VZvfh向量运算浮点

指令行为说明

VFMAX.VV 对 vl 范围内的活动元素执行逐 lane 浮点最大值选择。第二源来自同 lane 的 vs1[i];vm=0 时 v0.t 控制哪些元素执行,vm=1 时不使用执行掩码。NaN、signaling NaN invalid flag、有符号零和结果选择遵循官方 RISC-V FMIN/FMAX 规则;这不是整数最值、饱和运算或融合乘加。

VFMAX.VV 指令解析与执行动画

从 OP-V 编码解码到逐元素浮点最大值选择:第二源来自 same-lane vs1。

步骤 1 / 15
读取 OP-V 编码字段

V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。

输入的指令
vfmax.vv
执行环境
frm
RNE
示例动态舍入模式
vta/vma
ta, ma
尾部/非活动元素策略
opcode
1010111
OP-V 主操作码
编码字段
0x18861257
31..26
25
24..20
19..15
14..12
11..7
6..0
000110
funct6
0
vm
01000
vs2
01100
vs1
001
funct3
00100
vd
1010111
OP-V
逐元素结果
长向量在模块内部横向滚动,不造成页面溢出。
i=0活动
max(1, 0.5)
1
i=1活动
max(1.5, 1)
1.5
i=2跳过
v0.t=0,不执行
--
i=3活动
max(2.5, 2)
2.5
i=4活动
max(-3, 2.5)
2.5
i=5活动
max(3.5, 3)
3.5
i=6跳过
v0.t=0,不执行
--
i=7活动
max(4.5, 4)
4.5
本动画先按 SEW=32 / binary32 表示演示输入值;min/max 本身是 FMIN/FMAX 选择语义,不由 frm 舍入模式决定。NaN、无穷、有符号零和异常标志仍以官方 RVV/F 浮点规则为准,不在此处当作完整浮点异常模拟器展开。

快速理解与检索要点

VFMAX.VV 的学习重点是 OP-V 编码、同 lane 的 vs1[i]、v0.t 掩码,以及每个活动元素的 vd[i] = max(vs2[i], vs1[i])。

OP-V 编码中 funct6=000110、funct3=001 选择 vfmax.vv 的 vector-vector 浮点最大值形式。
语义是 vd[i] = max(vs2[i], vs1[i]),只对 vl 范围内的活动元素执行。
vm=0 使用 v0.t 作为执行掩码;vm=1 表示不使用执行掩码。
NaN、signaling NaN invalid flag、有符号零和数值选择遵循官方 FMIN/FMAX 规则。
普通 masked vector 指令的目标向量寄存器组不能与 v0 掩码源重叠;动画在 vm=0 且 vd=v0 时会报错。

向量执行上下文

阅读 VFMAX.VV 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv:两个向量源逐元素参与运算。

先看 vl

当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl,再执行本页指令。

再看 vtype

当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy;这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。

最后看 vm/v0

带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码,vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。

官方来源:RISC-V V Standard Extension for Vector Operations

常见使用场景

逐元素浮点最大值

结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vv v1, v2, v3 # v1[i] = max(v2[i], v3[i])» 等实际代码理解该场景。

阈值上限选择

结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vv v1, v2, v3 # v1[i] = max(v2[i], v3[i])» 等实际代码理解该场景。

向量数值比较

结合 «vsetvli t0, a0, e32, m1, ta, ma vfmax.vv v1, v2, v3 # v1[i] = max(v2[i], v3[i])» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

操作数顺序是 vs2[i] 与 vs1[i] 做最大值选择;不要把它当作跨 lane 归约。
NaN 和有符号零不能简化成普通数值比较;应按官方 FMIN/FMAX 规则理解。
这不是整数最值、饱和裁剪或 FMA;结果是浮点值选择。
只有 v0.t 选中的活动元素会执行;被掩码关闭的元素不产生本页展示的最值结果。
当 vm=0 使用 v0.t 作为执行掩码时,普通目标向量寄存器组不能与 v0 掩码寄存器重叠。

常见问题

VFMAX.VV 的 vm 操作数控制什么?

vm=0 时只执行 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。本页公式是 vd[i] = max(vs2[i], vs1[i])。

VFMAX.VV 是归约最值指令吗?

不是。它逐 lane 产生一个目标向量元素;跨元素归约最值使用对应的 vector reduction 指令。

VFMAX.VV 如何处理 NaN 和有符号零?

这些情况按官方 RISC-V FMIN/FMAX 规则处理,包括 signaling NaN 的 invalid flag 规则;本页不把它简化为普通整数式比较。