projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 69c1f44)
fixedarith: switch mullwX to XLEN
authorDmitry Selyutin <dmitry.selyutin@3mdeb.com>
Mon, 23 Aug 2021 18:55:01 +0000 (18:55 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 30 Aug 2021 15:04:17 +0000 (16:04 +0100)
openpower/isa/fixedarith.mdwn patch | blob | history

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