From: Jacob Lifshay <programmerjake@gmail.com>
Date: Sat, 3 Oct 2020 01:01:56 +0000 (-0700)
Subject: working on fixing divwe. spec bugs
X-Git-Tag: convert-csv-opcode-to-binary~2096
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29c78ebd8ac03fd811a41ea772fe20813bdb1927;p=libreriscv.git

working on fixing divwe. spec bugs
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 7a03aff46..f8511652c 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -439,12 +439,13 @@ XO-Form
 Pseudo-code:
 
     dividend[0:63] <- (RA)[32:63] || [0]*32
-    divisor[0:63] <- [0]*32 || (RB)[32:63]
+    divisor[0:63] <- EXTS64((RB)[32:63])
     if (divisor = 0x0000_0000_0000_0000) then
         overflow <- 1
     else
         result <- DIVS(dividend, divisor)
-        if (result[0:31] = 0) then
+        result32[0:63] <- EXTS64(result[32:63])
+        if (result32 = result) then
             RT[32:63] <- result[32:63]
             RT[0:31] <- undefined[0:31]
             overflow <- 0