1 files changed, 11 insertions, 0 deletions
diff --git a/riscv/insns/nsrar.h b/riscv/insns/nsrar.h
new file mode 100644
index 00000000..b0879d3f
--- /dev/null
+++ b/riscv/insns/nsrar.h
@@ -0,0 +1,11 @@
+require_extension('P');
+require_rv32;
+sreg_t val = (sreg_t)P_RS1_PAIR;
+uint32_t shamt = RS2 & 0x3f;
+sreg_t result;
+if (shamt == 0) {
+    result = val;
+} else {
+    result = (val >> shamt) + ((val >> (shamt - 1)) & 1);
+}
+WRITE_RD(result);