From: lkcl <lkcl@web>
Date: Fri, 11 Mar 2022 23:05:42 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~3095
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98ef824d0c04bbf24c2d3ecafaa6c355878ee76d;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index cc0228d43..09b504222 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -37,7 +37,10 @@ ternlog has its own major opcode
 
 |  29.30 |31| name      |
 | ------ |--| --------- |
-|   00   |Rc| ternlog   |
+|   00   |Rc| ternlogi  |
+|   01   |0 | ternlog   |
+|   01   |1 | ternlogv  |
+|   10   |0 | crternlog |
 
 minor opcode allocation