Test ppc-iwp2.4/amd9

PPC ppc-iwp2.4/amd9 (PPCiwpTwoFour)
{
 P0:r1 = x; P1:r1 = x;
 P0:r2 = y; P1:r2 = y;
 P0:r5 = 55; P1:r5 = 55;
 x = 0; y = 0;
}
     P0     |      P1     ;
stw r5,0,r1 | stw r5,0,r2 ;
lwz r6,0,r1 | lwz r6,0,r2 ;
lwz r7,0,r2 | lwz r7,0,r1 ;

exists (P0:r7=0 /\ P1:r7 = 0)
<<
genprog generated/ppc-iwp2.4-amd9-prog.tex
essdump generated/ppc-iwp2.4-amd9-ess.dot
show 0
>>
<<
show 0
readfrom generated/ppc-iwp2.4-amd9-rf.dot
>>