vredor

vredor 是 RISC-V V 1.0 的整数归约指令。不同操作数后缀属于同一助记符并集中列在本页。

操作码

V 1.0 · 见官方编码表

指令集

RISC-V V 1.0

英文全称

vredor：整数归约

参考资料

RISC-V V 1.0 ↗

页码

01vredor.vs 02vd, vs2, vs1, vm

01

指令助记符vredor.vsmnemonic

vredor：整数归约

02

操作数vd, vs2, vs1, vmdestination

该形式的操作数顺序；其他形式见下表。

VREDOR · REGISTER OPERATIONRISCV · REDUCTION

li a0, 10 vsetvli t0, a0, e32, m4, tu, mu # VLEN=128 vredor.vs v0, v8, v12

VLEN单个物理向量寄存器位数128256512SEW每个向量元素的位数8163264LMUL一个逻辑寄存器组占用的寄存器数mf8mf4mf2m1m2m4m8vl本次执行的活动元素数量源寄存器来源寄存器组起始编号第二源寄存器第二来源或索引寄存器组起始编号目标寄存器目标寄存器组起始编号尾部策略vl 以后的目标元素处理方式tu · 保持ta · agnostic掩码策略被掩码目标元素的处理方式mu · 保持ma · agnostic

VLMAXLMUL × VLEN ÷ SEW

16

vs2 · v8第一来源

v8[511:0]

vs2[15]16SEW=32

vs2[14]15SEW=32

vs2[13]14SEW=32

vs2[12]13SEW=32

vs2[11]12SEW=32

vs2[10]11SEW=32

vs2[9]10SEW=32

vs2[8]9SEW=32

vs2[7]8SEW=32

vs2[6]7SEW=32

vs2[5]6SEW=32

vs2[4]5SEW=32

vs2[3]4SEW=32

vs2[2]3SEW=32

vs2[1]2SEW=32

vs2[0]1SEW=32

vs1 · v12第二来源

v12[511:0]

vs1[15]32SEW=32

vs1[14]31SEW=32

vs1[13]30SEW=32

vs1[12]29SEW=32

vs1[11]28SEW=32

vs1[10]27SEW=32

vs1[9]26SEW=32

vs1[8]25SEW=32

vs1[7]24SEW=32

vs1[6]23SEW=32

vs1[5]22SEW=32

vs1[4]21SEW=32

vs1[3]20SEW=32

vs1[2]19SEW=32

vs1[1]18SEW=32

vs1[0]17SEW=32

vd · v0（结果）reduction

v0[511:0]

vd[15]tailreduction

vd[14]tailreduction

vd[13]tailreduction

vd[12]tailreduction

vd[11]tailreduction

vd[10]tailreduction

vd[9]tailreduction

vd[8]tailreduction

vd[7]tailreduction

vd[6]tailreduction

vd[5]tailreduction

vd[4]tailreduction

vd[3]tailreduction

vd[2]tailreduction

vd[1]tailreduction

vd[0]136reduction

每个圆球代表一个完整元素强调背景：目标写入高索引在左、低索引在右

指令形式

语法	说明
vredor.vs vd, vs2, vs1, vm	RISC-V V 1.0 规范形式

元素语义

元素 0 位于寄存器组最低 SEW 位；活动 body 元素按 reduction 类语义处理。VLMAX = LMUL × VLEN / SEW，实际写入范围由 vstart、vl、执行掩码和尾部策略共同决定。

语义伪代码

VREDORRISC-V V 1.0 · PSEUDOCODE

if vstart != 0: illegal_instruction
acc = convert(vs1[0], SEW 整数)
# 实现允许按规范构造任意归约树
for i = 0 .. vl - 1:
    if vm == 1 or v0.mask[i] == 1:
        acc = bit_or(acc, convert(vs2[i], SEW 整数))
vd[0] = acc
vd[1 .. VLMAX-1] = tail_agnostic
vstart = 0

agnostic 表示规范允许保留旧值或写全 1；辅助函数名称直接表达其规范动作。

注意点

修改的寄存器与状态

活动目标元素写入 vd，来源保持不变；prestart 元素不变，被掩码元素由 vma、尾部元素由 vta 决定保持或 agnostic，正常完成后 vstart=0。目标与来源须满足 LMUL/EMUL 对齐、编号范围和重叠限制。

内存对齐

该指令只使用寄存器，不访问数据内存，因此没有内存对齐要求。整数、掩码和排列操作不修改 x86 风格条件码；浮点运算按规范累积 fflags。

示例

vsetvli t0, a0, e32, m1, tu, mu
vredor.vs v0, v8, v12

参考

• RISC-V “V” Standard Extension for Vector Operations, Version 1.0