PPC bb7 (BBSeven) "3 proc, st/st ld/ld, sync/lwsync barriers simplification of ppc/ccv3 test" { 0:r5=x ; 1:r5=x ; 1:r6=y; 2:r5=x ; 2:r6=y; } P0 |P1 |P2 ; li r1,1 |lwz r1,0(r5)|li r1,1 ; stw r1,0(r5) |sync |stw r1,0(r6) ; |lwz r2,0(r6)|lwsync ; | |li r2,2 ; | |stw r2,0(r5) ; Observed 1:r1=1; 1:r2=0; x=1;