From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Tue, 31 Aug 2021 20:00:08 +0000 (+0000)
Subject: fixedshift: switch srawiX to XLEN
X-Git-Tag: xlen-bcd~45
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c49b7007f81181bbc234d0064423c2a040fa2fc3;p=openpower-isa.git

fixedshift: switch srawiX to XLEN
---

diff --git a/openpower/isa/fixedshift.mdwn b/openpower/isa/fixedshift.mdwn
index ecef4c3a..6e73a683 100644
--- a/openpower/isa/fixedshift.mdwn
+++ b/openpower/isa/fixedshift.mdwn
@@ -231,11 +231,11 @@ X-Form
 Pseudo-code:
 
     n <- SH
-    r <- ROTL32((RS)[32:63], 64-n)
-    m <- MASK32(n, 31)
-    s <- (RS)[32]
-    RA <- r&m | ([s]*64)& ¬m
-    carry <- s & ((r&¬m)[32:63] != 0)
+    r <- ROTL32((RS)[XLEN/2:XLEN-1], 64-n)
+    m <- MASK32(n, ((XLEN/2)-1))
+    s <- (RS)[XLEN/2]
+    RA <- r&m | ([s]*XLEN)& ¬m
+    carry <- s & ((r&¬m)[XLEN/2:XLEN-1] != 0)
     CA    <- carry
     CA32  <- carry