Test CoRR3

PPC CoRR3 
"Coherence tests, load/load hasard (was coa)"
{
P0:r5=x ;
P1:r5=x ;
}
P0          |P1          ;
li r1,1     |li r1,2     ;
stw r1,0(r5)|stw r1,0(r5);
lwz r2,0(r5)|            ;
lwz r3,0(r5)|            ;

locations [0:r2; 0:r3;]
exists (0:r2=2 /\ 0:r3=1)