1 files changed, 4 insertions, 0 deletions
diff --git a/riscv/insns/divu.h b/riscv/insns/divu.h
new file mode 100644
index 0000000..681afd2
--- /dev/null
+++ b/riscv/insns/divu.h
@@ -0,0 +1,4 @@
+if(RS2 == 0)
+  RD = UINT64_MAX;
+else
+  RD = sext_xprlen(zext_xprlen(RS1) / zext_xprlen(RS2));