From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 9 Oct 2020 11:01:11 +0000 (+0100)
Subject: selectconcat cannot cope yet
X-Git-Tag: convert-csv-opcode-to-binary~2035
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95c694e5e2c3f11ea8b20aaf584058ece38a8d78;p=libreriscv.git

selectconcat cannot cope yet
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 116c98f2e..72fb6ba3c 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -386,7 +386,7 @@ Pseudo-code:
 
     dividend[0:31] <-  (RA)[32:63]
     divisor[0:31] <- (RB) [32:63]
-    if (((dividend = ([0]*31 || [1])) &
+    if (((dividend = 0x8000_0000) &
          (divisor = [1]*32)) |
          (divisor = [0]*32)) then
         RT[0:63] <- undefined([0]*64)