Test SWPptex+AF

AArch64 SWPptex+AF
TTHM=HA
{
int x=0; int y=1;
0:X0=pte_x;
0:X2=(oa:phy_y,af:0);
pteval_t 0:X4;
}
 P0            ;
SWP X2,X4,[X0] ;
locations [0:X4; pte_x;]
exists pte_x=(oa:phy_y,af:0) /\ 0:X4=(oa:phy_y,af:1)