Test ppc-adir1v2

PPC ppc-adir1v2 (PPCAdirOneTwo)
{
 P0:r1=1; P0:r2=x;
 P0:r5=x; P1:r5=x;
 P0:r6=y; P1:r6=y;
 x = 0; y = z; z = 2;
}

    P0       |      P1       ;
             |               ;
stw r1,0,r5  | ld r3,0,r6   ;
sync         |               ;
std r2,0,r6  | lwz r4,0,r3   ;

exists (1:r3=x /\ 1:r4=0)
<<
genprog generated/ppc-adir1v2-prog.tex
show 0
essdump generated/ppc-adir1v2-ess.dot
>>
<<
show 0 of ess 0
show interesting true
readfrom generated/ppc-adir1v2-rf.dot
>>