What shift counts can VSRA.VI encode?
uimm encodes only 0–31. The count uses low lg2(SEW) bits: 31 becomes 7 for SEW=8; SEW=64 still cannot encode 32–63.
Element-wise arithmetic right shift.
VSRA.VI performs RVV single-width integer arithmetic right shift. Each active element reads vs2[i], takes the shift amount from uimm, uses only the low bits selected by SEW as specified by the V extension, and writes the result to vd. With vm=0, v0.t selects which body elements participate in this shift.
Starts from OP-V encoding fields, then shows how VSRA takes the low shift-count bits and arithmetic-shifts signed elements while preserving the sign.
Teaching context: V 1.0, enabled vector state, valid supported vtype/SEW, LMUL=m1, VLEN=4096, vstart=0, VLMAX=4096/16. Equal-width source/destination overlap is legal; equal source registers require equal elements. With v0.t, vd/vs2/vs1 cannot be v0. Use low log2(SEW) shift-count bits and keep low SEW result bits; inactive/tail values are not specified here. VL=0 leaves the destination unchanged; stages are not processor cycles.
vsra.vi uses OP-V encoding. The animation places fixed fields, register fields, vm, and the uimm field in one encoding strip.
This animation shows OP-V decode, low-bit shift-count selection, per-element right shifts, and destination writeback; it does not model pipelines or timing.
VSRA.VI applies arithmetic right shift lane by lane to active elements within the current vl. The full shift source is not used as a count directly; the count uses only the low log2(SEW) bits, and mask-off or tail elements follow the current vtype policies.
V 1.0 requires enabled vector state, vill=0 and supported vtype/SEW. vd/vs2 are aligned EEW=SEW, EMUL=LMUL groups. uimm is zero-extended, 5-bit, 0–31; SEW=64 still cannot encode 32–63.
32-bit OP-V: opcode=1010111, funct6=101001, funct3=011; vm at bit25, vs2 at bits24:20, uimm at bits19:15, vd at bits11:7. shamt uses only low lg2(SEW) bits. Arithmetic right shift replicates the sign bit. No vxrm rounding or vxsat change.
Optional v0.t means vm=0; omission means vm=1. Masked vd excludes v0; v0 cannot supply both EEW=1 mask and SEW data. Equal-width source/destination overlap is allowed. Compute active vstart<=i<vl only; prestart is unchanged, inactive/tail follow vma/vta; vstart>=vl (including vl=0) leaves the destination unchanged. Success resets vstart=0.
Assume enabled V/VS, valid supported vtype, LMUL=m1, VLEN=4096, XLEN=64, vstart=0, initialized sources and all body mask bits enabled. SEW=8, vl=4, uimm=3, v12=[1,127,128,255] → v8=[0,15,240,255] (0,15,-16,-1). Inactive/tail follow vma/vta without guaranteed zeroing. Success resets vstart=0.
Assume enabled V/VS, valid supported vtype, LMUL=m1, VLEN=4096, XLEN=64, vstart=0, initialized sources and all body mask bits enabled. SEW=8, vl=4, uimm=3, v12=[1,127,128,255] → v8=[0,15,240,255] (0,15,-16,-1). Inactive/tail follow vma/vta without guaranteed zeroing. Success resets vstart=0.
Assume enabled V/VS, valid supported vtype, LMUL=m1, VLEN=4096, XLEN=64, vstart=0, initialized sources and all body mask bits enabled. SEW=8, vl=4, uimm=3, v12=[1,127,128,255] → v8=[0,15,240,255] (0,15,-16,-1). Inactive/tail follow vma/vta without guaranteed zeroing. Success resets vstart=0.
uimm encodes only 0–31. The count uses low lg2(SEW) bits: 31 becomes 7 for SEW=8; SEW=64 still cannot encode 32–63.
VSRA treats each vs2 element as signed for the arithmetic right shift; VSRL shifts the same bit pattern logically and fills high bits with zero.