Test ppo9

…

PPC ppo9 (PPCPPONine)
"fr in ppo"
{
0:r7=y; 0:r8=z;
1:r7=y; 1:r8=z;
}
P0            |P1           ;
lwz r1,0(r7)  |li r1,1      ;
li r3,3       |stw r1,0(r8) ;
stw r3,0(r7)  |sync         ;
li r3,4       |             ;
stw r3,0(r7)  |             ;
lwz r4,0(r7)  |li r2,2      ;
xor r10,r4,r4 |stw r2,0(r7) ;
lwzx r2,r10,r8|             ;

locations [0:r1; 0:r2; y; 0:r4;]
exists (0:r1=2 /\ 0:r2=0)