VMIN.VV

RISC-V VMIN.VV 指令详解

指令手册OP-V (OPIVV)

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

指令语法

vmin.vv vd, vs2, vs1[, v0.t]
操作数说明
按 SEW 补码有符号顺序比较 vs2[i] 与 vs1[i],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。
32 位 OP-V:opcode=1010111、funct6=000101、funct3=000。[, v0.t] 可选:省略为 vm=1,给出为 vm=0。
源/目标 EEW=SEW、EMUL=LMUL,同宽重叠合法;两个同名源须有相同初值。masked vd 不可含 v0,v0 不可同时提供 EEW=1 mask 与 SEW 数据。
需 V 1.0、合法 vtype、VS 已启用与受支持 SEW。body 为 vstart≤i<vl;prestart 不更新,inactive 按 vma,tail 按 vta。vl=0 或 vstart≥vl 不更新任何目标(含 tail)。动画固定 m1、VLEN=4096、vstart=0;步骤不是处理器周期。
V向量整数运算最小/最大

指令行为说明

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

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

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

输入的指令
vmin.vv
执行环境

教学模型固定 LMUL=m1、vstart=0,只展示所选 VL 的 body 元素。固定 VLEN=4096,VLMAX=4096/16=256,只演示支持所选 SEW 的实现;同名向量源必须具有相同元素。普通掩码形式的 inactive 与 tail 元素按 vtype.vma/vta 处理,不在结果行中伪造确定值;VADC/VMADC/VSBC/VMSBC 则对所有 body 元素执行,v0 位仅作 carry/borrow-in。

OP-V encodingvmin.vv
funct6
000101
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
min
min
min
min
min
min
min
min
v12
0x000d
0x0016
0x001f
0x0028
0x0031
0x003a
0x0043
0x004c
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

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

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

快速理解与检索要点

VMIN.VV 对当前 vl 范围内的 active 元素逐 lane 比较 vs2 与 vs1,按有符号整数关系选择较小值。结果是被选中源元素的 SEW 位模式写回 vd;它不计算差值,也不设置 vxsat 或 fflags。

VMIN 属于 OP-V 向量算术编码,funct6=000101;.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 处理。
需合法 vtype、VS 已启用及受支持 SEW。body 为 vstart≤i<vl;prestart 不更新;vl=0 或 vstart≥vl 不更新包括 tail 在内的任何目标元素。
同 EEW 源/目标允许重叠;masked vd 不可含 v0,v0 不可同时作为 EEW=1 mask 和 SEW 数据源。

向量执行上下文

按 SEW 补码有符号顺序比较 vs2[i] 与 vs1[i],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。

32 位 OP-V:opcode=1010111、funct6=000101、funct3=000。[, v0.t] 可选:省略为 vm=1,给出为 vm=0。

源/目标 EEW=SEW、EMUL=LMUL,同宽重叠合法;两个同名源须有相同初值。masked vd 不可含 v0,v0 不可同时提供 EEW=1 mask 与 SEW 数据。

需 V 1.0、合法 vtype、VS 已启用与受支持 SEW。body 为 vstart≤i<vl;prestart 不更新,inactive 按 vma,tail 按 vta。vl=0 或 vstart≥vl 不更新任何目标(含 tail)。动画固定 m1、VLEN=4096、vstart=0;步骤不是处理器周期。

The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Version 20260120, Chapter 31

常见使用场景

数据裁剪

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0、ta/ma,源已初始化;使用 v0.t;v8=[0xffffffff,2,0x80000000,7], v12=[3,3,3,3], v0.mask=[1,0,1,1] → v4=[0xffffffff,policy,0x80000000,3]。policy 为保留旧值或全1,tail 不保证清零。

阈值处理

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0、ta/ma,源已初始化;使用 v0.t;v8=[0xffffffff,2,0x80000000,7], v12=[3,3,3,3], v0.mask=[1,0,1,1] → v4=[0xffffffff,policy,0x80000000,3]。policy 为保留旧值或全1,tail 不保证清零。

使用前检查清单

语法检查
  • 按 SEW 补码有符号顺序比较 vs2[i] 与 vs1[i],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。
  • 32 位 OP-V:opcode=1010111、funct6=000101、funct3=000。[, v0.t] 可选:省略为 vm=1,给出为 vm=0。
语义检查
  • 源/目标 EEW=SEW、EMUL=LMUL,同宽重叠合法;两个同名源须有相同初值。masked vd 不可含 v0,v0 不可同时提供 EEW=1 mask 与 SEW 数据。
  • 需 V 1.0、合法 vtype、VS 已启用与受支持 SEW。body 为 vstart≤i<vl;prestart 不更新,inactive 按 vma,tail 按 vta。vl=0 或 vstart≥vl 不更新任何目标(含 tail)。动画固定 m1、VLEN=4096、vstart=0;步骤不是处理器周期。

容易混淆 / 常见误区

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

常见问题

VMIN.VV 和 VMINU 有什么区别?

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

VMIN.VV 会设置 vxsat 或 fflags 吗?

不会。它按有符号顺序比较并选择源位模式,不是饱和运算或浮点运算;仍须满足向量配置和状态合法性。

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

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