From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 9 Oct 2020 10:54:03 +0000 (+0100)
Subject: make clear length of constants in divw
X-Git-Tag: convert-csv-opcode-to-binary~2036
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ce2a415a40dda2eeb74070f7e2f27dec8ffd82f;p=libreriscv.git

make clear length of constants in divw
---

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