dsld: MASK(0, 63-n) works just as well as MASK(64, 63-n).

also fix "overflow" pseudocode

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index 6d82b896b440b87e21efc078fe1abd80d4962387..4c624a3adc5c12cccace4756bcd20bdac4223cf4 100644 (file)
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -57,12 +57,12 @@ Pseudo-code:
 
     n <- (RB)[58:63]
     v <- ROTL64((RA), n)
-    mask <- MASK(64, 63-n)
+    mask <- MASK(0, 63-n)
     RT <- (v[0:63] & mask) | ((RC) & ¬mask)
     RS <- v[0:63] & ¬mask
-    overflow = 0
-    if RS != [0]*64:
-        overflow = 1
+    overflow <- 0
+    if RS != [0]*64 then
+        overflow <- 1
 
 Special Registers Altered:
 
@@ -82,9 +82,9 @@ Pseudo-code:
     mask <- MASK(n, 63)
     RT <- (v[0:63] & mask) | ((RC) & ¬mask)
     RS <- v[0:63] & ¬mask
-    overflow = 0
-    if RS != [0]*64:
-        overflow = 1
+    overflow <- 0
+    if RS != [0]*64 then
+        overflow <- 1
 
 Special Registers Altered: