From 8ce2a415a40dda2eeb74070f7e2f27dec8ffd82f Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 9 Oct 2020 11:54:03 +0100
Subject: [PATCH] make clear length of constants in divw

---
 openpower/isa/fixedarith.mdwn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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
-- 
2.30.2