全零掩码和 vl=0 有何不同?
vl>0 且所有源元素被掩码关闭时,vd[0] 仍接收 vs1[0] 初值;vl=0 时目标完全不更新,也不复制初值。
VWREDSUMU.VS 将活动 SEW 元素零扩展后与 2*SEW 初值归约求和;vl>0 时结果写入 vd[0]。
VWREDSUMU.VS 是 V 1.0 的无符号拓宽求和归约。vs2 元素宽度为 SEW,vs1[0] 初值和 vd[0] 结果为 2*SEW;活动源元素零扩展后参与求和,溢出按 2*SEW 环绕。vl>0 时即使所有源元素被掩码关闭,也写入初值;vl=0 时不更新目标。非零 vstart 触发非法指令异常。
从 OP-V 编码字段开始,展示 VWREDSUMU 如何以 vs1[0] 为初值,只归约活动 vs2 元素,并把2*SEW 拓宽结果写入 vd[0]。
教学环境:V 1.0、向量状态已启用、合法受支持 vtype,LMUL=m1、VLEN=4096、vstart=0。要求支持 SEW 与 2*SEW;SEW=64 需额外128位整数元素支持。输入非负位模式;vs2按SEW无符号零扩展,与2*SEW初值相加,溢出按2*SEW环绕,不饱和、不改变vxsat。vs1[0]与vd[0]均为单个寄存器的宽标量,EMUL=1,任意v0-v31均可作为目标;vd可与源或mask重叠。vs2和vs1不能同名读取不同EEW,v0提供掩码时不能兼作数据源。VL>0时即使全部vs2被掩码关闭仍写入初值;VL=0不更新任何目标。其余目标元素是tail,通常按vta处理;合法不同EEW源/目标重叠时强制tail-agnostic。这里不显示tail确定值。非零vstart触发非法指令异常;步骤不是处理器周期。
vwredsumu.vs 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、vs1[0] 初值归约整数无符号拓宽求和归约、mask 参与元素筛选和 vd 写回[0];不模拟流水线、缓存或执行时延。
VWREDSUMU.VS 将活动 SEW 元素零扩展后与 2*SEW 初值归约求和;vl>0 时结果写入 vd[0]。
vs2 为 SEW/LMUL 向量源;vs1[0] 初值和 vd[0] 结果均为 2*SEW 宽标量,各占单个向量寄存器的元素0,EMUL=1,可用任意寄存器。
32位 OP-V:opcode=1010111, funct6=110000, funct3=000 (OPIVV);vm在bit25,vs2在bits24:20,vs1在bits19:15,vd在bits11:7。可选 v0.t 表示vm=0,省略为vm=1。
活动 vs2 元素零扩展后与宽初值求和,结果按2*SEW环绕;vl>0 时仅写 vd[0],其余元素是tail。全零掩码仍写初值,vl=0完全不更新目标。非零vstart触发非法指令异常。
vd可与源或v0重叠;vs2和vs1不能同名读取不同EEW,v0作为EEW=1掩码时不能兼作数据源。其他目标元素通常按vta处理;合法不同EEW源/目标重叠时强制tail-agnostic。
RV32/RV64 V 1.0;要求向量状态启用、vill=0、支持SEW与2*SEW,SEW=64需额外128位整数元素支持。不饱和、不使用vxrm、不改变vxsat;正常完成后vstart=0。动画固定LMUL=m1、VLEN=4096、vstart=0,步骤不是处理器周期。
假定 V/VS 已启用、合法受支持 e8,m1,tu,mu、支持16位结果、VLEN=4096、XLEN=64、vl=4、vstart=0;v0.mask[0..3]=1111。v12=[255,1,0,0], v4[0]=65535 → v8[0]=255 (0x00ff)。其余目标元素为tail并保持旧值。正常完成后vstart=0。
假定 V/VS 已启用、合法受支持 e8,m1,tu,mu、支持16位结果、VLEN=4096、XLEN=64、vl=4、vstart=0;v0.mask[0..3]=1111。v12=[255,1,0,0], v4[0]=65535 → v8[0]=255 (0x00ff)。其余目标元素为tail并保持旧值。正常完成后vstart=0。
假定 V/VS 已启用、合法受支持 e8,m1,tu,mu、支持16位结果、VLEN=4096、XLEN=64、vl=4、vstart=0;v0.mask[0..3]=1111。v12=[255,1,0,0], v4[0]=65535 → v8[0]=255 (0x00ff)。其余目标元素为tail并保持旧值。正常完成后vstart=0。
vl>0 且所有源元素被掩码关闭时,vd[0] 仍接收 vs1[0] 初值;vl=0 时目标完全不更新,也不复制初值。
假设受支持配置、vstart=0、vl=2、未掩码,vs2=[255,1] 且 16 位初值为 65535;(65535+255+1) mod 65536 = 255,故 vd[0]=0x00ff。其余目标是 tail。