(no commit message)

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index 19c56d3b4cdb08cb94cce67813760ccdf98fee31..109db902c6dacef1a5cbb836268a9c70a1453e1c 100644 (file)
--- 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