Test cc3

PPC cc3 (CCThree)
"Double sync test, store-sync-load|store-lwsync-load"
{
 0:r2=2; 0:r4=x;
 1:r2=2; 1:r5=y;
 2:r1=1; 2:r4=x; 2:r5=y;
 3:r1=1; 3:r4=x; 3:r5=y;
}

P0          | P1         |P2             |P3            ;
stw r2,0(r4)|stw r2,0(r5)|stw r1,0,r4    |stw r1,0,r5   ;
            |            |sync           |lwsync          ;
            |            |lwz r2,0,r5    |lwz r2,0,r4   ;

locations [x;y]
exists (2:r2=0 /\ 3:r2=0)