Test ppc-cookbook6.2.1.2.noloop

PPC ppc-cookbook6.2.1.2.noloop (PPCcookbookSixTwoOneTwoNoLoop)
{
 P0:r9=1;
 P0:r1=x; P1:r1=x;
 P0:r5=55; P1:r5=0;
 P0:r2=y; P1:r2=y;
 x = 0; y = 0;
}

    P0     |      P1       ;
           |               ;
stw r5,0,r1|  lwz r12,0,r2 ;
sync       |  mr r3,r12    ;
stw r9,0,r2|               ;
           |  andi. r12, r12,0;
           |  lwzx r5,r12,r1  ;

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