Test j1

PPC j1 (JOne)
"Non-global rf"
{
0:r4=x ; 0:r5=y ; 0:r2=1 ; 0:r6=z ; 0:r3=3 ;
1:r4=x ; 1:r1=1 ; 1:r2=2 ;
2:r4=x ; 2:r6=z ;
}
P0           | P1           | P2           ;
lwz r1,0(r4) | stw r1,0(r4) | lwz r1,0(r6) ;
xor r9,r1,r1 |              | xor r9,r1,r1 ;
stwx r3,r9,r6|              | lwzx r2,r9,r4 ;

exists (0:r1=1 /\  2:r1=3 /\  2:r2=0)
(* locations [0:r1 ; 2:r1 ; 2:r2 ; z]*)