1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/insns/srai_u.h b/riscv/insns/srai_u.h
deleted file mode 100644
index f170083..0000000
--- a/riscv/insns/srai_u.h
+++ /dev/null
@@ -1,10 +0,0 @@
-require_extension(EXT_ZPN);
-sreg_t rs1 = sext_xlen(RS1);
-reg_t sa = insn.p_imm6();
-require(sa < (unsigned long)xlen); // imm[5] == 1 is illegal on rv32
-
-if (sa > 0) {
-  WRITE_RD(sext_xlen(((rs1 >> (sa - 1)) + 1) >> 1));
-} else {
-  WRITE_RD(sext_xlen(rs1));
-}