From: Dmitry Selyutin <ghostmansd@gmail.com>
Date: Tue, 1 Nov 2022 17:37:32 +0000 (+0300)
Subject: Revert "corrections to shadd/uw after reverting to switch"
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e255c07e1ee96394ac304a4ce7a1e9507f106420;p=openpower-isa.git

Revert "corrections to shadd/uw after reverting to switch"

This reverts commit 6484c99953ceeff206a5888c148b9412be1b5656.
---

diff --git a/openpower/isa/bitmanip.mdwn b/openpower/isa/bitmanip.mdwn
index 94fd48ba..89515ec9 100644
--- a/openpower/isa/bitmanip.mdwn
+++ b/openpower/isa/bitmanip.mdwn
@@ -112,10 +112,11 @@ Pseudo-code:
 
     n <- (RB)
     switch (sm)
-        case (0): RT <- (n[1:XLEN-1] || [0]*1) + (RA)
-        case (1): RT <- (n[2:XLEN-1] || [0]*2) + (RA)
-        case (2): RT <- (n[3:XLEN-1] || [0]*3) + (RA)
-        case (3): RT <- (n[4:XLEN-1] || [0]*4) + (RA)
+        case (0): sum[0:XLEN-1] = (n[0:XLEN-1-1] || [0]*1) + (RA)
+        case (1): sum[0:XLEN-1] = (n[0:XLEN-2-1] || [0]*2) + (RA)
+        case (2): sum[0:XLEN-1] = (n[0:XLEN-3-1] || [0]*3) + (RA)
+        default:  sum[0:XLEN-1] = (n[0:XLEN-4-1] || [0]*4) + (RA)
+    RT <- sum
 
 Special Registers Altered:
 
@@ -132,10 +133,11 @@ Pseudo-code:
 
     n <- ([0]*(XLEN/2)) || (RB)[XLEN/2:XLEN-1]
     switch (sm)
-        case (0): RT <- (n[1:XLEN-1] || [0]*1) + (RA)
-        case (1): RT <- (n[2:XLEN-1] || [0]*2) + (RA)
-        case (2): RT <- (n[3:XLEN-1] || [0]*3) + (RA)
-        case (3): RT <- (n[4:XLEN-1] || [0]*4) + (RA)
+        case (0): sum[0:XLEN-1] = (n[0:XLEN-1-1] || [0]*1) + (RA)
+        case (1): sum[0:XLEN-1] = (n[0:XLEN-2-1] || [0]*2) + (RA)
+        case (2): sum[0:XLEN-1] = (n[0:XLEN-3-1] || [0]*3) + (RA)
+        default:  sum[0:XLEN-1] = (n[0:XLEN-4-1] || [0]*4) + (RA)
+    RT <- sum
 
 Special Registers Altered: