
PPC CoRR2 (CoTwo)
"Coherence tests, double observer"
{
P0:r5=x ; P0:r1=1 ;
P1:r5=x ; P1:r2=2 ;
P2:r5=x ;
P3:r5=x ;
}
P0 |P1 |P2 |P3 ;
stw r1,0(r5)|stw r2,0(r5)|lwz r1,0(r5)|lwz r1,0(r5);
| |lwz r2,0(r5)|lwz r2,0(r5);
Observed
2:r1=0; 2:r2=2; 3:r1=0; 3:r2=1;
and 2:r1=1; 2:r2=2; 3:r1=0; 3:r2=1;
and 2:r1=0; 2:r2=1; 3:r1=0; 3:r2=2;
and 2:r1=2; 2:r2=1; 3:r1=0; 3:r2=2;
and 2:r1=1; 2:r2=2; 3:r1=0; 3:r2=2;
and 2:r1=0; 2:r2=1; 3:r1=1; 3:r2=2;