Test c7

PPC c7 (BasicCSeven)
"Simple sync test, 2lwsyc"
{
 0:r1=1; 0:r4=x; 0:r5=y;
 1:r1=1; 1:r4=x; 1:r5=y;
}

P0              | P1             ;
 stw r1,0,r4    | stw r1,0,r5    ;
 lwsync         | lwsync         ;
 lwzx r2,r0,r5  | lwzx r2,r0,r4  ;

exists (0:r2=0 /\ 1:r2=0)