PPC cc2 (CCTwo) "Double sync test, store-sync-load|store-sync-load" { 0:r2=2; 0:r4=x; 1:r2=2; 1:r5=y; 2:r1=1; 2:r4=x; 2:r5=y; 3:r1=1; 3:r4=x; 3:r5=y; } P0 | P1 |P2 |P3 ; stw r2,0(r4)|stw r2,0(r5)|stw r1,0,r4 |stw r1,0,r5 ; | |sync |sync ; | |lwz r2,0,r5 |lwz r2,0,r4 ; locations [x;y] ~exists (2:r2=0 /\ 3:r2=0)