endeavouring to implement shift-carry-dsld

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

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