(no commit message)

diff --git a/openpower/sv/biginteger.mdwn b/openpower/sv/biginteger.mdwn
index 0663afce238066632d784f7cbef25fd19834fdca..b23fea1e08d227e741c62a08d4e01b1ceddcf5e3 100644 (file)
--- 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|