From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 6 Oct 2020 01:00:50 +0000 (-0700)
Subject: fix divweu bug
X-Git-Tag: convert-csv-opcode-to-binary~2092
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d4977cee91443e91fc1444f07219b6029d63476e;p=libreriscv.git

fix divweu bug
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index f8511652c..4fda5dc2b 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -475,8 +475,8 @@ Pseudo-code:
     if (divisor = 0x0000_0000_0000_0000) then
         overflow <- 1
     else
-        result <- dividend /  divisor
-        if (RA) < (RB) then
+        result <- dividend / divisor
+        if RA[32:63] <u RB[32:63] then
             RT[32:63] <- result[32:63]
             RT[0:31] <- undefined[0:31]
             overflow <- 0