projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8a0112b)
fixedarith: switch mulldX to XLEN
authorDmitry Selyutin <dmitry.selyutin@3mdeb.com>
Mon, 23 Aug 2021 19:51:28 +0000 (19:51 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 30 Aug 2021 15:10:49 +0000 (16:10 +0100)
openpower/isa/fixedarith.mdwn patch | blob | history

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index cf5ba539a8eb6bebe9345d548fbd8f173e72ac4d..c4adc0b3b94e14f2017b98347ddcabd21c2dc415 100644 (file)
--- 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: