Shift the 32-bit value in xs1 right by shamt, and store the sign-extended result in xd
srliw xd, xs1, shamt
Type:
open srliw in rvcodecjs