From 1b211981381ee693b7b664edbf8127390ff56142 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sat, 26 Dec 2020 22:58:53 +0000
Subject: [PATCH]

---
 openpower/sv/bitmanip.mdwn | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index b2045e295..73ba2ba15 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -26,7 +26,7 @@ for every bit perform a lookup into a table using an 8bit immediate
 
 | 0.5|6.10|11.15|16.20| 21..22 | 23...30 |31|  name   |
 | -- | -- | --- | --- | ------ | ------- |--| ------- |
-| NN | RT | RA  | RB  | ??     | im[0:7] |Rc| XL-Form |
+| NN | RT | RA  | RB  | M   0  | im[0:7] |Rc| XL-Form |
 
     for i in range(64):
         idx = RT[i] << 2 | RA[i] << 1 | RB[i]
@@ -36,6 +36,17 @@ bits 21..22 may be used to specify a mode, such as treating the whole integer ze
 
 another mode selection would be CRs not Ints. 
 
+| 0.5|6.8 | 9.11|12.14|15.17|18.21|22 | 23...30 |31|  name   |
+| -- | -- | --- | --- | --- |-----| - | ------- |--| ------- |
+| NN | BT | BA  | BB  | BC  |mask | 1 | im[0:7] |Rc| XL-Form |
+
+    for i in range(4):
+        if not mask[i] continue
+        idx = crregs[BA][i] << 2 |
+              crregs[BB][i] << 1 |
+              crregs[BC][i]
+        crregs[BT][i] = (imm & (1<<idx)) != 0
+
 # single bit set
 
 based on RV bitmanip
-- 
2.30.2