From 95c694e5e2c3f11ea8b20aaf584058ece38a8d78 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 9 Oct 2020 12:01:11 +0100
Subject: [PATCH] selectconcat cannot cope yet

---
 openpower/isa/fixedarith.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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