[xcc] minor performance tweaks

[riscv-isa-sim.git] / riscv / insns / divu.h

diff --git a/riscv/insns/divu.h b/riscv/insns/divu.h
index 35eee14eae11774afdcbb4d27c49d2c51b6994e0..681afd217bbbda882d88de0c7a93848c8ed0d6fa 100644 (file)
--- a/riscv/insns/divu.h
+++ b/riscv/insns/divu.h
@@ -1,2 +1,4 @@
-require64;
-RDR = RS1 / RS2;
+if(RS2 == 0)
+  RD = UINT64_MAX;
+else
+  RD = sext_xprlen(zext_xprlen(RS1) / zext_xprlen(RS2));