Test SB+SwpALs

AArch64 SB+SwpALs
"Amo.SwpAL PodWRLP HatPA Amo.SwpAL PodWRLP HatPA"
Generator=diyone7 (version 7.56+02~dev)
Prefetch=0:x=F,0:y=T,1:y=F,1:x=T
Com=Fr Fr
Orig=Amo.SwpAL PodWRLP HatPA Amo.SwpAL PodWRLP HatPA
{
0:X0=x; 0:X3=y;
1:X0=y; 1:X3=x;
}
 P0               | P1               ;
 MOV W2,#1        | MOV W2,#1        ;
 SWPAL W2,W1,[X0] | SWPAL W2,W1,[X0] ;
 LDR W4,[X3]      | LDR W4,[X3]      ;
exists (0:X1=0 /\ 0:X4=0 /\ 1:X1=0 /\ 1:X4=0)