PPC SB0030 "SyncdWR Fre PosWW PodWW PosWR Fre" Cycle=Fre PosWW PodWW PosWR Fre SyncdWR Relax=[Fre,SyncdWR,Fre] Safe=PosWW PosWR PodWW Prefetch=0:x=F,0:y=T,1:y=F,1:x=T Com=Fr Fr Orig=SyncdWR Fre PosWW PodWW PosWR Fre { 0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x; } P0 | P1 ; li r1,2 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) ; sync | li r3,2 ; lwz r3,0(r4) | stw r3,0(r2) ; | li r4,1 ; | stw r4,0(r5) ; | lwz r6,0(r5) ; Observed 0:r3=1; 1:r6=1; x=2; y=2; and 0:r3=1; 1:r6=2; x=2; y=2;