Run RSW in model, using ppcmem
PPC RSW (PPCPPOOne) "is RR to same location in ppo?" { 1:r6=x; 1:r7=y; 1:r8=z; 0:r7=y; 0:r8=z; } P0 |P1 ; li r1,1 |lwz r1,0(r7) ; stw r1,0(r8) |xor r9,r1,r1 ; sync |lwzx r3,r9,r6 ; li r2,2 |lwz r4,0(r6) ; stw r2,0(r7) |xor r10,r4,r4 ; |lwzx r2,r10,r8; locations [1:r1; 1:r2;] exists (1:r1=2 /\ 1:r2=0)