path: root/riscv/insns/srai.h

if (xlen == 64)
  WRITE_RD(sreg_t(RS1) >> SHAMT);
else
{
  if(SHAMT & 0x20)
    throw trap_illegal_instruction();
  WRITE_RD(sext32(int32_t(RS1) >> SHAMT));
}