From: lkcl <lkcl@web>
Date: Sun, 14 Feb 2021 19:44:17 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~176
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0823a08b5ba8077696abcf5918e8fcc973e17a90;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 3e7fd2d2a..25cd54eaf 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -249,7 +249,7 @@ bmrev however there is no direct equivalent and consequently a bmrevi is require
 | -- | -- | --- | --- | --- | ------- |--| ----- |
 | NN | RT | RA  | RB  | RC  | mode 010 |Rc| bm*   |
 | NN | RT | RA  | RB  | RC  | 0 1  111 |Rc| bmrev |
-| NN |    |     |     |     | 1 1  111 |Rc| rsvd |
+
 
 ```
 uint_xlen_t bmset(RA, RB, sh)
@@ -576,10 +576,14 @@ if __name__ == "__main__":
 ## GF add
 
     RS = GFADD(RS, RA|0, gfdegree, modulo=RB)
+    RS = GFADDI(RS, RA|0, gfdegree=RC, modulo=RB)
 
-| 0.5|6.10|11.15|16.20|21.25| 26..30  |31|
-| -- | -- | --- | --- | --- | ------- |--|
-| NN | RS | RA  | RB  | deg | 01  011 |Rc|
+| 0.5|6.10|11.15|16.20|21.25| 26..30  |31| name  |
+| -- | -- | --- | --- | --- | ------- |--| ----- |
+| NN | RS | RA  | RB  | RC  | 0 1  011 |Rc| gfadd |
+| NN | RS | RA  | RB  | RC  | 1 1  111 |Rc| gfaddi |
+
+GFMOD is a pseudo-op where RA=0
 
 ## gf invert
 
@@ -615,10 +619,6 @@ def gf_invert(a, mod=0x1B) :
   return g1
 ```
 
-## GF mod
-
-modulo arithmetic to ensure a polynomial is in range seems sensible to have.
-
 # bitmatrix
 
 ```