From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Mon, 23 Aug 2021 18:55:01 +0000 (+0000)
Subject: fixedarith: switch mullwX to XLEN
X-Git-Tag: xlen-bcd~83
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a619cc754e49cd83bd94926bafba180b225f3d4;p=openpower-isa.git

fixedarith: switch mullwX to XLEN
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 3009b826..55cf4042 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -350,10 +350,10 @@ XO-Form
 
 Pseudo-code:
 
-    prod[0:63] <- MULS((RA)[32:63], (RB)[32:63])
+    prod[0:XLEN-1] <- MULS((RA)[XLEN/2:XLEN-1], (RB)[XLEN/2:XLEN-1])
     RT <- prod
-    overflow <- ((prod[0:32] != [0]*33) &
-                 (prod[0:32] != [1]*33))
+    overflow <- ((prod[0:XLEN/2] != [0]*((XLEN/2)+1)) &
+                 (prod[0:XLEN/2] != [1]*((XLEN/2)+1)))
 
 Special Registers Altered: