shadd pseudocode cleanup

diff --git a/openpower/isa/bitmanip.mdwn b/openpower/isa/bitmanip.mdwn
index 0863a5cbd1c4bdace4691b8f633609f5e14296e6..93abde3ceecbdd8b2d3eb0bcac6955f7e881ba60 100644 (file)
--- a/openpower/isa/bitmanip.mdwn
+++ b/openpower/isa/bitmanip.mdwn
@@ -109,15 +109,12 @@ Z23-Form
 
 Pseudo-code:
 
+    n <- (RB)
     switch (sm)
-        case (0):
-            sum[0:XLEN-1] <- (((RB)[0:XLEN-1-1] || [0]*1) + (RA))
-        case (1):
-            sum[0:XLEN-1] <- (((RB)[0:XLEN-2-1] || [0]*2) + (RA))
-        case (2):
-            sum[0:XLEN-1] <- (((RB)[0:XLEN-3-1] || [0]*3) + (RA))
-        default:
-            sum[0:XLEN-1] <- (((RB)[0:XLEN-4-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:
@@ -133,16 +130,12 @@ Z23-Form
 
 Pseudo-code:
 
-    n <- (([0]*(XLEN/2)) || (RB)[XLEN/2:XLEN-1])
+    n <- ([0]*(XLEN/2)) || (RB)[XLEN/2:XLEN-1]
     switch (sm)
-        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))
+        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: