path: root/riscv/insns/sraiw.h

require_xpr64;
RD = sext32(int32_t(RS1) >> SHAMTW);