PPC dp1 (PPCDPOne)
"examples of ppo;rf cycles"
{
0:r5=x; 0:r6=y;
1:r5=x; 1:r6=y;
x=0; y=0;
}
P0 | P1 ;
lwz r1,0(r5) |lwz r1,0(r6) ;
cmpwi r1,0 |cmpwi r1,0 ;
bne L0 |bne L1 ;
li r2,1 |li r2,1 ;
stw r2,0(r6) |stw r2,0(r5) ;
L0: |L1: ;
exists (0:r1=1 /\ 1:r1=1)