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

---

diff --git a/openpower/sv/bitmanip/appendix.mdwn b/openpower/sv/bitmanip/appendix.mdwn
index 806788f15..603d3dc4b 100644
--- a/openpower/sv/bitmanip/appendix.mdwn
+++ b/openpower/sv/bitmanip/appendix.mdwn
@@ -153,3 +153,9 @@ These two combine as, simply:
     sv.msubx r0.v, r16, r24.v, r32.v
     sv.weirdaddx r0.v, r40, r8.v
 
+## EXT004 Opcode map
+
+See Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357
+
+| 110000 | 110001  | 110010  | 110011 | 110100 | 110101 | 110110 | 110111 |
+| maddhd | maddhdu | maddxd? | maddld | rsvd   | rsvd   | msubxd | rsvd   |