fixedarith: switch modsd to XLEN

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 273baa84da104174e79eb6647edc0c61c4f4f5fd..a23b402332afb600b34ee9fcd02150810bdb4975 100644 (file)
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -782,10 +782,10 @@ Pseudo-code:
 
     dividend <- (RA)
     divisor <- (RB)
-    if (((dividend = 0x8000_0000_0000_0000) &
-         (divisor = [1]*64)) |
-         (divisor = [0]*64)) then
-        RT[0:63] <- undefined([0]*64)
+    if (((dividend = (0b1 || ([0b0] * (XLEN-1)))) &
+         (divisor = [1]*XLEN)) |
+         (divisor = [0]*XLEN)) then
+        RT[0:63] <- undefined([0]*XLEN)
         overflow <- 1
     else
         RT <- MODS(dividend, divisor)