Test i5

PPC i5 (IFive)
"internal rf"

{0:r5=x; 0:r6=y; 0:r1=0; 0:r2=0; 0:r8=0; 0:r9=0;
 1:r5=x; 1:r6=y; 1:r3=0; 1:r4=0; 1:r7=0; 1:r8=0;
 x=0; y=0;}

P0            | P1            ;
li r8,1       | li r7,1       ; 
stw r8,0(r5)  | stw r7,0(r6)  ;
lwz r1,0(r5)  |               ;
xor r9,r1,r1  | lwz r3,0(r6)  ;
lwzx r2,r9,r6 | xor r8,r3,r3  ;
              | lwzx r4,r8,r5 ;

locations [0:r1;0:r2;1:r3;1:r4;]

exists(0:r1=1 /\ 0:r2=0 /\ 1:r3=1 /\ 1:r4=0)