From 9a619cc754e49cd83bd94926bafba180b225f3d4 Mon Sep 17 00:00:00 2001
From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Mon, 23 Aug 2021 18:55:01 +0000
Subject: [PATCH] fixedarith: switch mullwX to XLEN

---
 openpower/isa/fixedarith.mdwn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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:
 
-- 
2.30.2