008ae6221e89985b2f3a0aef5c74e698137a9114
[riscv-isa-sim.git] / riscv / insns / c_srli.h
1 require_extension('C');
2 require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
3 WRITE_RVC_RS1S(sext_xlen(zext_xlen(RVC_RS1S) >> insn.rvc_zimm()));