PPC i1 (IOne) "RW reordering w. B-cumul barrier" {0:r5=x; 0:r6=y; 0:r1=0; 1:r5=x; 1:r6=y; 2:r6=y; x=0; y=0;} P0 | P1 | P2 ; lwz r1,0(r5) | li r3,2 | lwz r1,0(r6) ; | stw r3,0(r6) | lwz r2,0(r6) ; li r2,1 | sync | ; stw r2,0(r6) | li r4,1 | ; | stw r4,0(r5) | ; Observed 0:r1=1; 2:r1=0; 2:r2=0; y=2; and 0:r1=1; 2:r1=0; 2:r2=1; y=2; and 0:r1=1; 2:r1=1; 2:r2=1; y=2; and 0:r1=1; 2:r1=0; 2:r2=2; y=2; and 0:r1=1; 2:r1=1; 2:r2=2; y=2; and 0:r1=1; 2:r1=2; 2:r2=2; y=2;