fix dsld pseudocode to use ROTL64 instead of ROTL128

[openpower-isa.git] / openpower / isa / svfixedarith.mdwn

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index e9e4beabb49b8ee2bd255db15a6c53526548fa3c..0de85f2783351f6bb6e46a007c5caba77d665727 100644 (file)
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -56,10 +56,10 @@ VA2-Form
 Pseudo-code:
 
     n <- (RB)[58:63]
-    v <- ROTL128([0]*64 || (RA), n)
-    mask <- ¬MASK(64, 63-n)
-    RT <- v[64:127] | ((RC) & mask)
-    RS <- v[0:63]
+    v <- ROTL64((RA), n)
+    mask <- MASK(64, 63-n)
+    RT <- (v[0:63] & mask) | ((RC) & ¬mask)
+    RS <- v[0:63] & ¬mask
 
 Special Registers Altered: