Test ppc-iwp2.5/amd8

PPC ppc-iwp2.5/amd8 (PPCiwpTwoFive)
{
 P0:r1 = x; P1:r1 = x; P2:r1 = x;
 P0:r8 = 1; P1:r8 = 1; 
            P1:r2 = y; P2:r2 = y;
 x = 0; y = 0;
}

   P0       |   P1        |   P2        ;
stw r8,0,r1 | lwz r5,0,r1 | lwz r6,0,r2 ;
            | stw r8,0,r2 | lwz r5,0,r1 ;

exists (P1:r5 = 1 /\ P2:r6 = 1 /\ P2:r5 = 0);
<<
genprog generated/ppc-iwp2.5-amd8-prog.tex
essdump generated/ppc-iwp2.5-amd8-ess.dot
show 3
>>
<<
show 0 of ess 3
readfrom generated/ppc-iwp2.5-amd8-rf.dot
>>