f6638b1e2747c7bc2ec8bb268230658ff4f77052
[riscv-isa-sim.git] / riscv / insns / c_srai.h
1 require_extension('C');
2 require(insn.rvc_zimm() < xlen);
3 WRITE_RVC_RS1S(sext_xlen(sext_xlen(RVC_RS1S) >> insn.rvc_zimm()));