From 77452a26e7d95d29dbaa797595ae683f03a3345b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Sun, 19 Jun 2011 20:47:29 -0700
Subject: temporary undoing of renaming

---
 riscv/insns/remuw.h | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 riscv/insns/remuw.h

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

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));
-- 
cgit v1.1