Test ATOM02

AArch64 ATOM02
"PodWRPX FreXP PodWRPX FreXP"
Prefetch=0:x=F,0:y=T,1:y=F,1:x=T
Com=Fr Fr
Orig=PodWRPX FreXP PodWRPX FreXP
{ ok=1;
0:X1=x; 0:X2=y; 0:X6=ok;
1:X1=y; 1:X2=x; 1:X6=ok;
}
 P0              | P1              ;
 MOV W0,#1       | MOV W0,#1       ;
 STR W0,[X1]     | STR W0,[X1]     ;
 LDXR W3,[X2]    | LDXR W3,[X2]    ;
 STXR W4,W3,[X2] | STXR W4,W3,[X2] ;
 CBNZ W4,Fail0   | CBNZ W4,Fail1   ;
 B Exit0         | B Exit1         ;
 Fail0:          | Fail1:          ;
 MOV W5,#0       | MOV W5,#0       ;
 STR W5,[X6]     | STR W5,[X6]     ;
 Exit0:          | Exit1:          ;
exists
(ok=1 /\ x=1 /\ y=1 /\ 0:X3=0 /\ 1:X3=0)