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

---

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