Test CO-SB

PPC CO-SB

{0:r2=x; 1:r2=x;}

 P0           | P1           ;
 li r0,1      | li r0,2      ;
 stw r0,0(r2) | stw r0,0(r2) ;
 lwz r1,0(r2) | lwz r1,0(r2) ;

exists (0:r1=2 /\ 1:r1=1)