path: root/riscv/insns/srlw.h

require_xpr64;
RD = sext32((uint32_t)RS1 >> (RS2 & 0x1F));