先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VREDSUM.VS
RISC-V VREDSUM.VS 指令详解
指令手册R-typeVREDSUM.VS 使用 vs1[0] 初值对活动 vs2 元素执行求和归约，结果只写入 vd[0]。
指令语法
vredsum.vs vd, vs2, vs1, vm
操作数说明
vd：目标向量寄存器组，归约结果写入元素 0。
vs2：被归约的向量源。
vs1[0]：归约初值，不是逐元素第二向量源。
V向量归约操作
指令行为说明
VREDSUM.VS 是 RISC-V V 扩展的单宽整数归约指令。语法为 `vredsum.vs vd, vs2, vs1, vm`；它以 vs1[0] 为初值，只让当前 vl 内且掩码选中的 vs2 元素参与求和归约，并把最终SEW 宽结果写入 vd[0]。整数溢出按 SEW 宽度回绕。
VREDSUM.VS 指令解析与执行动画
从 OP-V 编码字段开始，展示 VREDSUM 如何以 vs1[0] 为初值，只归约活动 vs2 元素，并把SEW 宽结果写入 vd[0]。
输入的指令
vredsum.vs
OP-V encodingvredsum.vs
funct6
000000
vm
0
vs2
01000
vs1
01100
funct3
010
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
acc
0x0003
0x0007
0x0007
0x0018
0x001a
0x0021
0x0021
0x0025
v8
0x0004
0x0009
0x0011
0x0002
0x0007
0x0020
0x0004
0x0009
acc+
acc+
acc+
acc+
acc+
acc+
acc+
acc+
v0.t
1
0
1
1
1
0
1
1
v4
...
tail
tail
tail
tail
tail
tail
tail
当前步骤
显示 OP-V 32 位编码字段
vredsum.vs 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、活动元素读取、vs1[0] 初值归约整数求和归约、mask 参与元素筛选和 vd 写回[0]；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VREDSUM.VS 是单宽整数求和归约。它以 vs1[0] 作为标量初值，把 vs2 的活动元素累加进去，并把最终结果写入 vd[0]；它不是把结果广播到整个向量。
本页按官方 RISC-V V 扩展描述：向量指令只处理当前 vl 范围内的 body 元素；未掩码形式处理所有 body 元素，带 vm 的形式在 vm=0 时使用 v0 作为执行掩码。SEW、LMUL、tail policy 和 mask policy 来自当前 vtype，通常由 vsetvli/vsetivli/vsetvl 设置。
vs1[0] 是归约初值；vs1 不是逐元素第二向量源。
只有活动元素参与归约；masked-off 元素不贡献到结果。
归约结果写入 vd[0]。归约类指令有专门的 vstart 限制；软件不应把它当作可从任意元素重启的逐元素运算。
向量执行上下文
阅读 VREDSUM.VS 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
全局聚合
结合 «vredsum.vs v1, v2, v3 # reduce active v2 elements with seed v3[0], result in v1[0]» 等实际代码理解该场景。
数据归一化
结合 «vredsum.vs v1, v2, v3 # reduce active v2 elements with seed v3[0], result in v1[0]» 等实际代码理解该场景。
条件判断
结合 «vredsum.vs v1, v2, v3 # reduce active v2 elements with seed v3[0], result in v1[0]» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
vs1[0] 是归约初值；不要把整个 vs1 当作逐元素第二源。
只有 vd[0] 保存归约结果；其它目标元素不是逐 lane 输出。
v0.t 掩码关闭的 vs2 元素不参与归约，但初值 vs1[0] 仍是归约起点。
归约不是普通逐元素 ALU 指令；不能把结果理解为广播到所有元素。
不要把整数归约当作可从任意 vstart 元素继续的逐元素操作；官方要求 vstart=0。
常见问题
VREDSUM.VS 的初值来自哪里？
初值来自 vs1 的第 0 个元素，即 vs1[0]。
VREDSUM.VS 会修改所有目标元素吗？
有效归约结果在 vd[0]。其他目标元素不是逐元素归约结果，应按规范的尾部/目标元素规则理解。