1 files changed, 0 insertions, 4 deletions
diff --git a/riscv/insns/srl.h b/riscv/insns/srl.h
deleted file mode 100644
index 8230d27..0000000
--- a/riscv/insns/srl.h
+++ /dev/null
@@ -1,4 +0,0 @@
-if(xpr64)
-  RD = RS1 >> (RS2 & 0x3F);
-else
-  RD = sext32((uint32_t)RS1 >> (RS2 & 0x1F));