先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VWREDSUM.VS
RISC-V VWREDSUM.VS 指令详解
指令手册R-typeVWREDSUM.VS 使用 vs1[0] 初值对活动 vs2 元素执行有符号拓宽求和归约，结果只写入 vd[0]。
指令语法
vwredsum.vs vd, vs2, vs1, vm
操作数说明
vd：目标向量寄存器组。
vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。
V向量运算
指令行为说明
VWREDSUM.VS 是 RISC-V V 扩展的有符号拓宽整数归约指令。语法为 `vwredsum.vs vd, vs2, vs1, vm`；它以 vs1[0] 为初值，只让当前 vl 内且掩码选中的 vs2 元素参与有符号拓宽求和归约，并把最终2*SEW 宽结果写入 vd[0]。活动 vs2 元素先按有符号方式拓宽，再与 2*SEW 初值累加。
VWREDSUM.VS 指令解析与执行动画
从 OP-V 编码字段开始，展示 VWREDSUM 如何以 vs1[0] 为初值，只归约活动 vs2 元素，并把2*SEW 拓宽结果写入 vd[0]。
输入的指令
vwredsum.vs
OP-V encodingvwredsum.vs
funct6
110001
vm
0
vs2
01000
vs1
01100
funct3
010
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
acc
0x00000003
0x00000007
0x00000007
0x00000018
0x00000008
0x0000000f
0x0000000f
0x00000013
v8
0x0004
0xfffd
0x0011
0xfff0
0x0007
0x0020
0x0004
0xfffd
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 位编码字段
vwredsum.vs 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、活动元素读取、vs1[0] 初值归约整数有符号拓宽求和归约、mask 参与元素筛选和 vd 写回[0]；不模拟流水线、缓存或执行时延。
快速理解与检索要点
vwredsum.vs 是 V 扩展向量指令，参与归约的 vs2 元素由当前 vl 和可选 v0.t 掩码选择；vstart 必须为 0。活动 vs2 元素拓宽后与 2*SEW 宽 vs1[0] 初值归约求和，结果只在 vd[0]。
官方语法为 `vwredsum.vs vd, vs2, vs1, vm`；省略掩码时按未掩码形式执行，写 `, v0.t` 时被掩码关闭的 vs2 元素不参与归约。
vs1[0] 是 2*SEW 宽归约初值；活动 vs2 元素先拓宽再参与求和归约。
归约指令要求 vstart=0；不要把它当作可从任意元素继续的逐元素加法。
归约结果只写入 vd[0]，vd[0] 以外的元素没有同等结果语义。
向量执行上下文
阅读 VWREDSUM.VS 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
求向量和
结合 «vwredsum.vs v8, v12, v4, v0.t» 等实际代码理解该场景。
点积累加
结合 «vwredsum.vs v8, v12, v4, v0.t» 等实际代码理解该场景。
统计聚合
结合 «vwredsum.vs v8, v12, v4, v0.t» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
vs1[0] 是归约初值；不要把整个 vs1 当作逐元素第二源。
只有 vd[0] 保存归约结果；其它目标元素不是逐 lane 输出。
v0.t 掩码关闭的 vs2 元素不参与归约，但初值 vs1[0] 仍是归约起点。
归约不是普通逐元素 ALU 指令；不能把结果理解为广播到所有元素。
不要把整数归约当作可从任意 vstart 元素继续的逐元素操作；官方要求 vstart=0。
常见问题
vwredsum.vs 的元素个数由什么决定？
由当前 vl 和可选 v0.t 掩码决定哪些 vs2 元素参与；本类整数归约要求 vstart=0，且 vs1[0] 初值始终参与。
vwredsum.vs 会固定处理整个向量寄存器吗？
不会。V 扩展指令按活动元素执行，寄存器组大小和未活动元素行为由 vtype 与策略位决定。