
PPC co6 (CoSix)
"R;W;R coherence"
{
0:r5=x ;
1:r5=x ;
2:r5=x ;
}
P0 | P1 | P2 ;
lwz r2,0(r5)|lwz r2,0(r5)|lwz r2,0(r5);
li r1,1 |li r1,2 |li r1,3 ;
stw r1,0(r5)|stw r1,0(r5)|stw r1,0(r5);
lwz r3,0(r5)|lwz r3,0(r5)|lwz r3,0(r5);
Observed
0:r2=3; 0:r3=2; 1:r2=3; 1:r3=2; 2:r2=0; 2:r3=1;
and 0:r2=3; 0:r3=1; 1:r2=0; 1:r3=1; 2:r2=0; 2:r3=2;
and 0:r2=0; 0:r3=3; 1:r2=1; 1:r3=2; 2:r2=0; 2:r3=2;
and 0:r2=0; 0:r3=2; 1:r2=0; 1:r3=3; 2:r2=1; 2:r3=3;
and 0:r2=0; 0:r3=3; 1:r2=0; 1:r3=1; 2:r2=2; 2:r3=3;
and 0:r2=2; 0:r3=3; 1:r2=0; 1:r3=1; 2:r2=2; 2:r3=3;