From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 24 Jul 2020 10:07:49 +0000 (+0100)
Subject: [0*64] should have been [0]*64
X-Git-Tag: convert-csv-opcode-to-binary~2333
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bd0f1cca8b46ff5647398d5e41a90bed8ea4c0b2;p=libreriscv.git

[0*64] should have been [0]*64
https://bugs.libre-soc.org/show_bug.cgi?id=439#c1
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 5f556607e..7edafee2d 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -716,7 +716,7 @@ XO-Form
 Pseudo-code:
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else
@@ -746,7 +746,7 @@ XO-Form
 Pseudo-code:
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else