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

---

diff --git a/openpower/sv/biginteger/appendix.mdwn b/openpower/sv/biginteger/appendix.mdwn
index 586d5f3c0..8c035aec9 100644
--- a/openpower/sv/biginteger/appendix.mdwn
+++ b/openpower/sv/biginteger/appendix.mdwn
@@ -216,12 +216,3 @@ zero.
 An Rc=1 variant tests not against RT but RA, which allows detection
 of a fixup in Knuth Algorithm D: the condition where RA is not zero.
 
-# EXT004 Opcode map
-
-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
-in `110110`.  A corresponding `maddxd` is proposed for `110010`
-
-| 110000 | 110001  | 110010 | 110011 | 110100 | 110101 | 110110 | 110111 |
-| ------ | ------- | ------ | ------ | ------ | ------ | ------ | ------ |
-| maddhd | maddhdu | maddxd | maddld | rsvd   | rsvd   | msubxd | rsvd   |