VNSRL.WX 会舍入吗?
不会。它是窄化右移;需要定点舍入和饱和时使用 VNCLIP/VNCLIPU。
逻辑窄化右移,将 2*SEW 源元素写成 SEW 结果。
VNSRL.WX 对 2*SEW 宽无符号源元素执行逻辑右移,并将移位后值的低 SEW 位写入目标元素。移位量来自 x[rs1] 按 .vx 规则转换后的低 lg2(2*SEW) 位。
从 OP-V 编码字段开始,展示 VNSRL 如何读取 2*SEW 宽无符号 vs2,取移位量低 lg2(2*SEW) 位逻辑右移,并把低 SEW 位写回 vd。
要求已启用向量状态、合法 vtype 且支持源 2*SEW 与目标 SEW;VL=0 不更新任何目标元素。同起点的窄目标/宽源重叠合法,此时 mask 与 tail 强制 agnostic;这里只展示 body,不为 inactive 或 tail 伪造确定值。
教学模型固定 LMUL=m1、vstart=0、VLEN=4096,VLMAX=4096/16=256,只展示所选 VL=8 的 body 元素;假设实现支持源 2*SEW 和目标 SEW。宽源 vs2 的 EMUL=2,须从偶数寄存器开始;.wv 的 vs1 不可与宽源组重叠。inactive 与 tail 不显示确定结果;合法不同 EEW 重叠时强制采用 agnostic 行为。步骤仅为教学分解,不是处理器周期。
vnsrl.wx 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 rs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、2*SEW 到 SEW 整数逻辑窄化右移、mask 控制和 vd 写回;不模拟流水线、缓存或执行时延。
VNSRL.WX 用于把宽整数结果通过逻辑右移缩回 SEW 宽度。
语法:vnsrl.wx vd, vs2, rs1[, v0.t];省略 v0.t 为 vm=1,带 v0.t 为 vm=0。32 位 OP-V:opcode=1010111、funct6=101100、funct3=100。
vd 是 SEW/LMUL 窄目标组,vs2 是 2*SEW/2*LMUL 宽源组;对无符号宽源逻辑右移后取低 SEW 位,不舍入、不饱和、不使用 vxrm 或更新 vxsat。
rs1 是整数 x 寄存器:XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展;x0 提供零。
只使用移位量低 lg2(2*SEW) 位。vd 仅可在最低寄存器相同处与宽源重叠,此时 mask/tail 强制 agnostic;.wv 的 vs1 不能与宽源组重叠。组起点按 EMUL 对齐,EMUL≤8,且须支持两种宽度。
要求 V 1.0、已启用向量状态及合法受支持 vtype。活动 body 为 vstart≤i<vl 且掩码开启;prestart 不变,inactive/tail 按 vma/vta。vstart≥vl(含 vl=0)不更新任何目标元素;masked vd 不可包含 v0,v0 不能同时提供 mask 和数据。
假定 V/VS 已启用、合法 m1、VLEN≥128、支持源/目标宽度、vl=4、vstart=0、v0.mask[0..3]=1111,源已初始化。SEW=8, v12=[4660,32768,65535,256], x5=4 → v8=[35,0,255,16]。无符号 16 位源逻辑右移4位后取低8位。inactive/tail 按策略,不假定清零。
假定 V/VS 已启用、合法 m1、VLEN≥128、支持源/目标宽度、vl=4、vstart=0、v0.mask[0..3]=1111,源已初始化。SEW=8, v12=[4660,32768,65535,256], x5=4 → v8=[35,0,255,16]。无符号 16 位源逻辑右移4位后取低8位。inactive/tail 按策略,不假定清零。
不会。它是窄化右移;需要定点舍入和饱和时使用 VNCLIP/VNCLIPU。