Test m2l

PPC m2l  (PPCMTwoLwSync)
"plain iwir,  light barriers"
{
P0:r4=x ; P0:r5=y ; P0:r1=1 ; P0:r2=2 ;
P1:r4=x ; P1:r5=y ; P1:r1=1 ; P1:r2=2 ;
P2:r4=x ; P3:r5=y ;
P2:r1=1 ; P3:r2=2 ;
}

P0           |P1           |P2           |P3           ;
stw r1,0(r4) |stw r1,0(r5) |lwz r1,0(r4) |lwz r1,0(r5) ;
lwsync       |lwsync       |             |             ;
stw r2,0(r5) |stw r2,0(r4) |             |             ;
locations [P2:r1 ; P3:r1 ; x ; y ; ]
~exists (x=1 /\ y=1)