From: lkcl <lkcl@web>
Date: Wed, 22 Jun 2022 20:52:06 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1587
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e6d0f2fdc76848e9e6b65b4495a19528d0d7b5f7;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index 19c56d3b4..109db902c 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -61,6 +61,11 @@ Executable pseudocode demo:
 
 # Carry-lookahead
 
+As a single scalar 32-bit instruction, up to 64 carry-propagation bits
+may be computed.  When the output is then used as a Predicate mask it can
+be used to selectively perform the "add carry" of biginteger math, with
+`sv.addi/sm=rN RT.v, RA.v, 1`.
+
 * cprop RT,RA,RB
 * cprop. RT,RA,RB