From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 10 Jul 2020 21:01:38 +0000 (+0100)
Subject: alter to actual behaviour
X-Git-Tag: convert-csv-opcode-to-binary~2373
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=073d2ca78fc5148f50b93d2995f50b8f906c0017;p=libreriscv.git

alter to actual behaviour
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index b4acd9316..65425d2ef 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -331,7 +331,7 @@ Pseudo-code:
 
     prod[0:63] <- MULS((RA)[32:63], (RB)[32:63])
     RT[32:63] <- prod[0:31]
-    RT[0:31] <- undefined[0:31]
+    RT[0:31] <- prod[0:31]
 
 Special Registers Altered:
 
@@ -367,7 +367,7 @@ Pseudo-code:
 
     prod[0:63] <- (RA)[32:63] *  (RB)[32:63]
     RT[32:63] <- prod[0:31]
-    RT[0:31] <- undefined[0:31]
+    RT[0:31] <- prod[0:31]
 
 Special Registers Altered: