partition: P P P (3 bits)
a : .... .... .... .... (32 bits)
b : .... .... .... .... (32 bits)
- exp-a : ....P....P....P.... (32+3 bits, P=1 if no partition)
+ exp-a : ....P....P....P.... (32+3 bits, P=0 if no partition)
exp-b : ....0....0....0.... (32 bits plus 3 zeros)
exp-o : ....xN...xN...xN... (32+3 bits - x to be discarded)
o : .... N... N... N... (32 bits - x ignored, N is carry-over)
I = P=>c : I I I c (4 bits)
a : AAAA AAAA AAAA AAAA (32 bits)
b : BBBB BBBB BBBB BBBB (32 bits)
- exp-a : 0AAAACAAAACAAAACAAAAc (32+3+2 bits, P=1 if no partition)
+ exp-a : 0AAAACAAAACAAAACAAAAc (32+3+2 bits, P=0 if no partition)
exp-b : 0BBBBIBBBBIBBBBIBBBBc (32+2 bits plus 3 zeros)
exp-o : o....oN...oN...oN...x (32+3+2 bits - x to be discarded)
o : .... N... N... N... (32 bits - x ignored, N is carry-over)