From: Andrey Miroshnikov Date: Wed, 22 Jun 2022 12:06:52 +0000 (+0100) Subject: Added entries for cprop, not sure if correct X-Git-Tag: sv_maxu_works-initial~372 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1273502a1d60b3772aa69376278b9d9eb79598b9;p=openpower-isa.git Added entries for cprop, not sure if correct --- 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