Test CO-SBI

…

PPC CO-SBI

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

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

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