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

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 2cf078747..37b453bb8 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -43,9 +43,9 @@ ternlog has its own major opcode
 
 |  29.30 |31| name      |
 | ------ |--| --------- |
-|   0  0   |Rc| ternlogi  |
-|   0  1   |  | crternlogi |
-|   1 iv   |  | grevlogi |
+|   0  0   |Rc| ternlogi  | TLI-Form |
+|   0  1   |  | crternlogi | TLI-Form |
+|   1 iv   |  | grevlogi | TLI-Form |
 
 2nd major opcode for other bitmanip: minor opcode allocation