From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 28 Sep 2022 20:00:10 +0000 (+0100)
Subject: new revision of dsld
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0a43abe68960962f419b68d0357ad4b4274a9b74;p=openpower-isa.git

new revision of dsld
---

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index b44c4dba..c74c7c46 100644
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -56,14 +56,12 @@ Z23-Form
 Pseudo-code:
 
     sh <- (RB)
-    src <- (RA) || (RT)
-    n <- sh[XLEN-7:XLEN-1]
-    r <- ROTL128(src, n)
-    if sh[XLEN-8] = 0 then
-         m <- MASK(0, XLEN*-1-n, XLEN*2)
-    else m <- [0]*XLEN*2
-    r <- r & m
-    RA <- r[XLEN:XLEN*2-1]
+    hi <- (RT)
+    lo <- (RA)
+    n <- sh[58:63]
+    mask[0:63] <- MASK(0, 63 - n)
+    v[0:63] <- (hi & mask) | (lo & ¬mask)
+    RT <- ROTL64(v, n)
 
 Special Registers Altered: