From: lkcl <lkcl@web>
Date: Sat, 22 Oct 2022 15:45:51 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~54
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dcdd0c2c661251eace4ffece982acb3543b57594;p=libreriscv.git

---

diff --git a/openpower/sv/biginteger.mdwn b/openpower/sv/biginteger.mdwn
index 0663afce2..b23fea1e0 100644
--- a/openpower/sv/biginteger.mdwn
+++ b/openpower/sv/biginteger.mdwn
@@ -176,11 +176,16 @@ Pseudo-code:
 
 For the Opcode map (XO Field)
 see Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357.
-Proposed is the addition of `maddedu` (**DRAFT, NOT APPROVED**) in `110010`
-and `divmod2du` in `110100`
-
-|v >|   000|   001 |   010    |   011|   100       |   101|   110|   111|
-|---|------|-------|----------|------|-------------|------|------|------|
-|110|maddhd|maddhdu|**maddedu**|maddld|dsld  |dsld.  |dsrd |dsrd. |
-|111|pcdec.|rsvd|**divmod2du**|vpermr|vaddequm|vaddecuq|vsubeuqm|vsubecuq|
+Proposed is the addition of:
+
+* `maddedu` in `110010`
+* `divmod2du` in `111010`
+* `dsld` in `11010-`
+* `dsrd` in `11011-`
+* `pcdec` in `111000`
+
+|v >|   000|   001 |   010    |   011|   100  |   101 |   110   |   111  |
+|---|------|-------|----------|------|--------|-------|---------|--------|
+|110|maddhd|maddhdu|maddedu   |maddld|dsld    |dsld.  |dsrd     |dsrd.   |
+|111|pcdec.|rsvd   |divmod2du |vpermr|vaddequm|vaddecuq|vsubeuqm|vsubecuq|