(no commit message)

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index 96e272fb0d61d4510172ff8085b7a9e724c6899e..eed87987294c878c2ddd1bbff07a5067b802c8e2 100644 (file)
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -57,7 +57,7 @@ Pseudocode:
     cat[0:127] = (RB) || (RS)
     sum[0:127] = cat + EXTZ(RA) - 1
     rhi[0:63] = sum[0:63]
-    if (RA) <= 1 then rhi = rhi + 1
+    if (RA)[0:62] = [0]*63 then rhi = rhi + 1
     RA = rhi
     RT = sum[64:127]