From 01ca04fcd4494756baab8a202c1a1919b5c2d160 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 22 Jun 2022 11:34:12 +0100
Subject: [PATCH]

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

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index c337395c4..82bb7b353 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -119,6 +119,21 @@ Executable pseudocode demo:
 
 # Carry-lookahead
 
+* cprop RT,RA,RB
+* cprop. RT,RA,RB
+
+pseudocode:
+
+    P = (RA)
+    G = (RB)
+    RT = ((P|G)+G)^P 
+
+X-Form
+
+| 0.5|6.10|11.15|16.20| 21..30     |31| name      |  Form   |
+| -- | -- | --- | --- | ---------  |--| ----      | ------- |
+| NN | RT | RA  | RB  | 0110001110 |Rc|     cprop | X-Form  |
+
 used not just for carry lookahead, also a special type of predication mask operation.
 
 * <https://www.geeksforgeeks.org/carry-look-ahead-adder/>
-- 
2.30.2