From 1273502a1d60b3772aa69376278b9d9eb79598b9 Mon Sep 17 00:00:00 2001 From: Andrey Miroshnikov Date: Wed, 22 Jun 2022 13:06:52 +0100 Subject: [PATCH] Added entries for cprop, not sure if correct --- openpower/isa/av.mdwn | 17 +++++++++++++++++ openpower/isatables/minor_22.csv | 1 + 2 files changed, 18 insertions(+) diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn index 2498163c..c10ed3f5 100644 --- 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 da486736..1129ce3a 100644 --- 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 -- 2.30.2