From: lkcl <lkcl@web>
Date: Sun, 17 Apr 2022 17:32:24 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2748
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=022dc2d2fac51ca5fde829d210d915d3d0c1bd07;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip/appendix.mdwn b/openpower/sv/bitmanip/appendix.mdwn
index 7f7f32ef0..359e94f1f 100644
--- a/openpower/sv/bitmanip/appendix.mdwn
+++ b/openpower/sv/bitmanip/appendix.mdwn
@@ -155,7 +155,10 @@ These two combine as, simply:
 
 ## EXT004 Opcode map
 
-See Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357
+See Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357.
+Proposed is the addition of `msubxd` (**DRAFT, NOT APPROVED**) which is
+not proposed for addition in `110010` because the left half is all
+`madd*`.  A corresponding `maddxd` could be added into `110010`
 
 | 110000 | 110001  | 110010  | 110011 | 110100 | 110101 | 110110 | 110111 |
 | ------ | ------- | ------- | ------ | ------ | ------ | ------ | ------ |