path: root/riscv/insns/sraiw.h

require_rv64;
WRITE_RD(sext32(int32_t(RS1) >> SHAMT));