Test ATOM06

AArch64 ATOM06
"HatPA RmwAL PodWRLP HatPA RmwAL PodWRLP"
Prefetch=0:x=F,0:y=T,1:y=F,1:x=T
Com=Fr Fr
Orig=HatPA RmwAL PodWRLP HatPA RmwAL PodWRLP
{ ok=1;
0:X0=x; 0:X5=y; 0:X7=ok;
1:X0=y; 1:X5=x; 1:X7=ok;
}
 P0               | P1               ;
 MOV W2,#1        | MOV W2,#1        ;
 LDAXR W1,[X0]    | LDAXR W1,[X0]    ;
 STLXR W3,W2,[X0] | STLXR W3,W2,[X0] ;
 CBNZ W3,Fail0    | CBNZ W3,Fail1    ;
 LDR W4,[X5]      | LDR W4,[X5]      ;
 B Exit0          | B Exit1          ;
 Fail0:           | Fail1:           ;
 MOV W6,#0        | MOV W6,#0        ;
 STR W6,[X7]      | STR W6,[X7]      ;
 Exit0:           | Exit1:           ;
exists
(ok=1 /\ 0:X1=0 /\ 0:X4=0 /\ 1:X1=0 /\ 1:X4=0)