1 files changed, 5 insertions, 0 deletions
diff --git a/riscv/insns/remuw.h b/riscv/insns/remuw.h
new file mode 100644
index 0000000..8234af3
--- /dev/null
+++ b/riscv/insns/remuw.h
@@ -0,0 +1,5 @@
+require_xpr64;
+if(RS2 == 0)
+  RD = RS1;
+else
+  RD = sext32(zext_xprlen(RS1) % zext_xprlen(RS2));