Run PPOCA in model, using ppcmem
PPC PPOCA (PPCPPOTen) "local W can be speculated!!" Com=Rf Fr { 1:r7=y; 1:r8=z; 1:r9=x; 0:r7=y; 0:r8=z; } P0 |P1 ; li r1,1 |lwz r1,0(r7) ; stw r1,0(r8) |cmpwi r1,0 ; sync |beq L00 ; li r2,1 |L00: ; stw r2,0(r7) |li r3,1 ; |stw r3,0(r9) ; |lwz r2,0(r9) ; |xor r10,r2,r2 ; |lwzx r4,r10,r8; locations [1:r1; 1:r4;] exists (1:r1=1 /\ 1:r4=0)