Test susv2

PPC susv2 (PPCSusTwo)
{
0:r5=x; 0:r6=y;
1:r6=y; 1:r7=z;
2:r7=z; 2:r5=x;
}
P0           |P1           |P2            ;
li r8,1      |lwz r2,0(r6) |li r8,3       ;
stw r8,0(r5) |xor r9,r2,r2 |stw r8,0(r7)  ;
sync         |lwzx r3,r9,r7|sync          ;
li r9,2      |             |lwz r1,0(r5)  ;
stw r9,0(r6) |             |              ;

locations [1:r2; 1:r3; 2:r1;]
exists (1:r2=2 /\ 1:r3=0 /\ 2:r1=0)