Test i3

PPC i3 (IThree)
"WR reordering, iwp2.3a"

{0:r5=x; 0:r6=y;
 1:r5=x; 1:r6=y;
 x=0; y=0;}

P0           | P1           ;
li r1,1      | li r3,1      ; 
stw r1,0(r5) | stw r3,0(r6) ;
lwz r2,0(r6) | lwz r4,0(r5) ;
             |              ;

locations [0:r2;1:r4;]

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