Test co6

…

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);
locations [0:r2; 0:r3; 1:r2; 1:r3; 2:r2; 2:r3;]
exists (true)