From f462e624053e042d7a76ea387e01b3474b87b984 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Mon, 18 Apr 2022 22:32:27 +0100
Subject: [PATCH]

---
 openpower/sv/bitmanip/appendix.mdwn | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/openpower/sv/bitmanip/appendix.mdwn b/openpower/sv/bitmanip/appendix.mdwn
index 4978aae44..9f25e0dbe 100644
--- a/openpower/sv/bitmanip/appendix.mdwn
+++ b/openpower/sv/bitmanip/appendix.mdwn
@@ -1,4 +1,4 @@
-# bog integer multiply
+# big integer multiply
 
 links
 
@@ -29,7 +29,7 @@ of Knuth M: <https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/sv/b
     RT <- sum[64:127]
     RS <- sum[0:63]
 
-**weirdaddx RT, RA, RB** (RS=RB+VL for SVP64, RS=RB+1 for scalar)
+**addxd RT, RA, RB** (RS=RB+VL for SVP64, RS=RB+1 for scalar)
 
     cat[0:127] = (RS) || (RB)
     sum[0:127] = cat + EXTZ(RA)
@@ -46,7 +46,7 @@ These two combine as, simply:
     li r18, 0
     sv.maddx r0.v, r16, r17, r20.v
     # here, RS=RB+VL, therefore again RS starts at r8.v
-    sv.weirdaddx r0.v, r18, r0.v
+    sv.addxd r0.v, r18, r0.v
 
 # big integer division
 
@@ -165,7 +165,7 @@ in order to carry on the algorithm.
     RT <- sub[64:127]
     RS <- sub[0:63]
 
-**weirdsubx RT, RA, RB** (RS=RB+VL for SVP64, RS=RB+1 for scalar)
+**subxd RT, RA, RB** (RS=RB+VL for SVP64, RS=RB+1 for scalar)
 
     cat[0:127] = (RS) || (RB)
     sum[0:127] = cat - EXTS(RA)
@@ -182,7 +182,7 @@ These two combine as, simply:
     li r18, 0
     sv.msubx r0.v, r16, r17, r20.v
     # here, RS=RB+VL, therefore again RS starts at r8.v
-    sv.weirdsubx r0.v, r18, r0.v
+    sv.subxd r0.v, r18, r0.v
 
 As a result, a big-integer subtract and multiply may be carried out
 in only 3 instructions, one of which is setting a scalar integer to
-- 
2.30.2