Test d2

PPC d2 (BasicDTwo)
"Simple sync test, with syncs"
{
 0:r6=1; 0:r4=x; 0:r5=y;
 1:r6=1; 1:r4=x; 1:r5=y;
}

P0                  | P1                   ;
 lwz r2,0,r5    | lwz r2,0,r4      ;
 sync               | sync                 ;
 stw r6,0,r4    | stw r6,0,r5      ;


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