From: lkcl <lkcl@web>
Date: Mon, 18 Apr 2022 21:32:27 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2711
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f462e624053e042d7a76ea387e01b3474b87b984;p=libreriscv.git

---

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