VMAX.VV

RISC-V VMAX.VV 指令详解

指令手册R-type

逐元素按有符号整数关系选择较大值,并把选中的 SEW 位模式写入 vd。

指令语法

vmax.vv vd, vs2, vs1, vm
操作数说明
vd:掩码目标寄存器,每个元素产生一位布尔结果。
vs2/vs1 或标量源:按当前 SEW 参与比较。
vm:vm=0 使用 v0 限制参与比较的元素,vm=1 为未掩码。
V向量整数运算最小/最大

指令行为说明

VMAX.VV 是 RISC-V V 扩展的 向量-向量有符号最大值指令。每个 active body 元素读取 vs2[i] 和 vs1[i],按有符号整数关系比较,选择较大值的原始 SEW 位模式写入 vd;vm=0 时由 v0 mask 控制哪些元素执行。

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

从 OP-V 编码字段开始,展示 VMAX 如何按有符号整数关系比较活动元素,并把较大的 SEW 位模式写回 vd。

输入的指令
vmax.vv
OP-V encodingvmax.vv
funct6
000111
vm
0
vs2
01000
vs1
01100
funct3
000
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x00fa
0x010b
0x011c
0x012d
0x013e
0x014f
0x0160
0x0171
max
max
max
max
max
max
max
max
v12
0x000d
0x0016
0x001f
0x0028
0x0031
0x003a
0x0043
0x004c
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

vmax.vv 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。

动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、SEW 宽度整数有符号最大值、mask 控制和 vd 写回;不模拟流水线、缓存或执行时延。

快速理解与检索要点

VMAX.VV 对当前 vl 范围内的 active 元素逐 lane 比较 vs2 与 vs1,按有符号整数关系选择较大值。结果是被选中源元素的 SEW 位模式写回 vd;它不计算差值,也不产生溢出或异常标志。

VMAX 属于 OP-V 向量算术编码,funct6=000111;.vv 形式由 funct3=000 选择。
核心语义是 active 元素按有符号整数关系比较 vs2[i] 与 vs1[i],把较大值的原始 SEW 位模式写入 vd[i]。
VMIN/VMAX 使用有符号整数顺序;比较前按 SEW 宽度解释符号位,但写回仍是选中源元素的位模式。
只处理当前 vl 范围内的 body 元素;vm=0 使用 v0 mask,vm=1 为未掩码形式,mask-off 和 tail 目标元素按当前 vtype policy 处理。

向量执行上下文

阅读 VMAX.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

常见使用场景

数据裁剪

结合 «vmax.vv v4, v8, v12, v0.t» 等实际代码理解该场景。

阈值处理

结合 «vmax.vv v4, v8, v12, v0.t» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

VMAX 只选择一个源元素的位模式;它不是加法、减法或饱和运算。
有符号形式按 SEW 宽度把源元素解释为二进制补码有符号整数;最高位为 1 的值可能小于最高位为 0 的值。
VV 形式的第二源是向量寄存器 vs1,不读取整数标量寄存器。
vm=0 时 mask-off body 元素不执行本条比较;其目标元素由当前 mask policy 决定,不能假定写 0。

常见问题

VMAX.VV 和 VMAXU 有什么区别?

VMAX.VV 使用有符号整数顺序;对应 U 形式使用无符号整数顺序。两者都写回被选中源元素的 SEW 位模式。

VMAX.VV 会产生溢出或异常标志吗?

不会。VMAX.VV 是比较并选择源元素位模式,不执行加减法溢出计算,也不设置整数或浮点异常标志。

vm 与 v0.t 如何影响 VMAX.VV?

vm=0 时只有 v0.t 为 1 的 body 元素执行比较;vm=1 时当前 vl 内的 body 元素都活动。mask-off 和 tail 元素的目标结果由当前 vtype policy 决定。