(no commit message)

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index c337395c43d9117f1d99a7cf7a9a5f1f3acd96b7..82bb7b353ee066d79e86d71c2ff5711da983d2ad 100644 (file)
--- 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/>