首页/指令库/VREMU.VV
VREMU.VV

RISC-V VREMU.VV 指令详解

指令手册OPMVV (OP-V)

向量-向量 无符号整数余数,把逐元素余数写入 vd;除零不触发异常。

指令语法

vremu.vv vd, vs2, vs1[, v0.t]
操作数说明
语法:vremu.vv vd, vs2, vs1[, v0.t];省略掩码为 vm=1,给出 v0.t 为 vm=0。32 位 OP-V:opcode=1010111、funct3=010(OPMVV)、funct6=100010。
vs2[i] 是被除数;vs1[i] 是同 lane 除数。按无符号 SEW 整数求余;除零返回被除数,无符号除法不会溢出。
活动 body 满足 vstart≤i<vl 且掩码开启;inactive/tail 按 vma/vta 保留或取 agnostic,不依赖固定值。vl=0 不更新任何目标元素。
同宽源/目标允许重叠;masked vd 不可为 v0,v0 不能同时提供 EEW=1 掩码和 SEW 数据。组起点按 EMUL 对齐,EMUL≤8。
要求 V 1.0、启用向量状态及合法受支持 vtype/SEW。动画固定 m1、vstart=0;VLEN=4096。步骤不表示处理器周期。
V向量整数运算除法/求余

指令行为说明

VREMU.VV 是 RISC-V V 扩展的 向量-向量 无符号整数余数指令。每个活动元素以 vs2 为被除数、以vs1 同 lane 元素为除数,按 SEW 位宽计算余数并写回 vd;除数为 0 使用官方定义结果,不产生除零 trap。

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

从 OP-V 编码字段开始,展示 VREMU 如何逐元素计算无符号余数及除零结果;无符号除法不会溢出。

输入的指令
vremu.vv

要求 V 1.0、启用向量状态及合法受支持 vtype/SEW;固定 LMUL=m1、vstart=0。固定 VLEN=4096,VLMAX=4096/16=256;同宽源/目标可重叠。按无符号 SEW 整数求余。除零返回被除数。masked vd 不可为 v0,v0 不可同时提供掩码与 SEW 数据。输入元素为非负位模式;VL=0 不更新目标。只展示 body,不确定 inactive/tail 值;教学步骤不是处理器周期。

执行环境
OP-V encodingvremu.vv
funct6
100010
vm
0
vs2
01000
vs1
01100
funct3
010
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0064
0x002a
0x0007
0x00ff
0x0080
0x0001
0x0064
0x002a
%
%
%
%
%
%
%
%
v12
0x0009
0x0000
0x0004
0x0010
0x0003
0x0001
0x0009
0x0000
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

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

动画展示 OP-V 字段解析、活动元素读取、无符号余数、mask 控制和 vd 写回。步骤是教学分解,不表示流水线、缓存或执行时延。

快速理解与检索要点

VREMU.VV 不产生除零异常。它在当前 vl 的活动元素上读取 vs2 作为被除数、读取vs1 同 lane 元素作为除数,写回 无符号余数;vm=0 时只执行 v0.t 为 1 的 body 元素。

32 位 OP-V:opcode=1010111、funct3=010(OPMVV)、funct6=100010。
vs2 是被除数;除数来自vs1 同 lane 元素;每个 lane 独立计算,不跨 lane 组合。
源操作数按无符号 SEW 整数解释,结果是余数。
除数为 0 时,余数结果为被除数的 SEW 位模式。
无符号形式没有有符号最小负数除以 -1 的溢出特例。
vm=0 使用 v0.t 执行掩码;mask-off 与 tail 元素按当前 vtype 策略处理。
要求启用向量状态和合法受支持 vtype/SEW;vl=0 不更新目标。

向量执行上下文

语法:vremu.vv vd, vs2, vs1[, v0.t];省略掩码为 vm=1,给出 v0.t 为 vm=0。32 位 OP-V:opcode=1010111、funct3=010(OPMVV)、funct6=100010。

vs2[i] 是被除数;vs1[i] 是同 lane 除数。按无符号 SEW 整数求余;除零返回被除数,无符号除法不会溢出。

活动 body 满足 vstart≤i<vl 且掩码开启;inactive/tail 按 vma/vta 保留或取 agnostic,不依赖固定值。vl=0 不更新任何目标元素。

同宽源/目标允许重叠;masked vd 不可为 v0,v0 不能同时提供 EEW=1 掩码和 SEW 数据。组起点按 EMUL 对齐,EMUL≤8。

要求 V 1.0、启用向量状态及合法受支持 vtype/SEW。动画固定 m1、vstart=0;VLEN=4096。步骤不表示处理器周期。

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

常见使用场景

逐元素无符号求余

假定 V/VS 已启用、合法 m1、支持 SEW、VLEN≥128、XLEN=64、vl=4、vstart=0、v0.mask[0..3]=1111,源已初始化。SEW=8, v12=[255,7,128,5], v4=[3,0,255,2] → v8=[0,7,128,1]。inactive/tail 按 vma/vta;vl=0 不更新目标。

带掩码的向量求余

假定 V/VS 已启用、合法 m1、支持 SEW、VLEN≥128、XLEN=64、vl=4、vstart=0、v0.mask[0..3]=1111,源已初始化。SEW=8, v12=[255,7,128,5], v4=[3,0,255,2] → v8=[0,7,128,1]。inactive/tail 按 vma/vta;vl=0 不更新目标。

使用前检查清单

语法检查
  • 语法:vremu.vv vd, vs2, vs1[, v0.t];省略掩码为 vm=1,给出 v0.t 为 vm=0。32 位 OP-V:opcode=1010111、funct3=010(OPMVV)、funct6=100010。
  • vs2[i] 是被除数;vs1[i] 是同 lane 除数。按无符号 SEW 整数求余;除零返回被除数,无符号除法不会溢出。
语义检查
  • 活动 body 满足 vstart≤i<vl 且掩码开启;inactive/tail 按 vma/vta 保留或取 agnostic,不依赖固定值。vl=0 不更新任何目标元素。
  • 同宽源/目标允许重叠;masked vd 不可为 v0,v0 不能同时提供 EEW=1 掩码和 SEW 数据。组起点按 EMUL 对齐,EMUL≤8。
  • 要求 V 1.0、启用向量状态及合法受支持 vtype/SEW。动画固定 m1、vstart=0;VLEN=4096。步骤不表示处理器周期。

容易混淆 / 常见误区

除数为 0 不会 trap;需要错误路径的软件必须显式检测除数。
两个源操作数都按 SEW 位宽的无符号位模式解释。
第二源来自 vs1 的同 lane 元素;没有标量除以向量的反向形式。

常见问题

VREMU.VV 除零会产生异常吗?

不会。官方 V 扩展为除零定义了确定结果:余数写回被除数,指令本身不产生除零 trap。

VREMU.VV 和 VDIVU 的关系是什么?

VREMU 写余数,VDIVU 写商。除数为0时,VREMU 返回被除数,VDIVU 返回全1;无符号除法不会溢出。