PPC ppc-iwp2.2/amd2 (PPCiwpTwoTwo) (* Same as d1 *) { P0:r5=55; P1:r6=66; P0:r1=x; P1:r1=x; P0:r2=y; P1:r2=y; x=0; y=0; }; P0 | P1 ; lwz r6,0,r1 | lwz r5,0,r2 ; stw r5,0,r2 | stw r6,0,r1 ; Observed 0:r6=66; 1:r5=55; << genprog generated/ppc-iwp2.2-amd2-prog.tex essdump generated/ppc-iwp2.2-amd2-ess.dot show 0 >> << show 0 show interesting true readfrom generated/ppc-iwp2.2-amd2-rf.dot >>