VMIN.VX

RISC-V VMIN.VX 指令详解

指令手册V-type

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

指令语法

vmin.vx vd, vs2, rs1[, v0.t]
操作数说明
按 SEW 补码有符号顺序比较 vs2[i] 与 按 XLEN/SEW 规则处理的 x[rs1],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。
32 位 OP-V:opcode=1010111、funct6=000101、funct3=100。[, v0.t] 可选;省略为 vm=1,给出为 vm=0。
rs1 选择整数寄存器;XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展,即使 VMINU 也遵循该规则。
需 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.VX 是 RISC-V V 扩展的 向量-标量有符号最小值指令。每个 active body 元素读取 vs2[i] 和 整数标量 x[rs1],按有符号整数关系比较,选择较小值的原始 SEW 位模式写入 vd;vm=0 时由 v0 mask 控制哪些元素执行。

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

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

输入的指令
vmin.vx

要求合法 vtype、VS 已启用与受支持 SEW;VL=0 不更新任何目标(含 tail)。普通 masked vd 不可为 v0;v0 不可同时提供 mask 与 SEW 数据。同宽源/目标可重叠。

执行环境

教学模型固定 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.vx
funct6
000101
vm
0
vs2
01000
rs1
01011
funct3
100
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
x11
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

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

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

快速理解与检索要点

VMIN.VX 对 active body 元素按有符号顺序选择 vs2[i] 与 经 XLEN/SEW 规则处理的 x[rs1] 中较小的 SEW 位模式,写入 vd[i]。

32 位 OP-V:opcode=1010111,funct6=000101,funct3=100。
按 SEW 有符号整数顺序选择较小源位模式。
标量 XLEN>SEW 取低 SEW 位;XLEN<SEW 符号扩展。
vm=0 使用 v0.t;inactive 按 vma,tail 按 vta。

向量执行上下文

按 SEW 补码有符号顺序比较 vs2[i] 与 按 XLEN/SEW 规则处理的 x[rs1],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。

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

rs1 选择整数寄存器;XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展,即使 VMINU 也遵循该规则。

需 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], x11=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], x11=3, v0.mask=[1,0,1,1] → v4=[0xffffffff,policy,0x80000000,3]。policy 表示保留旧值或全1;tail 不保证清零。

使用前检查清单

语法检查
  • 按 SEW 补码有符号顺序比较 vs2[i] 与 按 XLEN/SEW 规则处理的 x[rs1],选较小源位模式写 vd[i];不设置 vxsat 或 fflags。
  • 32 位 OP-V:opcode=1010111、funct6=000101、funct3=100。[, v0.t] 可选;省略为 vm=1,给出为 vm=0。
语义检查
  • rs1 选择整数寄存器;XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展,即使 VMINU 也遵循该规则。
  • 需 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 的值。
VX 形式的第二源来自整数寄存器 x[rs1];XLEN>SEW 时取低 SEW 位,XLEN<SEW 时符号扩展到 SEW,再参与比较。
vm=0 时 mask-off body 元素不执行本条比较;其目标元素由当前 mask policy 决定,不能假定写 0。
body 为 vstart≤i<vl;prestart 不变,inactive 按 vma,tail 按 vta。vl=0 或 vstart≥vl 时包括 tail 在内都不更新。
需 V 1.0、合法 vtype、受支持 SEW 和已启用 VS。masked vd 不可含 v0;v0 不能同时作 EEW=1 mask 和 SEW 数据源。同宽源/目标可重叠。

常见问题

VMIN.VX 和 VMINU 有什么区别?

VMIN.VX 使用有符号整数顺序;对应 U 形式使用无符号整数顺序。两者都写回被选中源的 SEW 位模式;.vx 标量源先按 XLEN/SEW 规则处理。

VMIN.VX 会设置 vxsat 或 fflags 吗?

VMIN.VX 只比较并选择源位模式,不设置 vxsat 或 fflags,也不清除已有标志;这不表示非法 vtype、VS 关闭或保留编码不会导致异常。

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

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