From: lkcl <lkcl@web>
Date: Fri, 19 Feb 2021 19:49:09 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~148
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=786e1637154f701c1becf143a6f1eb8a671ea1e0;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index c954b8ab4..05d6fa680 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -271,7 +271,13 @@ used not just for carry lookahead, also a special type of predication mask opera
 
 Stackoverflow algorithm `((P|G)+G)^P` works on the cumulated bits of P and G from associated vector units (P and G are integers here).  The result of the algorithm is the new carry-in which already includes ripple, one bit of carry per element.
 
-
+    At each id, compute C[id] = A[id]+B[id]+0
+    Get G[id] = C[id] > radix -1
+    Get P[id] = C[id] == radix-1
+    Join all P[id] together, likewise G[id]
+    Compute newC = ((P|G)+G)^P << 1
+    result[id] = (C[id] + newC[id]) % radix
+    
 
 two versions: scalar int version and CR based version.