From 486753402af5a0d6d47a57798e9fcae36eb84ee0 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Mon, 5 Oct 2020 18:54:13 -0700
Subject: [PATCH] fix modsw spec

---
 openpower/isa/fixedarith.mdwn | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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:
-- 
2.30.2