From: lkcl <lkcl@web>
Date: Wed, 20 Apr 2022 16:57:27 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2673
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=daf130a94ebe3b097fe2ca131bfa8d8f2479abf5;p=libreriscv.git

---

diff --git a/openpower/sv/biginteger.mdwn b/openpower/sv/biginteger.mdwn
index 831879c97..e0aae5110 100644
--- a/openpower/sv/biginteger.mdwn
+++ b/openpower/sv/biginteger.mdwn
@@ -164,12 +164,21 @@ fact big-integer multiply (more specifically, mul-and-subtract).
 
 # Instructions
 
-**DRAFT** These are both VA-Form:
+**DRAFT** Both `madded` and `msubed` are VA-Form:
 
 |0.....5|6..10|11..15|16..20|21..25|26..31|
 |-------|-----|------|------|------|------|
 | EXT04 | RT  |  RA  |  RB  |   RC |  XO  |
 
+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 `msubed` (**DRAFT, NOT APPROVED**) which is
+in `110110`.  A corresponding `madded` is proposed for `110010`
+
+| 110000 | 110001  | 110010 | 110011 | 110100 | 110101 | 110110 | 110111 |
+| ------ | ------- | ------ | ------ | ------ | ------ | ------ | ------ |
+| maddhd | maddhdu | madded | maddld | rsvd   | rsvd   | msubed | rsvd   |
+
 # Appendix
 
 see [[appendix]]