VSRA.VV

RISC-V VSRA.VV 指令详解

指令手册R-type

逐元素算术右移。

指令语法

vsra.vv vd, vs2, vs1, vm
操作数说明
vd:目标向量寄存器组。
vs2/vs1 或标量源:按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
V向量运算

指令行为说明

VSRA.VV 执行 RVV 单宽整数算术右移。每个活动元素从 vs2[i] 读取源值,移位量来自 vs1[i],并只使用官方按 SEW 规定的低位部分;结果写入 vd 的活动元素。vm=0 时由 v0.t 选择参与本条移位的 body 元素。

VSRA.VV 指令解析与执行动画

从 OP-V 编码字段开始,展示 VSRA 如何取移位量低位、按有符号元素执行算术右移并保留符号。

输入的指令
vsra.vv
OP-V encodingvsra.vv
funct6
101001
vm
0
vs2
01000
vs1
01100
funct3
000
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x00fa
0x010b
0x011c
0x012d
0x013e
0x014f
0x0160
0x0171
>>
>>
>>
>>
>>
>>
>>
>>
v12
0x000d
0x0016
0x001f
0x0028
0x0031
0x003a
0x0043
0x004c
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

vsra.vv 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。

动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、SEW 宽度整数算术右移、mask 控制和 vd 写回;不模拟流水线、缓存或执行时延。

快速理解与检索要点

VSRA.VV 对当前 vl 范围内的活动元素逐 lane 执行算术右移。移位量不是完整整数值直接使用,而是按 SEW 只取低 log2(SEW) 位;mask-off 和 tail 元素按当前 vtype policy 处理。

VSRA 属于 OP-V 向量算术编码,funct6=101001;.vv 形式由 funct3=000 选择。
VV 形式从每个 vs1[i] 元素取得对应 lane 的移位量来源。 实际移位量只取低 log2(SEW) 位。
VSRA.VV 按有符号元素算术右移并保留符号,按有符号元素符号扩展;普通 VSLL/VSRL/VSRA 不使用 vxrm 舍入,也不设置 vxsat。
vm=0 使用 v0 mask,vm=1 为未掩码形式;mask-off body 元素和 tail 元素的目标结果由当前 mask/tail policy 决定。

向量执行上下文

阅读 VSRA.VV 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv:两个向量源逐元素参与运算。

先看 vl

当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl,再执行本页指令。

再看 vtype

当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy;这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。

最后看 vm/v0

带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码,vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。

官方来源:RISC-V V Standard Extension for Vector Operations

常见使用场景

位操作与掩码

结合 «vsra.vv v8, v12, v4, v0.t» 等实际代码理解该场景。

向量运算

结合 «vsra.vv v8, v12, v4, v0.t» 等实际代码理解该场景。

有符号移位

结合 «vsra.vv v8, v12, v4, v0.t» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

不要把 VSRA.VV 的移位量理解为完整源值;实际移位量只取按 SEW 规定的低位。
VSRA.VV 是普通整数移位,不使用 vxrm 舍入,也不会因为移出位而设置 vxsat。
mask-off body 元素不是确定写 0;目标元素按当前 mask policy 处理。

常见问题

VSRA.VV 的移位量可以大于 SEW 吗?

编码或源操作数可以提供更宽的值,但普通 RVV 移位实际只使用按 SEW 选择的低 log2(SEW) 位作为移位量。

VSRA.VV 与相邻移位指令有什么区别?

VSRA 把 vs2 元素解释为有符号值进行算术右移;VSRL 对相同位模式做逻辑右移,高位补 0。