1 files changed, 0 insertions, 5 deletions
diff --git a/riscv/insns/divuw.h b/riscv/insns/divuw.h
deleted file mode 100644
index 0ceb040..0000000
--- a/riscv/insns/divuw.h
+++ /dev/null
@@ -1,5 +0,0 @@
-require_xpr64;
-if(RS2 == 0)
-  RD = UINT64_MAX;
-else
-  RD = sext32(zext32(RS1) / zext32(RS2));