Test ppc-cookbook6.2.1.1.noloop

PPC ppc-cookbook6.2.1.1.noloop (PPCcookbookSixTwoOneOneNoLoop)
{
 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       | cmpwi r12,0  ;
stw r9,0,r2| beq L1       ;
           | sync         ; (* isync enough *)
           | lwz r5,0,r1  ;
           | L1: ;

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