先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VREM.VV
RISC-V VREM.VV 指令详解
指令手册R-type向量-向量 有符号整数余数，把逐元素余数写入 vd；除零不触发异常。
指令语法
vrem.vv vd, vs2, vs1, vm
操作数说明
vd：目标向量寄存器组。
vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。
V向量整数运算除法/求余
指令行为说明
VREM.VV 是 RISC-V V 扩展的 向量-向量 有符号整数余数指令。每个活动元素以 vs2 为被除数、以vs1 同 lane 元素为除数，按 SEW 位宽计算余数并写回 vd；除数为 0 和有符号溢出特例使用官方定义结果，不产生除零 trap。
VREM.VV 指令解析与执行动画
从 OP-V 编码字段开始，展示 VREM 如何逐元素计算有符号余数，并按官方规则处理除零和有符号溢出特例。
输入的指令
vrem.vv
OP-V encodingvrem.vv
funct6
100011
vm
0
vs2
01000
vs1
01100
funct3
010
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0064
0xffd6
0x8000
0x007f
0xffff
0x0001
0x0064
0xffd6
%
%
%
%
%
%
%
%
v12
0x0009
0x0000
0xffff
0xffff
0x0003
0x0001
0x0009
0x0000
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤
显示 OP-V 32 位编码字段
vrem.vv 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、活动元素读取、SEW 宽度整数有符号余数、mask 控制和 vd 写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VREM.VV 不产生除零异常。它在当前 vl 的活动元素上读取 vs2 作为被除数、读取vs1 同 lane 元素作为除数，写回 有符号余数；vm=0 时只执行 v0.t 为 1 的 body 元素。
VREM.VV 使用 OP-V 编码；.vv 形式由 funct3=010 选择，funct6=100011 选择 VREM。
vs2 是被除数；除数来自vs1 同 lane 元素；每个 lane 独立计算，不跨 lane 组合。
源操作数按有符号二进制补码 SEW 整数解释，结果是余数。
除数为 0 时，余数结果为被除数的 SEW 位模式。
有符号最小负数除以 -1 的溢出特例：VDIV 写回被除数，VREM 写回 0。
vm=0 使用 v0.t 执行掩码；mask-off 与 tail 元素按当前 vtype 策略处理。
向量执行上下文
阅读 VREM.VV 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv：两个向量源逐元素参与运算。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
向量化模运算
结合 «vsetvli t0, a0, e32, m1, ta, ma vrem.vv v8, v12, v4, v0.t» 等实际代码理解该场景。
周期索引计算
结合 «vsetvli t0, a0, e32, m1, ta, ma vrem.vv v8, v12, v4, v0.t» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
除数为 0 不会 trap；需要错误路径的软件必须显式检测除数。
有符号最小负数除以 -1 是官方定义的溢出特例：除法写回被除数，余数写回 0。
第二源来自 vs1 的同 lane 元素；没有标量除以向量的反向形式。
常见问题
VREM.VV 除零会产生异常吗？
不会。官方 V 扩展为除零定义了确定结果：余数写回被除数，指令本身不产生除零 trap。
VREM.VV 和 VDIV 的关系是什么？
VREM.VV 写回余数；配套的 VDIV 形式写回同一除法关系下的商。两者都使用相同的除零和有符号溢出特例规则。