From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Sun, 29 Aug 2021 19:46:51 +0000 (+0000)
Subject: fixedarith: switch modsd to XLEN
X-Git-Tag: xlen-bcd~54
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e01cdc61577617faf2c777675356478d270406fe;p=openpower-isa.git

fixedarith: switch modsd to XLEN
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 273baa84..a23b4023 100644
--- 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)