From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 6 Oct 2020 01:54:13 +0000 (-0700)
Subject: fix modsw spec
X-Git-Tag: convert-csv-opcode-to-binary~2091
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=486753402af5a0d6d47a57798e9fcae36eb84ee0;p=libreriscv.git

fix modsw spec
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 4fda5dc2b..ee817dfd7 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -499,15 +499,14 @@ X-Form
 Pseudo-code:
 
     dividend[0:31] <- (RA)[32:63]
-    divisor [0:31] <- (RB)[32:63]
+    divisor[0:31] <- (RB)[32:63]
     if (((dividend = 0x8000_0000) &
          (divisor = 0xffff_ffff)) |
          (divisor = 0x0000_0000)) then
         RT[0:63] <- undefined[0:63]
         overflow <- 1
     else
-        RT[32:63] <- MODS(dividend, divisor)
-        RT[0:31] <- undefined[0:31]
+        RT[0:63] <- EXTS64(MODS(dividend, divisor))
         overflow <- 0
 
 Special Registers Altered: