nibbles_need_sixes <- ¬carries[0:XLEN-1] & ones
RT <- nibbles_need_sixes * 0b0110
+Description:
+
+ The contents of register RA are added to the contents
+ of register RB. Sixteen carry bits are produced, one
+ for each carry out of decimal position n (bit posi-
+ tion 4xn).
+
+ A doubleword is composed from the 16 carry bits, and
+ placed into RT. The doubleword consists of a decimal
+ six (0b0110) in every decimal digit position for which
+ the corresponding carry bit is 0, and a zero (0b0000) in
+ every position for which the corresponding carry bit is
+ 1.
+
Special Registers Altered:
None