From: lkcl <lkcl@web>
Date: Sun, 15 May 2022 20:48:48 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2217
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2036597905836c571aa554c6f9c37ab27d187ef;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 4cd27e350..06de1d058 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -44,7 +44,7 @@ ternlog has its own major opcode
 |  29.30 |31| name      |
 | ------ |--| --------- |
 |   0  0   |Rc| ternlogi  |
-|   0  1   |  | rsvd      |
+|   0  1   |  | crternlogi |
 |   1 iv   |  | grevlogi |
 
 2nd major opcode for other bitmanip: minor opcode allocation
@@ -52,8 +52,9 @@ ternlog has its own major opcode
 |  28.30 |31| name      |
 | ------ |--| --------- |
 |  -00   |0 | xpermi    |
-|  -00   |1 | grevlog   |
-|  -01   |  | crternlog  |
+|  -00   |1 | rsvd      |
+|  -01   |0 | grevlog     |
+|  -01   |1 | grevlogw     |
 |  010   |Rc| bitmask   |
 |  011   |  | SVP64  |
 |  110   |Rc| 1/2-op    |