From e6d0f2fdc76848e9e6b65b4495a19528d0d7b5f7 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 22 Jun 2022 21:52:06 +0100
Subject: [PATCH]

---
 openpower/sv/vector_ops.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

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
 
-- 
2.30.2