From daf130a94ebe3b097fe2ca131bfa8d8f2479abf5 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 20 Apr 2022 17:57:27 +0100
Subject: [PATCH]

---
 openpower/sv/biginteger.mdwn | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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]]
-- 
2.30.2