(no commit message)

diff --git a/openpower/sv/bitmanip/appendix.mdwn b/openpower/sv/bitmanip/appendix.mdwn
index 4978aae4482c0c4b5b60e3d7077584223b8cf0e4..9f25e0dbea99120cc7655cd3ca3b999c65f25ed8 100644 (file)
--- 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