From 740f981cfd55604d46598144dccac26dd53f643c Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Sun, 12 Jun 2011 20:27:10 -0700
Subject: [sim] renamed to riscv-isa-run

---
 riscv/insns/divu.h | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 riscv/insns/divu.h

(limited to 'riscv/insns/divu.h')

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