fix modsw spec

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 4fda5dc2be1483c46f41b3e41b7a596e7d4b494b..ee817dfd7441405cafe0999743f6ec5498a00204 100644 (file)
--- 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: