1 files changed, 0 insertions, 9 deletions
diff --git a/riscv/insns/sraiw_u.h b/riscv/insns/sraiw_u.h
deleted file mode 100644
index 3559d7f..0000000
--- a/riscv/insns/sraiw_u.h
+++ /dev/null
@@ -1,9 +0,0 @@
-require_rv64;
-require_extension(EXT_ZPN);
-
-reg_t sa = insn.p_imm5();
-if (sa != 0) {
-  WRITE_RD(sext32(((P_SW(RS1, 0) >> (sa - 1)) + 1) >> 1));
-} else {
-  WRITE_RD(sext32(P_SW(RS1, 0)));
-}