From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 28 Oct 2022 12:23:08 +0000 (+0100)
Subject: fix dsrd pseudocode to use ROTL64 not ROTL128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f961668d8be875dff43e8b2229acf65c779c9146;p=openpower-isa.git

fix dsrd pseudocode to use ROTL64 not ROTL128
---

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