selectconcat cannot cope yet

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 116c98f2e38994323328547464ec648e2d491f76..72fb6ba3c7905c8241a2dacd12bea5a5b00e2907 100644 (file)
--- 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)