Added entries for cprop, not sure if correct

diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn
index 2498163c482740514f3e6ab37307e2532782115d..c10ed3f5144e819e95fcae009d1790ae58748a50 100644 (file)
--- a/openpower/isa/av.mdwn
+++ b/openpower/isa/av.mdwn
@@ -151,3 +151,20 @@ Pseudo-code:
 Special Registers Altered:
 
     CR0                     (if Rc=1)
+
+# Carry Propagate
+
+X-Form
+
+* cprop RT,RA,RB (Rc=0)
+* cprop RT,RA,RB (Rc=1)
+
+Pseudo-code:
+
+    P <- (RA)
+    G <- (RB)
+    RT <- ((P|G)+G)^P 
+
+Special Registers Altered:
+
+    CR0                    (if Rc=1)

diff --git a/openpower/isatables/minor_22.csv b/openpower/isatables/minor_22.csv
index da486736bbc33e36bd2b2389e29db0579c2241e7..1129ce3a73cbe3f936543abff6fcf5c5d2537aac 100644 (file)
--- a/openpower/isatables/minor_22.csv
+++ b/openpower/isatables/minor_22.csv
@@ -12,3 +12,4 @@ opcode,unit,internal op,in1,in2,in3,out,CR in,CR out,inv A,inv out,cry in,cry ou
 1001110110-,ALU,OP_ABSDIFF,RA,RB,NONE,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,absds,X,,1,unofficial until submitted and approved/renumbered by the opf isa wg
 1111110110-,ALU,OP_ABSADD,RA,RB,RT,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,absdacu,X,,1,unofficial until submitted and approved/renumbered by the opf isa wg
 0111110110-,ALU,OP_ABSADD,RA,RB,RT,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,absdacs,X,,1,unofficial until submitted and approved/renumbered by the opf isa wg
+0110001110-,ALU,OP_CPROP,RA,RB,NONE,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,cprop,X,,1,unofficial until submitted and approved/renumbered by the opf isa wg