From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Mon, 23 Aug 2021 19:51:28 +0000 (+0000)
Subject: fixedarith: switch mulldX to XLEN
X-Git-Tag: xlen-bcd~81
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0385b5128296a170cf7c5b1f507b2412b1a6a0f4;p=openpower-isa.git

fixedarith: switch mulldX to XLEN
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index cf5ba539..c4adc0b3 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -567,10 +567,10 @@ XO-Form
 
 Pseudo-code:
 
-    prod[0:127] <- MULS((RA), (RB))
-    RT <- prod[64:127]
-    overflow <- ((prod[0:64] != [0]*65) &
-                 (prod[0:64] != [1]*65))
+    prod[0:(XLEN*2)-1] <- MULS((RA), (RB))
+    RT <- prod[XLEN:(XLEN*2)-1]
+    overflow <- ((prod[0:XLEN] != [0]*(XLEN+1)) &
+                 (prod[0:XLEN] != [1]*(XLEN+1)))
 
 Special Registers Altered: