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

---
 openpower/isa/svfixedarith.mdwn | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index 871852c2d..29af1d166 100644
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -32,7 +32,7 @@ Special Registers Altered:
 
 # Twin Multiply and Subtract Doubleword
 
-* msubx RT, RA, RB, RC
+* msubx RT,RA,RB,RC
 
 Pseudocode:
 
@@ -46,12 +46,20 @@ Special Registers Altered:
 
     None
 
+# Twin Add Carry Subtract Doubleword
 
-weirdaddx RT, RA, RB (RS=RT+VL for SVP64, RS=RT+1 for scalar)
+* weirdaddx RT,RA,RB
 
+Pseudocode:
+
+    <!-- (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]
+
+Special Registers Altered:
+
+    None
-- 
2.30.2