PPC ppc-cookbook6.4.noloop (PPCcookbookSixFourNoLoop)
{
P0:r1 = 1; P1:r1=1; P2:r1=0 ;
P0:r2 = x; P1:r2=x; P1:r3=y; P2:r3=y;P2:r2=x;
x=0;y=0; P1:r12=0; P2:r12=0;
}
P0 | P1 | P2 ;
| | ;
stw r1,0,r2| lwz r12,0,r2 | lwz r12,0,r3 ;
| cmpwi r12,1 | cmpwi r12,1 ;
| bne L1 | bne L2 ;
(* No spec store *) (* enforce local dep. *)
| stw r1,0,r3 | xor r13,r12,r12 ;
| | lwzx r1,r13,r2 ;
| L1: | L2: ;
exists (P2:r12=1 /\ P2:r1=0)
<<
genprog generated/ppc-cookbook6.4.noloop-prog.tex
essdump generated/ppc-cookbook6.4.noloop-ess.dot
show 0
>>
<<
show all
show interesting true
readfrom generated/ppc-cookbook6.4.noloop-rf.dot
>>