From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 11 Jul 2020 10:17:54 +0000 (+0100)
Subject: whoops indices too long
X-Git-Tag: convert-csv-opcode-to-binary~2369
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=adc9c9cbe839d3fcf83bf5a754fecdc35933d907;p=libreriscv.git

whoops indices too long
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 8f71e8b1f..75bf9faa0 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -350,11 +350,8 @@ Pseudo-code:
 
     prod[0:63] <- MULS((RA)[32:63], (RB)[32:63])
     RT <- prod
-    if ((prod[32:64] != 0x0000_0000) &
-        (prod[32:64] != 0xffff_ffff)) then
-        overflow <- 1
-    else
-        overflow <- 0
+    overflow <- ((prod[32:63] != 0x0000_0000) &
+                 (prod[32:63] != 0xffff_ffff))
 
 Special Registers Altered: