From cb683d9b9e6b40994d858a2a1f38902b84a1728e Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 17 Apr 2022 23:04:04 +0100
Subject: [PATCH]

---
 openpower/isa/svfixedarith.mdwn | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index a08c54356..871852c2d 100644
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -29,3 +29,29 @@ Pseudo-code:
 Special Registers Altered:
 
     None
+
+# Twin Multiply and Subtract Doubleword
+
+* msubx RT, RA, RB, RC
+
+Pseudocode:
+
+    <!-- (RS=RT+VL for SVP64, RS=RT+1 for scalar) />
+    prod[0:127] = (RA) * (RB)
+    sub[0:127] = EXTZ(RC) - prod
+    RT <- sub[64:127]
+    RS <- sub[0:63]
+
+Special Registers Altered:
+
+    None
+
+
+weirdaddx RT, RA, RB (RS=RT+VL for SVP64, RS=RT+1 for scalar)
+
+    cat[0:127] = (RB) || (RS)
+    sum[0:127] = cat + EXTZ(RA) + [1]*128
+    rhi[0:63] = sum[0:63]
+    if (RA) <= 1 then rhi = rhi + ([0]*63 || 1)
+    RA = rhi
+    RT = sum[64:127]
-- 
2.30.2