Move towards RVC v1.8

[riscv-isa-sim.git] / riscv / insns / c_srli.h

diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h
deleted file mode 100644 (file)
index bf29f5f..0000000
--- a/riscv/insns/c_srli.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_extension('C');
-require(insn.rvc_imm() < xlen);
-WRITE_RD(sext_xlen(zext_xlen(RVC_RS1) >> insn.rvc_imm()));