PPC PPC-SB-BIS-F "Rfi PodRR Fre PodWW Wse" {0:r2=y; 0:r5=x; 1:r2=x; 1:r4=y; 1:r6=b; 1:r9=a; 0:r7=a; 0:r9=b;} P0 | P1 ; li r6,1 | li r1,1 ; li r1,2 | stw r1,0(r2) ; stw r1,0(r2) | li r5,2 ; stw r6,0(r7) | li r3,1 ; sync | stw r5,0(r6) ; lwz r3,0(r2) | lwz r7,0(r6) ; sync | lwsync ; li r8,1 | stw r3,0(r4) ; lwz r4,0(r5) | sync ; stw r8,0(r9) | lwz r8,0(r9) ; exists (y=2 /\ 0:r3=2 /\ 0:r4=0 \/ b=2 /\ 1:r7=2 /\ 1:r8=0)