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