
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;